A Fart Saved My CSV
artificiallyintelligentspace.substack.com·13h·
Discuss: Substack
🔧Error Recovery
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·18h·
Discuss: Hacker News
🏗️Calculus of Constructions
Flag this post
Valuable News – 2025/11/10
discoverbsd.com·1h
🌱Forth Kernels
Flag this post
Driving TFEL with RP2040: Offloading the CPU step by step (2021)
zephray.me·1d·
Discuss: Hacker News
🤖Embedded Go
Flag this post
Updating to Jest 30 is Frustrating (it's JSDOM)
dev.to·3h·
Discuss: DEV
🌈Gradual Languages
Flag this post
Understanding the First Step of GPT-2: Words into Input Embeddings
pub.towardsai.net·1d
🌱Minimal ML
Flag this post
How to Start Lua Coding in Roblox in 2025?
dev.to·16h·
Discuss: DEV
🌙Lua
Flag this post
🚀 How I Taught Myself Databases From Zero to Confidence (A Practical Roadmap)
dev.to·11h·
Discuss: DEV
💾Minimal Databases
Flag this post
Wikipedia-based Datasets in Russian Information Retrieval Benchmark RusBEIR
arxiv.org·9h
🔤Language Tokenizers
Flag this post
The Benefits of Selenium Automation Testing
dev.to·3h·
Discuss: DEV
🧪Test DSLs
Flag this post
How was your experience upgrading to JDK25?
reddit.com·12h·
Discuss: r/java
⚡Interpreter Optimization
Flag this post
🧪 Unit Testing Tools in WebForms Core 2
dev.to·3d·
Discuss: DEV
🌐Browser REPLs
Flag this post
Building an Intelligent System
pub.towardsai.net·1d
🎭Program Synthesis
Flag this post
Truth Over Hype: A Builder’s Playbook for Credible Storytelling
dev.to·3h·
Discuss: DEV
🧱First Principles
Flag this post
Taurus Database: How to be Fast, Available, and Frugal in the Cloud
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
📮Persistent Queues
Flag this post
A Monad Guide for Beginners
dev.to·1d·
Discuss: DEV
🚂Error Monads
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
dev.to·5h·
Discuss: DEV
📮Message Queues
Flag this post
How to Automate GitHub Workflows with Gemini CLI and the MCP Toolkit for Docker
dev.to·21h·
Discuss: DEV
⚡Live Programming
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
dev.to·1d·
Discuss: DEV
☁️Distributed Parsing
Flag this post
dAttendance: An Agent-First Attendance Platform on Smart Postgres
dev.to·6h·
Discuss: DEV
🎓Educational Databases
Flag this post