Elements Update: TDSM Format Now Supported
finalbossblues.itch.io·15h
📝Rope Editors
Show HN: Convert between Mermaid, draw.io, and Excalidraw diagrams
diagram-bridge-project-new.vercel.app·18h·
Discuss: Hacker News
💬REPL Design
Prompt engineering: Generate red team emulation plans
feedly.com·15h
Live Coding
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
functional programming
What AI Can and Can't Reliably Do in Web Development
future.forem.com·2d·
Discuss: DEV
🎭Program Synthesis
TAI #173: OpenAI’s DevDay Deluge: Sora 2, AgentKit, and an App Store Reboot
pub.towardsai.net·22h
🎭Program Synthesis
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·1d
🎭Program Synthesis
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🌳Pattern Match Compilation
Overview of Black Box Testing vs White Box Testing: Complete Comparison Document
dev.to·3h·
Discuss: DEV
🧪Test DSLs
LATTA: Langevin-Anchored Test-Time Adaptation for Enhanced Robustness and Stability
arxiv.org·9h
🪜Recursive Descent
Self-Reflective Generation at Test Time
arxiv.org·2d
Gleam
Automatic Building Code Review: A Case Study
arxiv.org·2d
📦Dependency Analysis
AppCUI-Rs – Powerful and Easy TUI Framework Written in Rust
github.com·37m·
Discuss: Hacker News
💻Terminal UIs
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
Can I justify C for everything?
reddit.com·10h·
🪄C Metaprogramming
The Inverse Matrix problem
talesfrom.dev·2d
🚂Error Propagation
How Vijil built a trust layer for my first AI agent
dev.to·2h·
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
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.org·1d
Effect Inference