Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·10h·
Discuss: www.blogger.com
🔄Graph Rewriting
Extensions and Shadows (6)
sites.psu.edu·12h
🎯Proof Tactics
The Kepler Problem (Part 2)
johncarlosbaez.wordpress.com·20h
⚙Backus-Naur Form
A beginner's guide to tmux
redhat.com·5h
⌨️Terminal Customization
mkcd: The missing shell shortcut
dbohdan.com·2d·
Discuss: Hacker News
🕰Unix history
colinhacks/zshy: 🐒 Bundler-free build tool for TypeScript libraries. Powered by tsc.
github.com·1d
❄️Nixpkgs
China's Moonshot Launches Free AI Model Kimi K2 That Outperforms GPT-4 In Key Benchmarks
developers.slashdot.org·7h
🧠Intelligence Compression
DHH: Future of Programming, AI, Ruby on Rails, Productivity and Parenting
lexfridman.com·7h·
Discuss: Hacker News
💾vintage computing
Are We Entering a First-Order Optimizer Renaissance?
lukemerrick.com·7h·
Discuss: Hacker News
📊Quantization
How I do it
daniel.haxx.se·1d·
Discuss: Hacker News
📰RSS Archaeology
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·3d·
Discuss: Lobsters, Hacker News
🧩WASM Components
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·3d·
Discuss: Hacker News
🛡️eBPF Security
LLMs for coding (+ free workflow templates)
blog.n8n.io·3d·
Discuss: Hacker News
💻Local LLMs
[memo]RDT-1B: a Diffusion Foundation Model for Bimanual Manipulation
dev.to·22h·
Discuss: DEV
🤖Tape Automation
🔌 Building Resilient Database Operations with Aiobreaker + Async SQLAlchemy + FastAPI
dev.to·1d·
Discuss: DEV
📝Database WAL
Regolith - A JavaScript library immune to ReDoS attacks
github.com·4d
⚡Dependent Rust
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·2h
🤖Grammar Induction
Detecting and Pruning Prominent but Detrimental Neurons in Large Language Models
arxiv.org·2h
💻Local LLMs
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·2h
📊Learned Metrics
Prompting Techniques: How to Talk to AI (and Get What You Want)
dev.to·1d·
Discuss: DEV
📐Proof Assistants