Top
New
Ask
Show
Jobs
1
montyanderson
1h ago
F* – A Proof-Oriented Programming Language
www.fstar-lang.org
20
3
2
todsacerdoti
8h ago
Some notes on Rust, mutable aliasing and formal verification
graydon2.dreamwidth.org
226
53
3
fanf2
9h ago
Things I won't work with: the higher states of bromine (2019)
blogs.sciencemag.org
269
51
4
fanf2
15m ago
State of the Terminal
gpanders.com
4
0
5
Tomte
1d ago
PHYS771 Lecture 17: Fun with the Anthropic Principle (2006)
www.scottaaronson.com
22
5
6
zerojames
1h ago
Elicit: The AI Research Assistant
elicit.com
53
27
7
svantex
1d ago
Localization in .NET console and desktop apps
blog.axantum.com
43
5
8
PaulHoule
22h ago
Adobe Photoshop Source Code (2013)
computerhistory.org
575
208
9
weinzierl
18h ago
New exponent functions that make SiLU and SoftMax 2x faster, at full accuracy
github.com
338
66
10
secwang
3h ago
Forgotten APL Influences (2016) [pdf]
pok.acm.org
13
0
11
namanyayg
2h ago
Students invent quieter leaf blower
hub.jhu.edu
157
202
12
todsacerdoti
1d ago
Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
github.com
42
10
13
MBCook
10h ago
Swift sucks at web serving or does it?
wadetregaskis.com
121
61
14
taubek
8h ago
VCs aren’t your friends
www.openvc.app
393
243
15
tzs
17h ago
What’s the difference between an -ectomy, an -ostomy, and an -otomy? (1986)
www.straightdope.com
210
79
16
janisberneker
5h ago
Typewise (YC S22) is hiring Product Designer for AI writing assistant
www.ycombinator.com
1
0
17
pwnna
10h ago
Earth rotation limits in-body image stabilization to 6.3 stops (2020)
thecentercolumn.com
64
45
18
gpanders
27m ago
What's New in Neovim 0.10
gpanders.com
10
0
19
wodenokoto
9h ago
Enhancing R: The Vision and Impact of Jan Vitek's MaintainR Initiative
www.r-consortium.org
51
38
20
louisjoejordan
23h ago
Show HN: Open-source BI and analytics for engineers
github.com
262
64
21
dmd
23h ago
Apple announces new accessibility features, including eye tracking
www.apple.com
446
238
22
aphyr
20h ago
Jepsen: Datomic Pro 1.0.7075
jepsen.io
324
62
23
ingve
7h ago
My Sony HB-F1XV
thefoggiest.dev
30
4
24
ingve
16h ago
SSD death, tricky read-only filesystems, and systemd magic?
rachelbythebay.com
149
67
25
ColinWright
21h ago
Starting emails with "BEGIN PGP MESSAGE" will fool the filter
nondeterministic.computer
242
80
26
diodorus
17h ago
A ‘plague’ comes before the fall: lessons from Roman history
thebulletin.org
165
181
27
xnx
18h ago
Project Gameface launches on Android
developers.googleblog.com
167
63
28
fanf2
21h ago
Dragonfly: An optical telescope built from an array of off-the-shelf Canon lens
www.dunlap.utoronto.ca
204
77
29
correa_brian
18h ago
Show HN: I made a Mac app to search my images and videos locally with ML
desktopdocs.com
165
113
30
h2odragon
1h ago
'Anti-sex' beds have arrived at Paris Olympics
nypost.com
7
1
31
nickwritesit
2d ago
Bossware is a big legal risk
www.kolide.com
116
141
32
dpivchik
2h ago
Cicada 3301 – solution (2022)
wondrousnet.blogspot.com
25
1
33
WarOnPrivacy
13h ago
Utah Locals Are Getting Cheap 10 Gbps Fiber Thanks to Local Governments
www.techdirt.com
281
162
34
geox
18h ago
Some lithium could come from wastewater
www.pitt.edu
73
15
35
PaulHoule
2d ago
The Nascar Camera Tech Behind a Historic 0.001s Photo Finish
petapixel.com
19
10
36
FigurativeVoid
1d ago
Fast Tokenizers with StringScanner (2023)
tenderlovemaking.com
44
1
37
amalinovic
2h ago
EU opens child safety probes of Facebook and Instagram, citing addictive design
techcrunch.com
109
74
38
yau8edq12i
8h ago
Kernel.org servers infected with backdoors for two years from 2009
arstechnica.com
99
4
39
KhoomeiK
21h ago
Show HN: Tarsier – Vision utilities for web interaction agents
github.com
170
58
40
james_marks
22h ago
Show HN: I wrote a symmetry game with a daily puzzle
www.hidden-mirrors.com
110
62
41
_Microft
1d ago
A brief history of the first planetarium
spectrum.ieee.org
22
2
42
meetpateltech
1d ago
Veo
deepmind.google
1687
472
43
ingve
16h ago
Qualcomm's Oryon LLVM Patches
chipsandcheese.com
42
10
44
perpil
10h ago
Hearing Is Be-Leafing: Students Invent Quieter Leaf Blower
hub.jhu.edu
20
8
45
signa11
7h ago
(OpenBSD) Add sysctl to disable Nagle's algorithm
marc.info
23
13
46
fanf2
6h ago
Rpitx: Radio transmission from a Raspberry Pi GPIO pin
github.com
5
0
47
JanSchu
3h ago
Ask HN: SaaS Subscription or Usage-Based Pricing?
7
4
48
Josely
20h ago
Android's theft protection features
blog.google
183
173
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
404
413
51
zerojames
34m ago
Visual design rules you can safely follow every time
anthonyhobday.com
5
0
52
chrisdroukas
37m ago
C.S. Lewis and the Pain Scale
www.wsj.com
8
0
53
carlos-menezes
2d ago
Branded types for TypeScript
www.carlos-menezes.com
153
131
54
racional
1d ago
Proteins in blood could provide early cancer warning 'by more than seven years'
www.theguardian.com
335
122
55
d0mine
16h ago
Making a Postgres query 1k times faster
mattermost.com
200
54
56
todsacerdoti
3h ago
Proxmox VE Helper-Scripts
helper-scripts.com
23
3
57
ducktective
19h ago
The Evolution of a Scheme Programmer
erkin.party
39
2
58
pseudolus
1d ago
Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture
www.quantamagazine.org
136
23
59
Tomte
3d ago
Prolog and Natural-Language Analysis (1987) [pdf]
www.mtome.com
74
16
60
p4bl0
1d ago
Translation of Rust's core and alloc crates to Coq for formal verification
formal.land
351
113
Next page >