Search This Blog

Daily World Time's

New top story on Hacker News: The Foundation of a Generic Theorem Prover (1989) [pdf]

Get link
Facebook
X
Pinterest
Email
Other Apps

May 11, 2024

The Foundation of a Generic Theorem Prover (1989) [pdf]
4 by 082349872349872 | 0 comments on Hacker News.

Hacker News

Get link
Facebook
X
Pinterest
Email
Other Apps

New top story on Hacker News: The first year of free-threaded Python

May 16, 2025

The first year of free-threaded Python 22 by rbanffy | 4 comments on Hacker News.

New top story on Hacker News: Vitamin D supplements lower risk of autoimmune disease

March 07, 2022

Vitamin D supplements lower risk of autoimmune disease 9 by franciscop | 0 comments on Hacker News.

New top story on Hacker News: Show HN: Lnk – Git-native dotfiles manager

May 24, 2025

Show HN: Lnk – Git-native dotfiles manager 12 by yar-kravtsov | 2 comments on Hacker News. Move dotfiles to ~/.config/lnk, get symlinks back, use Git normally. Single binary, no config files, no fluff. Built because chezmoi was too complex and plain Git was too manual.

Archive

December 202539
November 202578
October 202588
September 202584
August 202581
July 202592
June 202582
May 2025100
April 202592
March 202578

February 202573
January 202583
December 202486
November 202481
October 202474
September 202476
August 202470
July 202478
June 202467
May 202466
April 202467
March 202468
February 202461
January 202469
December 202375
November 202368
October 2023100
September 2023117
August 2023125
July 2023146
June 2023124
May 2023168
April 2023175
March 2023162
February 2023153
January 2023176
December 2022168
November 2022165
October 2022173
September 2022176
August 2022170
July 2022182
June 2022173
May 2022169
April 2022182
March 2022180
February 2022150
January 2022231
December 2021391
November 2021634
October 2021672
September 2021641
August 2021712
July 2021713
June 2021667
May 2021714
April 2021685
March 2021713
February 2021644
January 2021713
December 2020713
November 2020690
October 2020642
September 2020689
August 2020713
July 2020713
June 2020690
May 2020713
April 2020690
March 2020713
February 2020666
January 2020713
December 2019712
November 2019688
October 2019712
September 2019689
August 2019713
July 2019713
June 2019691
May 20193006
April 20192964
March 20193060
February 20192771
January 20193066
December 20183060
November 20182969
October 20183064
September 20182966
August 20183067
July 20183063
June 20182928
May 20183032
April 20182937
March 20182999
February 20182724
January 20183009
December 2017448

Show more Show less

Labels

Apk
AppZapp
FOX NEWS
Hacker News
IFTTT
NYT

New top story on Hacker News: The Foundation of a Generic Theorem Prover (1989) [pdf]

Popular posts from this blog

New top story on Hacker News: The first year of free-threaded Python

New top story on Hacker News: Vitamin D supplements lower risk of autoimmune disease

New top story on Hacker News: Show HN: Lnk – Git-native dotfiles manager