A Global Mining Dataset
tech.marksblogg.comยท21hยท
Discuss: Hacker News
๐Ÿ“ˆEarley Parsing
For Those Who Use Claude Code Together with Codex
coding-with-ai.devยท1hยท
Discuss: Hacker News
๐Ÿ“šSelf-Documenting Code
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.comยท2dยท
Discuss: DEV
โœ…Configuration Validation
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.techยท3hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Why We Need SIMD
parallelprogrammer.substack.comยท1dยท
Discuss: Substack
๐Ÿ”€SIMD Programming
Working for a Vendor with David Gee
blog.ipspace.netยท2h
๐Ÿ“šSelf-Documenting Code
The State of CI/CD in 2025: Key Insights from the Latest JetBrains Survey
blog.jetbrains.comยท19hยท
Discuss: r/devops
๐Ÿ“ฆDependency Analysis
C? Rewrite it in Brainfuck
iacgm.pages.devยท3dยท
๐Ÿช„C Metaprogramming
Agentic AI: Redefining Automation for Developers
teleglobals.comยท23hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
What's the best way to manage state
reddit.comยท15hยท
Discuss: r/embedded
โฑ๏ธReal-Time GC
AgentSight: Keeping Your AI Agents Under Control with eBPF-Powered System Observability
dev.toยท1hยท
Discuss: DEV
๐ŸฐCapability Machines
Switching Me Softly: Zeroโ€‘Downtime PostgreSQL 12 17 at Fresha
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฎPersistent Queues
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.orgยท4h
โœจGleam
Built a small Rust-based LC-3 linter & formatter โ€” feedback welcome!
reddit.comยท5hยท
Discuss: r/rust
๐Ÿš‚Cranelift Backend
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.toยท1dยท
Discuss: DEV
๐Ÿ’พRegister Pressure
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.orgยท1d
๐ŸŽฎLanguage Ergonomics
Causal Abstractions, Categorically Unified
arxiv.orgยท4h
๐Ÿ’ซEffect Systems
Automated Risk Calibration for Shipping Asset-Backed Securities via Dynamic Portfolio Optimization
dev.toยท1dยท
Discuss: DEV
๐Ÿš‚Cranelift IR
Read the Scene, Not the Script: Outcome-Aware Safety for LLMs
arxiv.orgยท4h
๐ŸชœRecursive Descent