Top
New
Ask
Show
Jobs
1
montyanderson
2h ago
F* – A Proof-Oriented Programming Language
www.fstar-lang.org
65
10
2
fanf2
1h ago
State of the Terminal
gpanders.com
43
19
3
gpanders
1h ago
What's New in Neovim 0.10
gpanders.com
86
20
4
todsacerdoti
9h ago
Some notes on Rust, mutable aliasing and formal verification
graydon2.dreamwidth.org
244
63
5
fanf2
10h ago
Things I won't work with: the higher states of bromine (2019)
blogs.sciencemag.org
285
62
6
drdee
21m ago
The spy who flunked it: Kurt Gödel's forgotten part in the atom-bomb story
www.nature.com
3
0
7
andrewyates2020
28m ago
Promoted.ai (YC W21) Is Hiring a Apache Flink Expert Staff Engineer
www.ycombinator.com
1
0
8
lermontov
1d ago
Music vs. Lyrics
dirt.fyi
16
10
9
secwang
4h ago
Forgotten APL Influences (2016) [pdf]
pok.acm.org
22
0
10
Tomte
1d ago
PHYS771 Lecture 17: Fun with the Anthropic Principle (2006)
www.scottaaronson.com
28
6
11
PaulHoule
23h ago
Adobe Photoshop Source Code (2013)
computerhistory.org
585
211
12
weinzierl
18h ago
New exponent functions that make SiLU and SoftMax 2x faster, at full accuracy
github.com
343
66
13
svantex
1d ago
Localization in .NET console and desktop apps
blog.axantum.com
48
6
14
pwnna
11h ago
Earth rotation limits in-body image stabilization to 6.3 stops (2020)
thecentercolumn.com
80
52
15
tzs
18h ago
What’s the difference between an -ectomy, an -ostomy, and an -otomy? (1986)
www.straightdope.com
216
83
16
todsacerdoti
1d ago
Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
github.com
45
11
17
ingve
8h ago
My Sony HB-F1XV
thefoggiest.dev
40
7
18
louisjoejordan
1d ago
Show HN: Open-source BI and analytics for engineers
github.com
269
65
19
taubek
9h ago
VCs aren’t your friends
www.openvc.app
431
274
20
fanf2
1h ago
You thought OpenStreetMap uses WGS84? No it doesn't
www.openstreetmap.org
13
1
21
aphyr
21h ago
Jepsen: Datomic Pro 1.0.7075
jepsen.io
330
63
22
ColinWright
22h ago
Starting emails with "BEGIN PGP MESSAGE" will fool the filter
nondeterministic.computer
254
82
23
diodorus
18h ago
A ‘plague’ comes before the fall: lessons from Roman history
thebulletin.org
173
191
24
dmd
1d ago
Apple announces new accessibility features, including eye tracking
www.apple.com
459
249
25
ingve
17h ago
SSD death, tricky read-only filesystems, and systemd magic?
rachelbythebay.com
152
68
26
xnx
19h ago
Project Gameface launches on Android
developers.googleblog.com
171
65
27
correa_brian
19h ago
Show HN: I made a Mac app to search my images and videos locally with ML
desktopdocs.com
176
136
28
namanyayg
3h ago
Students invent quieter leaf blower
hub.jhu.edu
187
258
29
fanf2
22h ago
Dragonfly: An optical telescope built from an array of off-the-shelf Canon lens
www.dunlap.utoronto.ca
211
77
30
nickwritesit
2d ago
Bossware is a big legal risk
www.kolide.com
132
153
31
PaulHoule
25m ago
Research shows that 'softer' proteins can cross into the nucleus quicker
phys.org
3
0
32
MBCook
11h ago
Swift sucks at web serving or does it?
wadetregaskis.com
128
71
33
ughitsaaron
34m ago
Port 666 is officially registered to Doom
www.ibiblio.org
4
3
34
WarOnPrivacy
14h ago
Utah Locals Are Getting Cheap 10 Gbps Fiber Thanks to Local Governments
www.techdirt.com
294
169
35
geox
19h ago
Some lithium could come from wastewater
www.pitt.edu
75
16
36
FigurativeVoid
1d ago
Fast Tokenizers with StringScanner (2023)
tenderlovemaking.com
45
2
37
KhoomeiK
22h ago
Show HN: Tarsier – Vision utilities for web interaction agents
github.com
171
59
38
yau8edq12i
9h ago
Kernel.org servers infected with backdoors for two years from 2009
arstechnica.com
104
5
39
PaulHoule
2d ago
The Nascar Camera Tech Behind a Historic 0.001s Photo Finish
petapixel.com
20
16
40
_Microft
1d ago
A brief history of the first planetarium
spectrum.ieee.org
23
2
41
james_marks
23h ago
Show HN: I wrote a symmetry game with a daily puzzle
www.hidden-mirrors.com
113
62
42
meetpateltech
1d ago
Veo
deepmind.google
1688
472
43
fanf2
7h ago
Rpitx: Radio transmission from a Raspberry Pi GPIO pin
github.com
8
0
44
amalinovic
3h ago
EU opens child safety probes of Facebook and Instagram, citing addictive design
techcrunch.com
123
78
45
ingve
17h ago
Qualcomm's Oryon LLVM Patches
chipsandcheese.com
42
10
46
perpil
11h ago
Hearing Is Be-Leafing: Students Invent Quieter Leaf Blower
hub.jhu.edu
21
8
47
chrisdroukas
1h ago
C.S. Lewis and the Pain Scale
www.wsj.com
10
2
48
pera
2d ago
A Tale of Two Sieves (1996) [pdf]
www.ams.org
66
5
49
Josely
21h ago
Android's theft protection features
blog.google
185
175
50
signa11
8h ago
(OpenBSD) Add sysctl to disable Nagle's algorithm
marc.info
24
13
51
sohkamyung
1d ago
Raspberry Pi Ltd is considering an IPO
www.londonstockexchange.com
405
414
52
zerojames
2h ago
Elicit: The AI Research Assistant
elicit.com
71
53
53
carlos-menezes
2d ago
Branded types for TypeScript
www.carlos-menezes.com
154
137
54
racional
1d ago
Proteins in blood could provide early cancer warning 'by more than seven years'
www.theguardian.com
337
125
55
JanSchu
4h ago
Ask HN: SaaS Subscription or Usage-Based Pricing?
9
6
56
d0mine
17h ago
Making a Postgres query 1k times faster
mattermost.com
204
54
57
pseudolus
1d ago
Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture
www.quantamagazine.org
137
24
58
ducktective
20h ago
The Evolution of a Scheme Programmer
erkin.party
42
2
59
wodenokoto
10h ago
Enhancing R: The Vision and Impact of Jan Vitek's MaintainR Initiative
www.r-consortium.org
53
45
60
p4bl0
1d ago
Translation of Rust's core and alloc crates to Coq for formal verification
formal.land
351
113
Next page >