Hacker News new | past | comments | ask | show | jobs | submit | 2024-04-23 login
Stories from April 23, 2024
Go back a day, month, or year. Go forward a day or month.
1.
Krazam OS (krazam.tv)
975 points by zdgeier 6 months ago | 185 comments
2.
Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout (webkit.org)
591 points by achairapart 6 months ago | 343 comments
3.
New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
340 points by namanyayg 6 months ago | 162 comments
4.
FTC announces rule banning noncompetes (ftc.gov)
1169 points by null0ranje 6 months ago | 500 comments
5.
The man who killed Google Search? (wheresyoured.at)
1884 points by elorant 6 months ago | 879 comments
6.
Understanding and avoiding visually ambiguous characters in IDs (gajus.com)
279 points by gajus 6 months ago | 200 comments
7.
American flag sort (nist.gov)
257 points by zerojames 6 months ago | 67 comments
8.
EURISKO Lives (funcall.org)
129 points by wodow 6 months ago | 97 comments
9.
Phi-3 Technical Report (arxiv.org)
411 points by varunvummadi 6 months ago | 130 comments
10.
Show HN: Balancing game for the mobile browser with increasing difficulty (balanc3dgame.com)
338 points by nargaw 6 months ago | 102 comments
11.
Digitized Continuous Magnetic Recordings for the 1859 Carrington Event (wiley.com)
144 points by simonebrunozzi 6 months ago | 26 comments
12.
HTML-first, framework-agnostic implementation of shadcn/UI – franken/UI (franken-ui.dev)
213 points by sveltecult 6 months ago | 84 comments
13.
Network visualization of 50k blogs and links (henryn.ca)
222 points by ng-henry 6 months ago | 56 comments
14.
Apple's risky bet on CarPlay (theturnsignalblog.com)
293 points by vsdlrd 6 months ago | 518 comments
15.
Ask HN: How to manage phones and PCs for elderly parents?
278 points by thepuppet33r 6 months ago | 370 comments
16.
The beautiful dissociation of the Japanese language (aethermug.com)
351 points by mrcgnc 6 months ago | 237 comments
17.
GPU compute in the browser at the speed of native: WebGPU marching cubes (willusher.io)
168 points by Twinklebear 6 months ago | 53 comments
18.
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager (getada.dev)
194 points by ajdude 6 months ago | 115 comments
19.
Scooping the Loop Snooper (2000) (ed.ac.uk)
80 points by soferio 6 months ago | 15 comments
20.
The problem with invariants is that they change over time (surfingcomplexity.blog)
117 points by kiyanwang 6 months ago | 72 comments
21.
Reverse engineering a software crack (twitter.com/gf_256)
213 points by nharada 6 months ago | 87 comments
22.
Carapace: A multi-shell completion library and binary (carapace.sh)
94 points by cab404 6 months ago | 28 comments
23.
The Resurrection of Rajasthan's Royal Liquors (atlasobscura.com)
63 points by Thevet 6 months ago | 27 comments
24.
Petoi Bittle – a programmable robot dog (petoi.com)
71 points by metalwhale 6 months ago | 52 comments
25.
The Beautiful Islands of San Serriffe (2016) (realdougwilson.com)
101 points by Schiphol 6 months ago | 17 comments
26.
The Moon brings a wild but precarious fish orgy to California's beaches (bbc.com)
75 points by priyankanath 6 months ago | 18 comments
27.
AMA: I'm Dave Greene, an accidental expert on Conway's Game of Life
313 points by dvgrn 6 months ago | 151 comments
28.
Mathematicians marvel at 'crazy' cuts through four dimensions (quantamagazine.org)
130 points by nsoonhui 6 months ago | 20 comments
29.
Work begins on a $12B high-speed rail line between Las Vegas and Los Angeles (apnews.com)
243 points by geox 6 months ago | 405 comments
30.
Dafny is a verification-aware programming language (github.com/dafny-lang)
107 points by r9295 6 months ago | 35 comments

Consider applying for YC's W25 batch! Applications are open till Nov 12.

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

Search: