Elements Update: TDSM Format Now Supported
finalbossblues.itch.io·18h
📝Rope Editors
Release News: Qiskit SDK v2.2 is here!
ibm.com·1h
🏗️MLIR
Show HN: Convert between Mermaid, draw.io, and Excalidraw diagrams
diagram-bridge-project-new.vercel.app·20h·
Discuss: Hacker News
💬REPL Design
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
⚡functional programming
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.com·18h
🔮Metacircular Evaluators
What AI Can and Can't Reliably Do in Web Development
future.forem.com·2d·
Discuss: DEV
🎭Program Synthesis
Can I justify C for everything?
reddit.com·12h·
Discuss: r/C_Programming
🪄C Metaprogramming
The Inverse Matrix problem
talesfrom.dev·2d
🚂Error Propagation
How Vijil built a trust layer for my first AI agent
dev.to·4h·
Discuss: DEV
🔮Metacircular Evaluators
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.org·1d
🔍Lens Libraries
🧩 A Complete Guide to React Testing: From Unit Tests to E2E, Snapshots, and Test Doubles
dev.to·1d·
Discuss: DEV
🧪Compiler Testing
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·3d·
Discuss: Hacker News
🔒Rust Borrowing
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.org·1d
✨Effect Inference
Generating Realistic Fake Data in Java with Quarkus, DataFaker & EasyRandom
dev.to·21h·
Discuss: DEV
📝Rope Editors
Mastering RAG: Beyond Simple Retrieval-Augmented Generation
dev.to·2h·
Discuss: DEV
🏷️Attribute Grammars
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·2d·
Discuss: Hacker News
⚡Cache Optimization
µs Human-Readable IDs: A Performance Journey
dev.to·2d·
Discuss: DEV
📋JSON Parsing
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🎲Parser Fuzzing
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Google’s CodeMender: More Dangerous Than Helpful?
nocomplexity.com·1d·
Discuss: Hacker News
🛡️Parser Security