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