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