Top
New
Ask
Show
Jobs
1
montyanderson
2h ago
F* – A Proof-Oriented Programming Language
www.fstar-lang.org
91
23
2
orixilus
1h ago
Llama3.np: pure NumPy implementation of Llama3
github.com
46
1
3
drdee
1h ago
The spy who flunked it: Kurt Gödel's forgotten part in the atom-bomb story
www.nature.com
18
8
4
rntn
1h ago
Sprint, T-Mobile Merger Killed Wireless Price Competition in U.S.
www.techdirt.com
72
32
5
gpanders
2h ago
What's New in Neovim 0.10
gpanders.com
150
52
6
lobo_tuerto
1h ago
D3 in Depth
www.d3indepth.com
8
3
7
todsacerdoti
10h ago
Some notes on Rust, mutable aliasing and formal verification
graydon2.dreamwidth.org
264
69
8
fanf2
11h ago
Things I won't work with: the higher states of bromine (2019)
blogs.sciencemag.org
302
69
9
andrewyates2020
1h ago
Promoted.ai (YC W21) Is Hiring a Apache Flink Expert Staff Engineer
www.ycombinator.com
1
0
10
fanf2
1h ago
The “3.5% rule”: How a small minority can change the world
www.bbc.com
35
17
11
secwang
5h ago
Forgotten APL Influences (2016) [pdf]
pok.acm.org
40
0
12
lermontov
1d ago
Music vs. Lyrics
dirt.fyi
24
24
13
mickgardner
1d ago
Measuring the impact of zoning on housing in a city
www.blog.jonathannolan.net
14
2
14
ughitsaaron
1h ago
Port 666 is officially registered to Doom
www.ibiblio.org
57
25
15
PaulHoule
1d ago
Adobe Photoshop Source Code (2013)
computerhistory.org
588
212
16
Tomte
1d ago
PHYS771 Lecture 17: Fun with the Anthropic Principle (2006)
www.scottaaronson.com
31
6
17
weinzierl
19h ago
New exponent functions that make SiLU and SoftMax 2x faster, at full accuracy
github.com
352
69
18
Brajeshwar
22m ago
Intel's Thunderbolt Share lets two PCs control each other over a USB cable
www.theverge.com
7
1
19
svantex
1d ago
Localization in .NET console and desktop apps
blog.axantum.com
54
9
20
fanf2
1h ago
State of the Terminal
gpanders.com
68
66
21
pwnna
12h ago
Earth rotation limits in-body image stabilization to 6.3 stops (2020)
thecentercolumn.com
94
62
22
fanf2
2h ago
You thought OpenStreetMap uses WGS84? No it doesn't
www.openstreetmap.org
30
5
23
zerojames
3h ago
Elicit – AI Research Assistant
elicit.com
79
57
24
tzs
19h ago
What’s the difference between an -ectomy, an -ostomy, and an -otomy? (1986)
www.straightdope.com
219
87
25
ingve
9h ago
My Sony HB-F1XV
thefoggiest.dev
46
8
26
namanyayg
3h ago
Students invent quieter leaf blower
hub.jhu.edu
206
288
27
aphyr
22h ago
Jepsen: Datomic Pro 1.0.7075
jepsen.io
344
73
28
louisjoejordan
1d ago
Show HN: Open-source BI and analytics for engineers
github.com
272
66
29
ColinWright
23h ago
Starting emails with "BEGIN PGP MESSAGE" will fool the filter
nondeterministic.computer
263
89
30
diodorus
19h ago
A ‘plague’ comes before the fall: lessons from Roman history
thebulletin.org
179
195
31
dmd
1d ago
Apple announces new accessibility features, including eye tracking
www.apple.com
469
260
32
taubek
9h ago
VCs aren’t your friends
www.openvc.app
454
301
33
belter
36m ago
Deactivating Facebook for just a few weeks reduces belief in fake news
english.elpais.com
7
1
34
todsacerdoti
1d ago
Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
github.com
46
11
35
ingve
18h ago
SSD death, tricky read-only filesystems, and systemd magic?
rachelbythebay.com
156
69
36
xnx
20h ago
Project Gameface launches on Android
developers.googleblog.com
176
65
37
correa_brian
19h ago
Show HN: I made a Mac app to search my images and videos locally with ML
desktopdocs.com
179
139
38
fanf2
23h ago
Dragonfly: An optical telescope built from an array of off-the-shelf Canon lens
www.dunlap.utoronto.ca
214
78
39
nickwritesit
2d ago
Bossware is a big legal risk
www.kolide.com
139
165
40
MBCook
12h ago
Swift sucks at web serving or does it?
wadetregaskis.com
131
73
41
WarOnPrivacy
15h ago
Utah Locals Are Getting Cheap 10 Gbps Fiber Thanks to Local Governments
www.techdirt.com
303
172
42
FigurativeVoid
1d ago
Fast Tokenizers with StringScanner (2023)
tenderlovemaking.com
48
4
43
geox
20h ago
Some lithium could come from wastewater
www.pitt.edu
76
17
44
KhoomeiK
22h ago
Show HN: Tarsier – Vision utilities for web interaction agents
github.com
173
59
45
yau8edq12i
10h ago
Kernel.org servers infected with backdoors for two years from 2009
arstechnica.com
105
6
46
meetpateltech
1d ago
Veo
deepmind.google
1692
474
47
james_marks
1d ago
Show HN: I wrote a symmetry game with a daily puzzle
www.hidden-mirrors.com
114
63
48
_Microft
1d ago
A brief history of the first planetarium
spectrum.ieee.org
23
3
49
PaulHoule
1h ago
Research shows that 'softer' proteins can cross into the nucleus quicker
phys.org
4
0
50
PaulHoule
2d ago
The Nascar Camera Tech Behind a Historic 0.001s Photo Finish
petapixel.com
21
18
51
perpil
12h ago
Hearing Is Be-Leafing: Students Invent Quieter Leaf Blower
hub.jhu.edu
24
9
52
fanf2
8h ago
Rpitx: Radio transmission from a Raspberry Pi GPIO pin
github.com
9
1
53
ingve
18h ago
Qualcomm's Oryon LLVM Patches
chipsandcheese.com
42
10
54
0xedb
21h ago
Merging Remix and React Router
remix.run
83
58
55
pera
2d ago
A Tale of Two Sieves (1996) [pdf]
www.ams.org
67
5
56
JanSchu
5h ago
Ask HN: SaaS Subscription or Usage-Based Pricing?
14
10
57
Josely
22h ago
Android's theft protection features
blog.google
187
177
58
sohkamyung
1d ago
Raspberry Pi Ltd is considering an IPO
www.londonstockexchange.com
405
416
59
signa11
9h ago
(OpenBSD) Add sysctl to disable Nagle's algorithm
marc.info
24
14
60
amalinovic
4h ago
EU opens child safety probes of Facebook and Instagram, citing addictive design
techcrunch.com
129
84
Next page >