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