Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·4h·
Discuss: Hacker News
⚙️Compilers
Flag this post
Weekly General Discussion Thread (November 09, 2025)
reddit.com·5h·
Discuss: r/Piracy
🌐Computer Networks
Flag this post
1967 speech about progress, computers, and staying human in an age of automation
mynamelowercase.com·1d·
Discuss: Hacker News
💻operating systems
Flag this post
Relearning how to be human
lesswrong.com·3h
💻operating systems
Flag this post
Motivated versus Value reasoning in LLMs
reddit.com·5h·
Discuss: r/LocalLLaMA
💻programming languages
Flag this post
Thoughts on hardware for large-scale web scraping (100+ workers), storing and serving datasets in several Postgres instances (~300 GB+), running basic ML proces...
reddit.com·1d·
Discuss: r/homelab
⚙️Compilers
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·4d
⚙️Compilers
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·1h·
Discuss: DEV
⚙️Compilers
Flag this post
Winnow vs Chumsky
reddit.com·7h·
Discuss: r/rust
⚙️Compilers
Flag this post
Anyone building educational Claude Skills? Let's collaborate
reddit.com·18h·
Discuss: r/ClaudeAI
🌐Computer Networks
Flag this post
Build a System to Learn and Remember Technical Topics as a Developer
spin.atomicobject.com·2d·
Discuss: Hacker News
💻programming languages
Flag this post
As we delve into the realm of quantum machine learning (QML)
dev.to·4h·
Discuss: DEV
⚙️Compilers
Flag this post
Get Rec’d with Amanda – Volume 102
smartbitchestrashybooks.com·13h
💻programming languages
Flag this post
Weeknotes 484
rogerswannell.com·1d
💻operating systems
Flag this post
Help with LLM Research Paper! Urgent!!!
github.com·1d·
Discuss: r/LLM
⚙️Compilers
Flag this post
Feeling a bit outdated
dev.to·22h·
Discuss: DEV
🌐Computer Networks
Flag this post
Dissecting the syscall Instruction: Kernel Entry and Exit Mechanisms.
reddit.com·14h·
Discuss: r/programming
💻operating systems
Flag this post
Understanding the Logic Behind Two Sum — and Extending It to Three Sum
dev.to·1d·
Discuss: DEV
💻programming languages
Flag this post
Foundation Models for Scientific Discovery: From Paradigm Enhancement toParadigm Transition
dev.to·12h·
Discuss: DEV
💻programming languages
Flag this post
The Code of Life: What Python's Data Structures Teach Us About Growth
dev.to·1h·
Discuss: DEV
💻programming languages
Flag this post