Improving Harper for Old Laptops
elijahpotter.dev·1d
🚀V8 Internals
Anybody tried RTEMS?
rtems.org·1d·
Discuss: r/embedded
🌱Forth Kernels
Omittable — Solving the Ambiguity of Null
committing-crimes.com·2d·
Discuss: r/programming
🗂️Type Indexing
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·1d
🔍Refinement Types
SPIDR enables multiplexed mapping of RNA-protein interactions and uncovers a mechanism for selective translational suppression upon cell stress
cell.com·1d
✨Effect Inference
Boosting Model Performance with Reinforcement Fine-Tuning
hpc-ai.com·2d·
Discuss: Hacker News
💬Interactive REPLs
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·4d·
Discuss: Hacker News
🎮Language Ergonomics
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩Constraint Solvers
Struggling with file manipulation
reddit.com·6h·
Discuss: r/shortcuts
💬Interactive REPLs
Mail-Archiver Update: Two Months Later - Thank You r/selfhosted!
reddit.com·2d·
Discuss: r/selfhosted
⚡Incremental Parsing
The MCP Registry Is Here - But Is It Already Too Late?
dev.to·1d·
Discuss: DEV
📦Monorepos
Balancing Frontend & Backend: What’s the Hardest Part of Going Full-Stack Solo?
dev.to·8h·
Discuss: DEV
📦Monorepos
nixos-compose: Local development VMs made easy (nixcon2025)
cdn.media.ccc.de·1d
🏗️Build Systems
PAC: Pronunciation-Aware Contextualized Large Language Model-based Automatic Speech Recognition
arxiv.org·2d
📊LR Parsing
The Plagiarism Machine: How AI Repackages Human Knowledge Without Credit
dev.to·2d·
Discuss: DEV
📚Self-Documenting Code
🚀 An All-in-One AI Writing Toolkit for Developers, Writers & Makers — For Just $9.99
dev.to·1d·
Discuss: DEV
🔄Incremental Lexing
Usage of Atlas Reasoning Engine in Agentforce
dev.to·1h·
Discuss: DEV
📦Dependency Analysis
Match Chat: Real Time Generative AI and Generative Computing for Tennis
arxiv.org·2d
🎭Racket
Hyper-Precision Compliance Risk Mapping via Graph Neural Network Fusion
dev.to·2d·
Discuss: DEV
⚖️Weighted Automata
Analysis of the ROGUE Agent-Based Automated Web Testing System
dev.to·1d·
Discuss: DEV
🎲Parser Fuzzing