Hacker New Reader

Hacker Newsnew |past |comments |ask |show |jobs |submit

login

A dependently typed language for proofs that you can implement in one day (github.com)

136 points by caotic123 52 years ago | hide | 92 comments

U.S. inflation rises sharply again in August and stays at 30-year high (www.marketwatch.com)

13 points by busymom0 52 years ago | hide | 0 comments

Daphne Caruana Galizia (en.wikipedia.org)

18 points by xojoc 52 years ago | hide | 0 comments

Coinbase Breach Notification (oag.ca.gov)

506 points by sunils34 52 years ago | hide | 266 comments

What Happened to Treehouse? (medium.com)

152 points by ChrisArchitect 52 years ago | hide | 108 comments

Austria to introduce new carbon tax next year (apnews.com)

84 points by geox 52 years ago | hide | 43 comments

Vector Databases (dmitry-kan.medium.com)

74 points by gk1 52 years ago | hide | 18 comments

Alexa, Ring, and Astro: Where's My Privacy, Amazon? (www.zdnet.com)

74 points by LinuxBender 52 years ago | hide | 38 comments

Lightning Network Flaws (github.com)

75 points by skybrian 52 years ago | hide | 47 comments

Donald Knuth on Machine Learning and the Meaning of Life (thenewstack.io)

23 points by RickJWagner 52 years ago | hide | 1 comments

Fake It Till You Make It: Face analysis in the wild using synthetic data alone (microsoft.github.io)

16 points by lnyan 52 years ago | hide | 0 comments

Clubhouse needs creators, but creators need cash (www.theverge.com)

54 points by 0xedb 52 years ago | hide | 24 comments

Gates Foundation has spent $250M on journalism (www.cjr.org)

30 points by ceilingcorner 52 years ago | hide | 23 comments

Downsides to planting trillions of trees (www.vox.com)

125 points by mrpopo 52 years ago | hide | 128 comments

NVMe, 100GbE, and async I/O spurred a technological breakthrough (no-kill-switch.ghost.io)

5 points by liveweird 52 years ago | hide | 0 comments

WebGoat is a deliberately insecure application (github.com)

114 points by graderjs 52 years ago | hide | 15 comments

Firefox vs. Brave: Which is the better browser for you? – Mozilla (www.mozilla.org)

37 points by KoftaBob 52 years ago | hide | 74 comments

After 3.5M-year hiatus, largest comet ever discovered is headed our way (www.livescience.com)

60 points by fortran77 52 years ago | hide | 23 comments

Pandora papers reveal hidden riches of Putin’s inner circle (www.theguardian.com)

10 points by NicoJuicy 52 years ago | hide | 2 comments

Banking-Crisis Interventions, 1257-2019 [pdf] (som.yale.edu)

149 points by monort 52 years ago | hide | 54 comments

Whole Brain Emulation: No Progress On C. Elgans After 10 Years (www.lesswrong.com)

41 points by optimalsolver 52 years ago | hide | 7 comments

Make More with Inkscape – Stroke Fonts (fedoramagazine.org)

15 points by rbanffy 52 years ago | hide | 0 comments

Why do we tune in 5ths? (www.violinist.com)

81 points by ofou 52 years ago | hide | 107 comments

A Conspiracy to Kill IE6 (2019) (blog.chriszacharias.com)

239 points by SerCe 52 years ago | hide | 80 comments

Key inflation gauge watched by the Federal Reserve hits another 30-year high (www.cnbc.com)

32 points by paulpauper 52 years ago | hide | 7 comments

Hello (Bonjour) from Your Friendly TV Translator (www.zocalopublicsquare.org)

3 points by herbertl 52 years ago | hide | 0 comments

How to fall asleep more quickly – the healthy way (lite.cnn.com)

19 points by LinuxBender 52 years ago | hide | 6 comments

There’s a Multibillion-Dollar Market for Your Phone’s Location Data (themarkup.org)

167 points by marban 52 years ago | hide | 99 comments

A Postal Treasure Trove (rienne.org)

10 points by asymmetric 52 years ago | hide | 0 comments

Show HN: UI for Apache Kafka (github.com)

157 points by germanosin 52 years ago | hide | 53 comments

Guidelines |FAQ |Lists |API |Security |Legal |Apply to YC |Contact