sidpatil's favorites | Hacker News

1.		Nokia Bell Labs Is Moving to Helix in New Brunswick (roi-nj.com)
		69 points by sohkamyung 10 months ago \| 47 comments
2.		Scallop: A Neurosymbolic Programming Language (scallop-lang.github.io)
		159 points by hasheddan on April 17, 2022 \| 27 comments
3.		Propositional logic exercises with the lean theorem prover (github.com/imperialcollegelondon)
		54 points by mathematically on Oct 21, 2021 \| 8 comments
4.		Outrun: Execute local command using processing power of another Linux machine (github.com/overv)
		526 points by ingve on March 18, 2021 \| 134 comments
5.		TLA+ (wikipedia.org)
		230 points by kristianpaul on March 8, 2021 \| 69 comments
6.		Furious AI researcher creates a list of non-reproducible machine learning papers (thenextweb.com)
		56 points by newswasboring on March 8, 2021 \| 6 comments
7.		Excel Never Dies (notboring.co)
		429 points by iamacyborg on March 8, 2021 \| 300 comments
8.		I self-published a paperback and eBook using LaTeX and Pandoc (theroadchoseme.com)
		258 points by grecy on March 9, 2021 \| 81 comments