News
Newest
Ask
Show
Jobs
Open on GitHub
< 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
4
Why We're Building Stategraph: Terraform State as a Distributed Systems Problem
(stategraph.dev)
by
lawnchair
57 minutes ago
|
0 comments
74
I got the highest score on ARC-AGI again swapping Python for English
(jeremyberman.substack.com)
by
freediver
7 hours ago
|
9 comments
45
In Praise of Idleness (1932)
(harpers.org)
by
awanderingmind
3 hours ago
|
5 comments
200
A dumb introduction to z3
(asibahi.github.io)
by
kfl
1 day ago
|
10 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
|
2 comments
79
AMD Open Source Driver for Vulkan project is discontinued
(github.com)
by
haunter
9 hours ago
|
4 comments
311
About the security content of iOS 15.8.5 and iPadOS 15.8.5
(support.apple.com)
by
jerlam
9 hours ago
|
23 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
16 hours ago
|
38 comments
< prev
1 / 10
more >