news
Open in hackernews
Domain Theory Lecture Notes
https://liamoc.net/forest/dt-001Y/index.xml
23
•
todsacerdoti
•
7h ago
Comments
dunham
•
3h ago
The tool used for this site is Jon Sterling's "forester":
https://sr.ht/~jonsterling/forester/
His motivation for building it is described here:
https://www.forester-notes.org/tfmt-0001/index.xml
discarded1023
•
1h ago
Thanks for the link. Is there anything new in these notes? They are cleanly presented but look like the greatest hits up to about 1982. Is there anything in there about reasoning about domains? e.g. what Andy Pitts made hay out of in the 1990s.
Reinvent the Wheel
https://endler.dev/2025/reinvent-the-wheel/
340
•
zdw
•
11h ago
•
152 comments
On File Formats
https://solhsa.com/oldernews2025.html#ON-FILE-FORMATS
35
•
ibobev
•
3d ago
•
22 comments
How to Install Windows NT 4 Server on Proxmox
https://blog.pipetogrep.org/2025/05/23/how-to-install-windows-nt-4-server-on-proxmox/
65
•
thepipetogrep
•
5h ago
•
21 comments
I used o3 to find a remote zeroday in the Linux SMB implementation
https://sean.heelan.io/2025/05/22/how-i-used-o3-to-find-cve-2025-37899-a-remote-zeroday-vulnerability-in-the-linux-kernels-smb-implementation/
444
•
zielmicha
•
16h ago
•
129 comments
Nvidia Pushes Further into Cloud with GPU Marketplace
https://www.wsj.com/articles/nvidia-pushes-further-into-cloud-with-gpu-marketplace-4fba6bdd
58
•
Bostonian
•
3d ago
•
32 comments
Why old games never die, but new ones do
https://pleromanonx86.wordpress.com/2025/05/06/why-old-games-never-die-but-new-ones-do/
118
•
airhangerf15
•
9h ago
•
108 comments
Failure Mechanisms in Democratic Regimes – An Army's Role
https://angrystaffofficer.com/2025/03/02/failure-mechanisms-in-democratic-regimes-an-armys-role/
82
•
tkgally
•
6h ago
•
39 comments
Tachy0n: The Last 0day Jailbreak
https://blog.siguza.net/tachy0n/
199
•
todsacerdoti
•
11h ago
•
27 comments
Claude 4 System Cards Highlights
https://simonwillison.net/2025/May/25/claude-4-system-card/
5
•
pvg
•
1h ago
•
0 comments
Good Writing
https://paulgraham.com/goodwriting.html
214
•
oli5679
•
16h ago
•
222 comments
Space is not a wall: toward a less architectural level design
https://www.blog.radiator.debacle.us/2025/05/space-is-not-wall-toward-less.html
6
•
PaulHoule
•
3d ago
•
0 comments
The WinRAR Approach
https://basicappleguy.com/basicappleblog/the-winrar-approach
44
•
frizlab
•
4d ago
•
22 comments
Show HN: Rotary Phone Dial Linux Kernel Driver
https://gitlab.com/sephalon/rotary_dial_kmod
298
•
sephalon
•
18h ago
•
43 comments
Contacts let you see in the dark with your eyes closed
https://scitechdaily.com/from-sci-fi-to-superpower-these-contacts-let-you-see-in-the-dark-with-your-eyes-closed/
34
•
geox
•
2d ago
•
7 comments
The Xenon Death Flash: How a Camera Nearly Killed the Raspberry Pi 2
https://magnus919.com/2025/05/the-xenon-death-flash-how-a-camera-nearly-killed-the-raspberry-pi-2/
197
•
DamonHD
•
19h ago
•
75 comments
Using the Apple ][+ with the RetroTink-5X
https://nicole.express/2025/apple-ii-more-like-apple-5x.html
34
•
zdw
•
9h ago
•
8 comments
Lone coder cracks 50-year puzzle to find Boggle's top-scoring board
https://www.ft.com/content/0ab64ced-1ed1-466d-acd3-78510d10c3a1
134
•
DavidSJ
•
12h ago
•
26 comments
Hong Kong's Famous Bamboo Scaffolding Hangs on (For Now)
https://www.nytimes.com/2025/05/24/world/asia/hongkong-bamboo-scaffolding.html
169
•
perihelions
•
19h ago
•
51 comments
An Almost Pointless Exercise in GPU Optimization
https://blog.speechmatics.com/pointless-gpu-optimization-exercise
44
•
atomlib
•
3d ago
•
2 comments
The Logistics of Road War in the Wasteland
https://acoup.blog/2025/05/23/collections-the-logistics-of-road-war-in-the-wasteland/
64
•
ecliptik
•
10h ago
•
27 comments
Peer Programming with LLMs, for Senior+ Engineers
https://pmbanugo.me/blog/peer-programming-with-llms
124
•
pmbanugo
•
17h ago
•
60 comments
Scientific conferences are leaving the US amid border fears
https://www.nature.com/articles/d41586-025-01636-5
270
•
mdhb
•
9h ago
•
161 comments
Domain Theory Lecture Notes
https://liamoc.net/forest/dt-001Y/index.xml
23
•
todsacerdoti
•
7h ago
•
2 comments
It is time to stop teaching frequentism to non-statisticians (2012)
https://arxiv.org/abs/1201.2590
61
•
Tomte
•
13h ago
•
53 comments
Exposed Industrial Control Systems and Honeypots in the Wild [pdf]
https://gsmaragd.github.io/publications/EuroSP2025-ICS/EuroSP2025-ICS.pdf
44
•
gnabgib
•
13h ago
•
0 comments
Personal Computer Origins: The Datapoint 2200
https://thechipletter.substack.com/p/personal-computer-origins-the-datapoint
17
•
rbanffy
•
3d ago
•
1 comments
Crypto Investor Charged with Kidnapping and Torturing Man for Weeks
https://www.nytimes.com/2025/05/24/nyregion/crypto-investor-torture-italian-tourist.html
50
•
jonas21
•
4h ago
•
31 comments
AI, Heidegger, and Evangelion
https://fakepixels.substack.com/p/ai-heidegger-and-evangelion
125
•
jger15
•
16h ago
•
67 comments
The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]
https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf
29
•
droideqa
•
10h ago
•
10 comments
The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in Mind
https://mirari.vitasys.nl/
16
•
PortableCode
•
6h ago
•
5 comments
dunham•3h ago
His motivation for building it is described here: https://www.forester-notes.org/tfmt-0001/index.xml