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