News
Newest
Show
Jobs
prev
1 / 10
more
20
Normal-order syntax-rules and proving the fix-point of call/cc
(okmij.org)
by
Bogdanp
3 days ago
0 comments
76
I got the highest score on ARC-AGI again swapping Python for English
(jeremyberman.substack.com)
by
freediver
7 hours ago
10 comments
4
Why We're Building Stategraph: Terraform State as a Distributed Systems Problem
(stategraph.dev)
by
lawnchair
1 hour ago
0 comments
203
A dumb introduction to z3
(asibahi.github.io)
by
kfl
1 day ago
10 comments
45
In Praise of Idleness (1932)
(harpers.org)
by
awanderingmind
3 hours ago
5 comments
30
Samsung 870 QVO 4TB SATA SSD-s: how are they doing after 4 years of use?
(ounapuu.ee)
by
furkansahin
2 days ago
4 comments
80
AMD Open Source Driver for Vulkan project is discontinued
(github.com)
by
haunter
9 hours ago
4 comments
314
About the security content of iOS 15.8.5 and iPadOS 15.8.5
(support.apple.com)
by
jerlam
9 hours ago
24 comments
20
Tuberculosis shaped Victorian fashion (2016)
(smithsonianmag.com)
by
franze
2 days ago
6 comments
637
Waymo has received our pilot permit allowing for commercial operations at SFO
(waymo.com)
by
ChrisArchitect
17 hours ago
38 comments
prev
1 / 10
more