Releasing v 1.0 of Administrate LIVE at thoughtbot Open Summit
thoughtbot.com·1d
🎮Language Ergonomics
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🧮Theorem Provers
Sonne 4.5 keeps blowing my mind
curzel.it·3d·
Discuss: Hacker News
🦀MIR Optimization
From Prompts to Prompt Engineering to Knowing Ourselves
semiwiki.com·34m
💬Interactive REPLs
First Steps into Darkness: My First Malware Analysis Experience
dev.to·1d·
Discuss: DEV
📊perf Tools
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·1d·
Discuss: Hacker News
🌉Language Bridges
Writing a simple operating system for a STM32 dev board: periperals are a small tft lcd and a ps-2 keyboard
reddit.com·9h·
Discuss: r/embedded
🖥️Minimal VMs
How Can the Usage of AI Help Boost DevOps Pipelines
devops.com·1d
📦Dependency Analysis
OpenAI tells developers ChatGPT is ready to be their gatekeeper
theregister.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Why Developer Experience Is More Than Just Better Tooling
blog.pragmaticdx.com·3d·
Discuss: Hacker News
🎮Language Ergonomics
r/LLMleaderboard
reddit.com·23h·
Discuss: r/LLMleaderboard
🏠indieweb
ReSharper and Rider 2025.2.3: The Third Set of Updates Released
blog.jetbrains.com·2d
🐛Interactive Debuggers
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🎲Parser Fuzzing
AI Code Assistants Are Making Developers Lazy (And That's Actually Good)
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
October 6 letter
dev.to·1d·
Discuss: DEV
⚡Live Coding
Your-Deployments-Are-Stuck-in-the-Past-The-Lost-Art-of-the-Hot-Restart
dev.to·1d·
Discuss: DEV
📡Erlang BEAM
Large Language Model-Based Uncertainty-Adjusted Label Extraction for Artificial Intelligence Model Development in Upper Extremity Radiography
arxiv.org·9h
⚖️Weighted Automata
µs Human-Readable IDs: A Performance Journey
dev.to·2d·
Discuss: DEV
📋JSON Parsing
The Anti-Corruption Layer: Your Application's Bouncer Against Legacy Chaos
dev.to·1d·
Discuss: DEV
🔐Capability Calculus
JavaScript Advanced Series (Part 10): Testing Strategies
dev.to·5d·
Discuss: DEV
🧪Compiler Testing