Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·9h·
Discuss: Hacker News
⚡HTMX
Flag this post
Forever Young
takimag.com·9h
✊Racism
Flag this post
Man jailed for stealing Banksy's 'Girl with Balloon' painting
yahoo.com·1h
⚡HTMX
Flag this post
One year later, I’m gladder than ever I left Twitter
fastcompany.com·7h
✊Racism
Flag this post
The Week Observed: November 14, 2025
cityobservatory.org·3h
⚡HTMX
Flag this post
Ukraine's forces strike Russia's Novorossiysk port, sources say
nordot.app·5h
⚡HTMX
Flag this post
Build an Image Classifier with Vision Transformer
reddit.com·9h·
Discuss: r/programming
⚡HTMX
Flag this post
Weekly Notes 46/2025
thejeshgn.com·5h
⚡HTMX
Flag this post
How can I compile std library from source
reddit.com·4d·
Discuss: r/rust
⚡HTMX
Flag this post
A Fresh Oregon Earthquake Is the Warning Shot: The ‘Great Quake’ Could Redraw the Coastline Overnight
yahoo.com·3h
⚡HTMX
Flag this post
On Stance
lesswrong.com·3d
⚡HTMX
Flag this post
Modelling PM<sub>2.5</sub> reduction scenarios for future cardiopulmonary disease reduction
nature.com·7h
⚡HTMX
Flag this post
WRITE-UP N1CTF 2025
dev.to·3d·
Discuss: DEV
⚡HTMX
Flag this post
The National : CBCNEWS : November 14, 2025 4:00am-5:00am EST
archive.org·11h
⚡HTMX
Flag this post
Gradient Flow Equations for Deep Linear Neural Networks: A Survey from a Network Perspective
arxiv.org·15h
⚡HTMX
Flag this post
New Arc Raiders patch makes crafting cheaper, Arcs scarier—and fixes one of the worst PvP issues
pcgamer.com·1d
✊Racism
Flag this post
Rose Bowl seeks temporary restraining order to block UCLA from SoFi Stadium move
nytimes.com·4d
⚡HTMX
Flag this post
Should I wait for the new Steam Machine or just build a cheaper mini PC for the couch?
reddit.com·5h·
Discuss: r/buildapc
⚡HTMX
Flag this post
NBC Bay Area News at 5:30 : KNTV : November 11, 2025 5:30pm-6:00pm PST
archive.org·2d
⚡HTMX
Flag this post
Finishing a game is way harder than starting one...
store.steampowered.com·1d·
Discuss: r/gamedev
⚡HTMX
Flag this post