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