New top story on Hacker News: LVC – Linear Verified Compiler

LVC – Linear Verified Compiler
8 by matt_d | 0 comments

New top story on Hacker News: Detroit's Big Comeback: Out of Bankruptcy, a Rebirth

Detroit's Big Comeback: Out of Bankruptcy, a Rebirth
25 by evo_9 | 7 comments

New top story on Hacker News: Learning KVM – implement your own Linux kernel

Learning KVM – implement your own Linux kernel
71 by signa11 | 1 comments

New top story on Hacker News: Hilbert’s list

Hilbert’s list
48 by slyall | 10 comments

New top story on Hacker News: 35C3: Safe and Secure Drivers in High-Level Languages

35C3: Safe and Secure Drivers in High-Level Languages
21 by dimfeld | 1 comments

New top story on Hacker News: Unsolved Problems in Blockchain Sharding

Unsolved Problems in Blockchain Sharding
3 by fagnerbrack | 0 comments

New top story on Hacker News: Ask HN: Academics who switched to industry, what's your experience been like?

Ask HN: Academics who switched to industry, what's your experience been like?
23 by onuralp | 9 comments

New top story on Hacker News: In Screening for Suicide Risk, Facebook Takes on Tricky Public Health Role

In Screening for Suicide Risk, Facebook Takes on Tricky Public Health Role
38 by mindgam3 | 47 comments

New top story on Hacker News: Why We Sleep, and Why We Often Can’t

Why We Sleep, and Why We Often Can’t
40 by anuragsoni | 10 comments

New top story on Hacker News: Show HN: Snigl – Forth with Lisp in C

Show HN: Snigl – Forth with Lisp in C
48 by sifoobar | 5 comments

New top story on Hacker News: The Chinese scientist who allegedly created CRISPR babies is being detained

The Chinese scientist who allegedly created CRISPR babies is being detained
99 by neom | 68 comments

New top story on Hacker News: NASA’s OSIRIS-REx Spacecraft Enters Close Orbit Around Bennu

NASA’s OSIRIS-REx Spacecraft Enters Close Orbit Around Bennu
24 by sohkamyung | 1 comments

New top story on Hacker News: This clever AI hid data from its creators to cheat at its appointed task

This clever AI hid data from its creators to cheat at its appointed task
43 by fmihaila | 15 comments

New top story on Hacker News: Make Your Own Pythagorean Cup

Make Your Own Pythagorean Cup
4 by JohnHammersley | 1 comments

New top story on Hacker News: The Octal Small Form Pluggable (OSFP) implements 400Gb Ethernet

The Octal Small Form Pluggable (OSFP) implements 400Gb Ethernet
30 by walrus01 | 9 comments

New top story on Hacker News: Federal judge finds state law governing who is an engineer violates free speech

Federal judge finds state law governing who is an engineer violates free speech
255 by danso | 168 comments

New top story on Hacker News: Netflix stops paying the ‘Apple tax’ on its $853M in annual iOS revenue

Netflix stops paying the ‘Apple tax’ on its $853M in annual iOS revenue
387 by pseudolus | 262 comments

New top story on Hacker News: Personal Notes on Corman Lisp 3.1 Release

Personal Notes on Corman Lisp 3.1 Release
95 by ingve | 3 comments

New top story on Hacker News: How much less efficient are north-facing solar modules?

How much less efficient are north-facing solar modules?
45 by curtis | 27 comments

New top story on Hacker News: A month of Flutter: a look back

A month of Flutter: a look back
77 by abraham | 17 comments