Top
New
Ask
Show
Jobs
1
todsacerdoti
8h ago
Some notes on Rust, mutable aliasing and formal verification
graydon2.dreamwidth.org
213
46
2
fanf2
9h ago
Things I won't work with: the higher states of bromine (2019)
blogs.sciencemag.org
253
45
3
dpivchik
2h ago
Possible author of the Cicada 3301 community
wondrousnet.blogspot.com
15
0
4
Tomte
1d ago
PHYS771 Lecture 17: Fun with the Anthropic Principle (2006)
www.scottaaronson.com
20
4
5
PaulHoule
22h ago
Adobe Photoshop Source Code (2013)
computerhistory.org
568
207
6
zerojames
1h ago
Elicit: The AI Research Assistant
elicit.com
46
20
7
weinzierl
17h ago
New exponent functions that make SiLU and SoftMax 2x faster, at full accuracy
github.com
335
66
8
svantex
1d ago
Localization in .NET console and desktop apps
blog.axantum.com
36
5
9
namanyayg
1h ago
Students invent quieter leaf blower
hub.jhu.edu
132
167
10
todsacerdoti
1d ago
Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
github.com
41
8
11
MBCook
10h ago
Swift sucks at web serving or does it?
wadetregaskis.com
115
57
12
taubek
7h ago
VCs aren’t your friends
www.openvc.app
373
227
13
tzs
17h ago
What’s the difference between an -ectomy, an -ostomy, and an -otomy? (1986)
www.straightdope.com
206
77
14
pwnna
10h ago
Earth rotation limits in-body image stabilization to 6.3 stops (2020)
thecentercolumn.com
61
41
15
janisberneker
5h ago
Typewise (YC S22) is hiring Product Designer for AI writing assistant
www.ycombinator.com
1
0
16
wodenokoto
8h ago
Enhancing R: The Vision and Impact of Jan Vitek's MaintainR Initiative
www.r-consortium.org
48
34
17
dmd
23h ago
Apple announces new accessibility features, including eye tracking
www.apple.com
439
233
18
louisjoejordan
23h ago
Show HN: Open-source BI and analytics for engineers
github.com
259
64
19
aphyr
20h ago
Jepsen: Datomic Pro 1.0.7075
jepsen.io
318
61
20
ingve
16h ago
SSD death, tricky read-only filesystems, and systemd magic?
rachelbythebay.com
147
67
21
ingve
7h ago
My Sony HB-F1XV
thefoggiest.dev
23
3
22
ColinWright
21h ago
Starting emails with "BEGIN PGP MESSAGE" will fool the filter
nondeterministic.computer
234
79
23
secwang
3h ago
Forgotten APL Influences(2016) [pdf]
pok.acm.org
6
0
24
diodorus
17h ago
A ‘plague’ comes before the fall: lessons from Roman history
thebulletin.org
161
175
25
xnx
17h ago
Project Gameface launches on Android
developers.googleblog.com
165
63
26
amalinovic
1h ago
EU opens child safety probes of Facebook and Instagram, citing addictive design
techcrunch.com
98
56
27
fanf2
21h ago
Dragonfly: An optical telescope built from an array of off-the-shelf Canon lens
www.dunlap.utoronto.ca
204
77
28
correa_brian
17h ago
Show HN: I made a Mac app to search my images and videos locally with ML
desktopdocs.com
160
106
29
WarOnPrivacy
13h ago
Utah Locals Are Getting Cheap 10 Gbps Fiber Thanks to Local Governments
www.techdirt.com
275
157
30
PaulHoule
2d ago
The Nascar Camera Tech Behind a Historic 0.001s Photo Finish
petapixel.com
15
10
31
nickwritesit
2d ago
Bossware is a big legal risk
www.kolide.com
110
136
32
geox
17h ago
Some lithium could come from wastewater
www.pitt.edu
73
15
33
FigurativeVoid
1d ago
Fast Tokenizers with StringScanner (2023)
tenderlovemaking.com
42
1
34
yau8edq12i
8h ago
Kernel.org servers infected with backdoors for two years from 2009
arstechnica.com
97
3
35
KhoomeiK
20h ago
Show HN: Tarsier – Vision utilities for web interaction agents
github.com
170
58
36
_Microft
1d ago
A brief history of the first planetarium
spectrum.ieee.org
22
2
37
james_marks
22h ago
Show HN: I wrote a symmetry game with a daily puzzle
www.hidden-mirrors.com
110
61
38
meetpateltech
1d ago
Veo
deepmind.google
1687
471
39
perpil
10h ago
Hearing Is Be-Leafing: Students Invent Quieter Leaf Blower
hub.jhu.edu
19
7
40
fanf2
6h ago
Rpitx: Radio transmission from a Raspberry Pi GPIO pin
github.com
4
0
41
ingve
16h ago
Qualcomm's Oryon LLVM Patches
chipsandcheese.com
42
10
42
signa11
7h ago
(OpenBSD) Add sysctl to disable Nagle's algorithm
marc.info
22
13
43
JanSchu
2h ago
Ask HN: SaaS Subscription or Usage-Based Pricing?
5
3
44
Josely
20h ago
Android's theft protection features
blog.google
183
171
45
sohkamyung
1d ago
Raspberry Pi Ltd is considering an IPO
www.londonstockexchange.com
402
410
46
pera
2d ago
A Tale of Two Sieves (1996) [pdf]
www.ams.org
65
5
47
voxadam
51m ago
A proposal to switch Fedora Workstation's desktop from GNOME to KDE
lwn.net
38
38
48
carlos-menezes
2d ago
Branded types for TypeScript
www.carlos-menezes.com
153
131
49
todsacerdoti
2h ago
Proxmox VE Helper-Scripts
helper-scripts.com
19
3
50
racional
1d ago
Proteins in blood could provide early cancer warning 'by more than seven years'
www.theguardian.com
332
122
51
d0mine
16h ago
Making a Postgres query 1k times faster
mattermost.com
200
54
52
ducktective
18h ago
The Evolution of a Scheme Programmer
erkin.party
38
1
53
pseudolus
1d ago
Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture
www.quantamagazine.org
135
23
54
Tomte
3d ago
Prolog and Natural-Language Analysis (1987) [pdf]
www.mtome.com
74
16
55
p4bl0
1d ago
Translation of Rust's core and alloc crates to Coq for formal verification
formal.land
349
113
56
smartmic
2d ago
Ancient Eastern European mega-sites: a social levelling concept?
www.cambridge.org
82
63
57
hermitcrab
3h ago
Karman Alpha: amateur rocketry attempt to 100k ft (33 minute documentary) [video]
www.youtube.com
6
1
58
fanf2
1d ago
A low budget consumer hardware espionage implant (2018)
ha.cking.ch
332
92
59
Jimmc414
1d ago
Jan Leike Resigns from OpenAI
twitter.com
89
370
60
fanf2
2d ago
Speculating the entire x86-64 instruction set in seconds (2021)
blog.can.ac
101
4
Next page >