HN Top Links - Popular Stories from Hacker News

17941.

Implementing Probabilistic Languages via Transformational Compilation (proceedings.mlr.press)

2 points by larve on Oct 25, 2022 | 0 comments

17942.

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs (arxiv.org)

2 points by PaulHoule on Oct 25, 2022 | 0 comments

17943.

1942. Flann O'Brien Invents the NFT (twitter.com)

2 points by BerislavLopac on Oct 25, 2022 | 0 comments

17944.

A Barebones Guide to Mechanistic Interpretability Prerequisites (neelnanda.io)

2 points by sebg on Oct 25, 2022 | 0 comments

17945.

AI Tweet Generator (tweethunter.io)

2 points by langitbiru on Oct 25, 2022 | 0 comments

17946.

Introducing the New Red Hat Device Edge (cloud.redhat.com)

2 points by mroche on Oct 25, 2022 | 0 comments

17947.

2 points by he_is_legend on Oct 25, 2022 | 0 comments

17948.

Analog Supercomputers: From Quantum Atom to Living Body (youtube.com)

2 points by baja_blast on Oct 25, 2022 | 0 comments

17949.

JavaScript AOT Compilation Performance (youtube.com)

2 points by tosh on Oct 25, 2022 | 0 comments

17950.

Things Fall Apart (web.archive.org)

2 points by cbracketdash on Oct 25, 2022 | 0 comments

17951.

Leadership at Google (github.com)

2 points by afc on Oct 25, 2022 | 0 comments

17952.

AI Gets Creative (What does that mean for us?) (fargo.substack.com)

2 points by sf1423 on Oct 25, 2022 | 0 comments

17953.

I Almost Took Down Production Due to a Near-Empty Config File (nickjanetakis.com)

2 points by nickjj on Oct 25, 2022 | 0 comments

17954.

Survey: Consumers want more detail, internet metrics in FCC broadband labels (fiercetelecom.com)

2 points by PaulHoule on Oct 25, 2022 | 0 comments

17955.

DualSense Edge Preorders Are Live Now (gamespot.com)

2 points by tumidpandora on Oct 25, 2022 | 0 comments

17956.

Sleep helps one brain region to teach the other, forming memories (neurosciencenews.com)

2 points by Brajeshwar on Oct 25, 2022 | 0 comments

17957.

Rectangle: Move and resize windows on macOS with keyboard shortcuts (github.com)

2 points by tosh on Oct 25, 2022 | 0 comments

17958.

Reddit Launches an .onion Service (old.reddit.com)

2 points by edm0nd on Oct 25, 2022 | 0 comments

17959.

The abundance agenda: a list of action items to make abundance happen (exformation.substack.com)

2 points by wrineha2 on Oct 25, 2022 | 0 comments

17960.

Apple Silicon macOS Guest Virtualization Updates, June 2022 (macops.ca)

2 points by _venkatasg on Oct 25, 2022 | 0 comments

17961.

FAANG Sr SWE Deep Dives Distributed Tracing System Design Interview Question (youtube.com)

2 points by desudesudesu on Oct 25, 2022 | 0 comments

17962.

Show HN: Relevant placeholder images (alternative to placeholder.com etc.) (imgy.dev)

2 points by mrwhoof on Oct 25, 2022 | 0 comments

17963.

UK Lawmakers Vote to Recognize Crypto as Regulated Financial Instruments (coindesk.com)

2 points by mfiguiere on Oct 25, 2022 | 0 comments

17964.

Applying tech frameworks to biotech: key differences (celinehh.com)

2 points by sebg on Oct 25, 2022 | 0 comments

17965.

Your phones and cars aren’t going to work the same after new U.S. rules on China (thechinaproject.com)

2 points by okasaki on Oct 25, 2022 | 0 comments

17966.

Physically Based Modeling: Principles and Practice Constrained Dynamics [pdf] (cs.cmu.edu)