Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·1h·
Discuss: Hacker News
🍳Cooking
Flag this post
“’S Wonderful” by George Gershwin
jordaneldredge.com·23h
🃏Magic the Gathering
Flag this post
Trump signs spending bill to end longest shutdown in US history
en.armradio.am·1d
🃏Magic the Gathering
Flag this post
ニコール・キッドマン、新作ホラー『The Young People』に出演決定
nordot.app·2d
🃏Magic the Gathering
Flag this post
very american
kunde.bearblog.dev·1d
🍳Cooking
Flag this post
Wanted: disassembly of Sub-Etha Software’s OS9Term
subethasoftware.com·17h
🃏Magic the Gathering
Flag this post
turning 23 & having the trip of my life
trueblue.bearblog.dev·2d
🃏Magic the Gathering
Flag this post
Why The Art of Readable Code Boosts Your English
oreilly.com·2d·
Discuss: DEV
🍳Cooking
Flag this post
We released our game in Early Access on Monday, here are some numbers and comments in case you are curious.
store.steampowered.com·19h·
Discuss: r/gamedev
🃏Magic the Gathering
Flag this post
2025 r/horrorlit Awards: A proposal
reddit.com·15h·
Discuss: r/horrorlit
🃏Magic the Gathering
Flag this post
Sysadmins take note
bitfieldconsulting.com·2d
🍳Cooking
Flag this post
Second-Harmonic Magnetoacoustic Ultrasound from Magnetic Nanoparticles under Radiofrequency Electromagnetic Fields
arxiv.org·2d
🍳Cooking
Flag this post
The Morning Rant: Minimalist Edition
acecomments.mu.nu·19h
🍳Cooking
Flag this post
Most “Chat with Your Data” Apps Are Toys. I Built One That Actually Works.
pub.towardsai.net·5h
🍳Cooking
Flag this post
Python Security Guide: Password Hashing, Encryption, Digital Signatures, and Secure Coding Practices
dev.to·16h·
Discuss: DEV
🍳Cooking
Flag this post
As Long As These Hands Stay Clean, I’ll Keep Chasing My Passion
dev.to·2d·
Discuss: DEV
🍳Cooking
Flag this post
Beyond MSE: Ordinal Cross-Entropy for Probabilistic Time Series Forecasting
arxiv.org·6h
🃏Magic the Gathering
Flag this post
PustakAI: Curriculum-Aligned and Interactive Textbooks Using Large Language Models
arxiv.org·6h
🍳Cooking
Flag this post