Hacker news
895
Krazam OS
171
krazam.tv
521
Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout
319
webkit.org
320
CoreNet: A library for training deep neural networks
86
github.com
297
Show HN: Balancing game for the mobile browser with increasing difficulty
98
balanc3dgame.com
294
New Foundations is consistent – a difficult mathematical proof proved using Lean
108
leanprover-community.github.io
212
Apple's risky bet on CarPlay
396
theturnsignalblog.com
184
Network visualization of 50k blogs and links
48
graph.henryn.ca
165
ESPHome
48
esphome.io
158
American flag sort
43
xlinux.nist.gov
155
Bottle Plotter
10
vgnotepad.blogspot.com
144
Simulating Jupiter
15
emildziewanowski.com
142
GPU compute in the browser at the speed of native: WebGPU marching cubes
49
willusher.io
136
Work begins on a $12B high-speed rail line between Las Vegas and Los Angeles
202
apnews.com
107
Digitized Continuous Magnetic Recordings for the 1859 Carrington Event
20
agupubs.onlinelibrary.wiley.com
102
BeeBase, a programmable relational database with graphical user interface
37
beebase.sourceforge.io
81
Dafny is a verification-aware programming language
12
github.com
75
Opengist: Open-source alternative to GitHub Gists
21
github.com
69
Jsfxr: 8-Bit sound maker and sfx generator
16
sfxr.me
63
Scooping the Loop Snooper (2000)
11
lel.ed.ac.uk
52
Maxtext: A simple, performant and scalable Jax LLM
2
github.com
44
Protecting the Darkness in Chile's Atacama Desert
8
undark.org
43
Piet
5
dangermouse.net
23
How to Use I2C Devices in (Apache) NuttX: Scanning for Devices
3
EmbeddedRelated.com
20
Explore a digitized collection of doomed Everest climber's letters home
9
arstechnica.com
19
Golang PGO builds using GitHub Actions
1
dolthub.com
17
Android 15 may make it harder for sideloaded apps to get sensitive permissions
10
androidauthority.com
12
The Deuce Editor Architecture (2014)
1
web.archive.org
11
Show HN: Kaldo – Cross Shell Aliases
1
github.com
10
The Bad Trip Detective
0
nautil.us
1
Shortbread (YC W23) is hiring a founding engineer in SF for AI comics creation
0
ycombinator.com