Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Oil climbs more than 2% after Ukrainian attack damages Russian oil depot
channelnewsasia.com·1d
🤖AI
Flag this post
Friday @ 11:43 am
alis.me·1d
🎯Go
Flag this post
One year later, I’m gladder than ever I left Twitter
fastcompany.com·1d
🎯Go
Flag this post
Ukraine's forces strike Russia's Novorossiysk port, sources say
nordot.app·22h
🤖AI
Flag this post
Build an Image Classifier with Vision Transformer
reddit.com·1d·
Discuss: r/programming
🤖AI
Flag this post
How can I compile std library from source
reddit.com·4d·
Discuss: r/rust
🎯Go
Flag this post
Modelling PM<sub>2.5</sub> reduction scenarios for future cardiopulmonary disease reduction
nature.com·1d
🤖AI
Flag this post
I dont want to go out anymore because now it feels like a chore. how do i (20m) get the will to go out back?
reddit.com·1d·
Discuss: r/Advice
🎯Go
Flag this post
I’m really stupid. Can somebody please help?
reddit.com·1d·
Discuss: r/archlinux
🎯Go
Flag this post
Ashes of the Damned Secrets and Easter Eggs - Call of Duty: Black Ops 7 Guide - IGN
news.google.com·22h
🎯Go
Flag this post
The Transformer and the Hash
lesswrong.com·1d
🤖AI
Flag this post
Gradient Flow Equations for Deep Linear Neural Networks: A Survey from a Network Perspective
arxiv.org·1d
🤖AI
Flag this post
Should I wait for the new Steam Machine or just build a cheaper mini PC for the couch?
reddit.com·22h·
Discuss: r/buildapc
🎯Go
Flag this post
Scale-Aware Relay and Scale-Adaptive Loss for Tiny Object Detection in Aerial Images
arxiv.org·1d
🤖AI
Flag this post
The National : CBCNEWS : November 14, 2025 4:00am-5:00am EST
archive.org·1d
🎯Go
Flag this post
History Rhymes: Macro-Contextual Retrieval for Robust Financial Forecasting
arxiv.org·1d
🤖AI
Flag this post
Super Bowl odds: Here come the Los Angeles Rams!
nytimes.com·3d
🤖AI
Flag this post
ATEEZ、BOYNEXTDOOR「2025 KGMA」で大賞を受賞!ファンに感謝“心から愛してる”(総合)
news.jp·2h
🎯Go
Flag this post
After 30ish years of starts and stops I finally released a "computer game" in a rather unexpected way.
reddit.com·3d·
Discuss: r/gamedev
🤖AI
Flag this post