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