Top
New
Ask
Show
Jobs
1
p4bl0
5h ago
Translation of the Rust's core and alloc crates to Coq for formal verification
formal.land
172
59
2
fanf2
1h ago
Gaussian Blue Noise
arxiv.org
22
2
3
fanf2
5h ago
A low budget consumer hardware espionage implant: a GSM device hidden in (2018)
ha.cking.ch
167
45
4
meetpateltech
18h ago
Veo
deepmind.google
1479
423
5
viveknathani_
6h ago
Show HN: I built a math website the internet loved, I'm back with more features
teachyourselfmath.app
159
30
6
p1nkpineapple
1h ago
Oracle goes vegan: Dumps Terraform for OpenTofu
www.thestack.technology
44
18
7
mistercheph
17h ago
Glider – open-source eInk monitor with an emphasis on low latency
github.com
605
106
8
fanf2
9h ago
URLhaus: A database of malicious URLs used for malware distribution
urlhaus.abuse.ch
111
28
9
wavelander
13h ago
Ilya Sutskever to leave OpenAI
twitter.com
892
550
10
meetpateltech
18h ago
Gemini Flash
deepmind.google
406
118
11
parrt
1d ago
GPT-4o's Memory Breakthrough – Needle in a Needlestack
nian.llmonpy.ai
379
152
12
todsacerdoti
2d ago
How did authorities identify the alleged LockBit boss?
krebsonsecurity.com
95
23
13
cloudsql
1d ago
HBase Deprecation at Pinterest
medium.com
55
9
14
telotortium
12h ago
Review: The Variational Principles of Mechanics
www.thepsmiths.com
11
4
15
gripfx
1h ago
Dell leak details next-gen Windows on Arm chips
www.theverge.com
27
19
16
nedwin
5h ago
Great Question (YC W21) Is Hiring Product Engineers (Rails/React)
www.ycombinator.com
1
0
17
smartmic
1d ago
Ancient Eastern European mega-sites: a social levelling concept?
www.cambridge.org
26
27
18
pseudolus
10h ago
Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture
www.quantamagazine.org
62
3
19
antognini
18h ago
Model Explorer: intuitive and hierarchical visualization of model graphs
ai.google.dev
253
33
20
jagged-chisel
19h ago
Femtosecond lasers create 3D midair plasma displays you can touch (2015)
spectrum.ieee.org
254
122
21
peutetre
23h ago
Rolling with the punches: How mantis shrimp defend against high-speed strikes
news.ucsb.edu
11
1
22
andsoitis
7h ago
Department of Justice says Boeing may be criminally liable in 737 MAX crashes
www.usatoday.com
157
69
23
todsacerdoti
17h ago
The new APT 3.0 solver
blog.jak-linux.org
174
95
24
pramodbiligiri
2d ago
The power of interoperability: Why objects are inevitable (2013) [pdf]
www.cs.cmu.edu
28
10
25
marban
1d ago
Researchers find high levels of lead, mercury and arsenic in Beethoven's hair
www.smithsonianmag.com
118
80
26
todsacerdoti
7h ago
Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
github.com
29
3
27
podoman
21h ago
Optimizing ClickHouse: Tactics that worked for us
www.highlight.io
115
13
28
gadders
15h ago
Stone with ancient writing system unearthed in garden
www.bbc.co.uk
91
19
29
hggh
1h ago
Boeing Emails Handed over to Congress in January 2020
archive.org
8
2
30
zdw
19h ago
Sir, there's a cat in your mirror dimension
lcamtuf.substack.com
410
64
31
tosh
17h ago
PaliGemma
ai.google.dev
122
12
32
Hirrolot
3h ago
Abstract Interpretation as a Programming Language
arxiv.org
4
0
33
ulrischa
18h ago
Glance: A self-hosted dashboard that puts all your feeds in one place
github.com
161
28
34
rbanffy
23h ago
IBM and the Transformation of Corporate Design
computerhistory.org
63
2
35
jacksgt
4h ago
Bicycle Rolling Resistance: Tire Rolling Resistance Tests and More
www.bicyclerollingresistance.com
60
49
36
ahaucnx
8h ago
Air Quality Monitors Compared: AirGradient vs. Purple Air
www.airgradient.com
76
42
37
hboon
15h ago
Muse Retrospective
adamwiggins.com
60
7
38
peter_hansteen
1d ago
Add sysctl to disable Nagle's algorithm (RFC 896 – Congestion Control)
marc.info
61
21
39
goles
20h ago
The 1871 Samuel Morse Statue (2014)
daytoninmanhattan.blogspot.com
78
19
40
agluszak
15h ago
Higher RAII and the seven arcane uses of linear types
verdagon.dev
78
33
41
fanf2
16h ago
One malicious car could trick smart traffic control systems in the US (2018)
www.bleepingcomputer.com
82
116
42
rbanffy
19h ago
Compiler Explorer
thechipletter.substack.com
98
14
43
ingve
16h ago
'Shake' Design Documents
digitalcomposting.wordpress.com
57
18
44
Noghartt
9h ago
RSS and why I believe most people should come back using them
www.noghartt.dev
16
10
45
jdecourval
11h ago
Optimizing Linux for an AMD Xiaomi/Framework Laptop
jdecourval.com
26
6
46
Tomte
2d ago
Prolog and Natural-Language Analysis (1987) [pdf]
www.mtome.com
41
6
47
ingve
6h ago
MicroSD cards' SBC days are numbered
www.jeffgeerling.com
43
26
48
EndXA
1d ago
Frank Ramsey: A genius by all tests for genius (2020)
www.hnn.us
57
24
49
thunderbong
2d ago
Goldboot: Immutable infrastructure for the desktop
github.com
56
18
50
dlojudice
22h ago
New work extends the thermodynamic theory of computation
www.santafe.edu
97
29
51
keyboardJones
12h ago
The most talented person in the world
matt.sh
228
129
52
Judyrabbit
6h ago
Simplifying Join Syntax
github.com
5
0
53
jasondavies
14h ago
Trillium, the sixth generation of Google Cloud TPU
cloud.google.com
25
1
54
geox
1d ago
New gel breaks down alcohol in the body
ethz.ch
178
203
55
andydunstall
21h ago
Show HN: Pico: An open-source Ngrok alternative built for production traffic
github.com
214
40
56
noisymortimer
8h ago
A History of Diss Tracks and Answer Songs
chrisdallariva.substack.com
8
1
57
ganoushoreilly
19h ago
VMware Fusion Pro: Now available free for personal use
blogs.vmware.com
308
146
58
todsacerdoti
12h ago
Understanding Container Image Layers
www.kenmuse.com
22
0
59
cpojer
14h ago
Show HN: I open sourced Athena Crisis, a game built with React and CSS
cpojer.net
54
3
60
orcul
2d ago
Timekeeping Before Clocks
worldhistory.substack.com
129
73
Next page >