Top
New
Ask
Show
Jobs
1
p4bl0
2h ago
Translation of the Rust's core and alloc crates to Coq for formal verification
formal.land
90
38
2
fanf2
2h ago
A low budget consumer hardware espionage implant: a GSM device hidden in
ha.cking.ch
78
21
3
meetpateltech
15h ago
Veo
deepmind.google
1412
401
4
viveknathani_
3h ago
Show HN: I built a math website the internet loved, I'm back with more features
teachyourselfmath.app
59
8
5
jacksgt
1h ago
Bicycle Rolling Resistance: Tire Rolling Resistance Tests and More
www.bicyclerollingresistance.com
24
17
6
wavelander
10h ago
Ilya Sutskever to leave OpenAI
twitter.com
808
454
7
mistercheph
14h ago
Glider – open-source eInk monitor with an emphasis on low latency
github.com
551
93
8
vishnugupta
3h ago
Born to run? Endurance running may have evolved to help humans chase down prey
www.science.org
27
37
9
fanf2
6h ago
URLhaus: A database of malicious URLs used for malware distribution
urlhaus.abuse.ch
77
18
10
nedwin
2h ago
Great Question (YC W21) Is Hiring Product Engineers (Rails/React)
www.ycombinator.com
1
0
11
todsacerdoti
1d ago
How did authorities identify the alleged LockBit boss?
krebsonsecurity.com
84
14
12
bo0tzz
1h ago
"Is This Project Still Maintained?"
www.hezmatt.org
16
4
13
smartmic
22h ago
Ancient Eastern European mega-sites: a social levelling concept?
www.cambridge.org
13
2
14
meetpateltech
15h ago
Gemini Flash
deepmind.google
383
109
15
zdw
16h ago
Sir, there's a cat in your mirror dimension
lcamtuf.substack.com
383
62
16
parrt
1d ago
GPT-4o's Memory Breakthrough – Needle in a Needlestack
nian.llmonpy.ai
337
136
17
cloudsql
22h ago
HBase Deprecation at Pinterest
medium.com
32
4
18
antognini
15h ago
Model Explorer: intuitive and hierarchical visualization of model graphs
ai.google.dev
245
33
19
pseudolus
7h ago
Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture
www.quantamagazine.org
36
2
20
ahaucnx
5h ago
Air Quality Monitors Compared: AirGradient vs. Purple Air
www.airgradient.com
62
26
21
jagged-chisel
16h ago
Femtosecond lasers create 3D midair plasma displays you can touch (2015)
spectrum.ieee.org
243
110
22
andsoitis
4h ago
Department of Justice says Boeing may be criminally liable in 737 MAX crashes
www.usatoday.com
109
29
23
pramodbiligiri
1d ago
The power of interoperability: Why objects are inevitable (2013) [pdf]
www.cs.cmu.edu
18
5
24
todsacerdoti
14h ago
The new APT 3.0 solver
blog.jak-linux.org
158
84
25
marban
22h ago
Researchers find high levels of lead, mercury and arsenic in Beethoven's hair
www.smithsonianmag.com
112
69
26
todsacerdoti
5h ago
Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
github.com
21
3
27
geox
21h ago
New gel breaks down alcohol in the body
ethz.ch
170
193
28
podoman
18h ago
Optimizing ClickHouse: Tactics that worked for us
www.highlight.io
99
12
29
gadders
12h ago
Stone with ancient writing system unearthed in garden
www.bbc.co.uk
89
19
30
tosh
14h ago
PaliGemma
ai.google.dev
116
11
31
ingve
3h ago
MicroSD cards' SBC days are numbered
www.jeffgeerling.com
39
22
32
ulrischa
15h ago
Glance: A self-hosted dashboard that puts all your feeds in one place
github.com
146
23
33
rbanffy
20h ago
IBM and the Transformation of Corporate Design
computerhistory.org
59
2
34
hboon
12h ago
Muse Retrospective
adamwiggins.com
56
6
35
jseliger
6h ago
Parking reform legalized most of the new homes in Buffalo and Seattle (2023)
www.sightline.org
103
115
36
peter_hansteen
1d ago
Add sysctl to disable Nagle's algorithm (RFC 896 – Congestion Control)
marc.info
50
20
37
agluszak
12h ago
Higher RAII and the seven arcane uses of linear types
verdagon.dev
73
31
38
goles
17h ago
The 1871 Samuel Morse Statue (2014)
daytoninmanhattan.blogspot.com
78
19
39
keyboardJones
9h ago
The most talented person in the world
matt.sh
220
121
40
ingve
13h ago
'Shake' Design Documents
digitalcomposting.wordpress.com
57
18
41
rbanffy
16h ago
Compiler Explorer
thechipletter.substack.com
96
14
42
fanf2
13h ago
One malicious car could trick smart traffic control systems in the US (2018)
www.bleepingcomputer.com
76
116
43
jdecourval
8h ago
Optimizing Linux for an AMD Xiaomi/Framework Laptop
jdecourval.com
18
3
44
thunderbong
2d ago
Goldboot: Immutable infrastructure for the desktop
github.com
54
18
45
Tomte
1d ago
Prolog and Natural-Language Analysis (1987) [pdf]
www.mtome.com
38
4
46
EndXA
1d ago
Frank Ramsey: A genius by all tests for genius (2020)
www.hnn.us
56
24
47
noisymortimer
5h ago
A History of Diss Tracks and Answer Songs
chrisdallariva.substack.com
5
1
48
dlojudice
19h ago
New work extends the thermodynamic theory of computation
www.santafe.edu
94
28
49
kostadin
7h ago
Sumu: A new synth by Madrona Labs
madronalabs.com
7
0
50
andydunstall
18h ago
Show HN: Pico: An open-source Ngrok alternative built for production traffic
github.com
212
36
51
ganoushoreilly
16h ago
VMware Fusion Pro: Now available free for personal use
blogs.vmware.com
305
143
52
tosh
11h ago
SynthID: Identifying AI-Generated Content
deepmind.google
16
1
53
jasondavies
11h ago
Trillium, the sixth generation of Google Cloud TPU
cloud.google.com
22
1
54
pera
21h ago
A Tale of Two Sieves (1996) [pdf]
www.ams.org
30
1
55
todsacerdoti
9h ago
Understanding Container Image Layers
www.kenmuse.com
19
0
56
ingve
2d ago
Exploring GNU extensions in the Linux kernel
maskray.me
64
7
57
orcul
2d ago
Timekeeping Before Clocks
worldhistory.substack.com
125
71
58
pr337h4m
2h ago
Krista and Tatiana Hogan
en.wikipedia.org
6
0
59
Noghartt
6h ago
RSS and why I believe most people should come back using them
www.noghartt.dev
9
0
60
inlined
11h ago
Firebase App Hosting
firebase.blog
41
18
Next page >