N
Hacker Next
new
show
ask
jobs
submit
login
1
Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
129 points by
vitalnodo
4 hours ago
|
21 comments
2
Marko – A declarative, HTML‑based language
markojs.com
216 points by
ulrischa
8 hours ago
|
107 comments
3
Largest cargo sailboat completes first Atlantic crossing
marineinsight.com
131 points by
defrost
7 hours ago
|
69 comments
4
Study identifies weaknesses in how AI systems are evaluated
oii.ox.ac.uk
311 points by
pseudolus
13 hours ago
|
155 comments
5
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
downtowndougbrown.com
40 points by
todsacerdoti
4 hours ago
|
0 comments
6
WriterdeckOS
writerdeckos.com
129 points by
surprisetalk
8 hours ago
|
67 comments
7
Control structures in programming languages: from goto to algebraic effects
xavierleroy.org
103 points by
SchwKatze
6 days ago
|
3 comments
8
Open-source communications by bouncing signals off the Moon
open.space
62 points by
fortran77
7 days ago
|
14 comments
9
Avería: The Average Font (2011)
iotic.com
127 points by
JoshTriplett
7 hours ago
|
27 comments
10
IP blocking the UK is not enough to comply with the Online Safety Act
prestonbyrne.com
185 points by
pinkahd
4 hours ago
|
211 comments
11
Cloudflare scrubs Aisuru botnet from top domains list
krebsonsecurity.com
119 points by
jtbayly
10 hours ago
|
26 comments
12
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
hackster.io
30 points by
HardwareLust
2 hours ago
|
3 comments
13
My first fifteen compilers (2019)
blog.sigplan.org
45 points by
azhenley
8 days ago
|
3 comments
14
Judge says Education Dept partisan out-of-office emails violated First Amendment
npr.org
87 points by
toomanyrichies
2 hours ago
|
54 comments
15
When a “feature” is worse than a bug
medium.com
8 points by
Egorich42
4 days ago
|
2 comments
16
Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]
goskagit.com
33 points by
p_ing
2 hours ago
|
8 comments
17
Humanity's Endgame
noemamag.com
14 points by
marojejian
3 hours ago
|
6 comments
18
Valdi – A cross-platform UI framework that delivers native performance
github.com
464 points by
yehiaabdelm
1 days ago
|
190 comments
19
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
softwarepreservation.computerhistory.org
82 points by
swatson741
12 hours ago
|
10 comments
20
Why is Zig so cool?
nilostolte.github.io
493 points by
vitalnodo
1 days ago
|
431 comments
21
Ticker: Don't die of heart disease
myticker.com
398 points by
colelyman
12 hours ago
|
358 comments
22
Judge denies request to exempt Flock footage from Public Records Act
heraldnet.com
23 points by
ourmandave
3 hours ago
|
4 comments
23
GPS 'kill' switch allows state police cruisers to go dark and disable tracking
boston25news.com
73 points by
harambae
4 days ago
|
32 comments
24
Opencloud – An alternative to Nextcloud written in Go
github.com
47 points by
todsacerdoti
10 hours ago
|
7 comments
25
OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex
github.com
25 points by
wahnfrieden
3 hours ago
|
16 comments
26
Syntax and Semantics of Programming Languages
homepage.cs.uiowa.edu
65 points by
nill0
7 days ago
|
5 comments
27
Myna: Monospace typeface designed for symbol-heavy programming languages
github.com
380 points by
birdculture
1 days ago
|
168 comments
28
How did I get here?
how-did-i-get-here.net
343 points by
zachlatta
1 days ago
|
58 comments
29
52 Year old data tape could contain Unix history
theregister.com
160 points by
rbanffy
11 hours ago
|
60 comments