Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·9h·
Discuss: Hacker News
🤖AI
Flag this post
Man jailed for stealing Banksy's 'Girl with Balloon' painting
yahoo.com·1h
🌐Geopolitics
Flag this post
One year later, I’m gladder than ever I left Twitter
fastcompany.com·7h
🌐Geopolitics
Flag this post
original ↗
gilkalai.wordpress.com·1d
🤖AI
Flag this post
The Week Observed: November 14, 2025
cityobservatory.org·3h
🌐Geopolitics
Flag this post
Ukraine's forces strike Russia's Novorossiysk port, sources say
nordot.app·5h
🌐Geopolitics
Flag this post
Build an Image Classifier with Vision Transformer
reddit.com·9h·
Discuss: r/programming
🤖AI
Flag this post
Weekly Notes 46/2025
thejeshgn.com·5h
🤖AI
Flag this post
Wont Load UI (Race condition?)
reddit.com·1d·
Discuss: r/godot
🤖AI
Flag this post
A Fresh Oregon Earthquake Is the Warning Shot: The ‘Great Quake’ Could Redraw the Coastline Overnight
yahoo.com·3h
🌐Geopolitics
Flag this post
On Stance
lesswrong.com·3d
🌐Geopolitics
Flag this post
Modelling PM<sub>2.5</sub> reduction scenarios for future cardiopulmonary disease reduction
nature.com·7h
🤖AI
Flag this post
xiaorouji/openwrt-passwall2
github.com·1d
🤖AI
Flag this post
I do not know how to upgrade my computer, please help
reddit.com·1d·
Discuss: r/computers
🤖AI
Flag this post
WRITE-UP N1CTF 2025
dev.to·3d·
Discuss: DEV
🤖AI
Flag this post
The National : CBCNEWS : November 14, 2025 4:00am-5:00am EST
archive.org·11h
🌐Geopolitics
Flag this post
Gradient Flow Equations for Deep Linear Neural Networks: A Survey from a Network Perspective
arxiv.org·15h
🤖AI
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
🤖AI
Flag this post
NBC Bay Area News at 5:30 : KNTV : November 11, 2025 5:30pm-6:00pm PST
archive.org·2d
🤖AI
Flag this post
Finishing a game is way harder than starting one...
store.steampowered.com·1d·
Discuss: r/gamedev
🤖AI
Flag this post