Developing an autonomous crack segmentation and exploration system for civil infrastructure
techxplore.com·1d
🎭Program Synthesis
modded-nanogpt medium world record: adding value embeddings
snimu.github.io·22h
✨Effect Inference
How eBPF Is Powering the Next Generation of Observability
thenewstack.io·6h
🌉Cross-Platform FFI
Bonito.jl – A flashy Julia web framework
makie.org·10h·
Discuss: Hacker News
🌙Lua
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·1d·
Discuss: Hacker News, r/programming
🌊Reactive Languages
Show HN: AutoRules AI – Check all files against a list of questions
markwylde.com·3d·
Discuss: Hacker News
🛡️Security Type Systems
Open Agent Specification (Agent Spec): A Unified Representation for AI Agents
github.com·4h·
Discuss: Hacker News
🧱WASM Components
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·3d·
Discuss: Hacker News
🧩Constraint Solvers
How to make the game playable to others in development stage
reddit.com·6h·
Discuss: r/gamedev
📚Self-Documenting Code
I Spent 6 Hours Per Blog Post Until I Built This AI Content Platform
terradium.io·2d·
Discuss: DEV
⚡Incremental Parsing
Ask HN: Systems Development Path
news.ycombinator.com·3d·
Discuss: Hacker News
🦀MIR Optimization
That-Real-Time-Headache-Its-Not-The-WebSockets-Its-Your-Framework
dev.to·12h·
Discuss: DEV
🌍HTTP Servers
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·18h
📋JSON Parsing
Fast Generic Hash-Table Update
reddit.com·3h·
Discuss: r/C_Programming
📋Row Typing
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
📋Souffle Datalog
94% of Text-to-3D AI Agents Fail in Production. Here's the Hybrid Architecture That Fixes It.
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Building Modern Data Systems: Event-Driven Architecture, Messaging Queues, Batch Processing, ETL & ELT
dev.to·6h·
Discuss: DEV
📮Message Queues
React Reconciliation, Fiber, and Virtual DOM Explained (Without the Jargon)
dev.to·2h·
Discuss: DEV
🏛️Elm Architecture
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·18h
📏Linear Logic
Your-Tests-Are-Slow-and-Brittle-Youre-Testing-the-Wrong-Thing
dev.to·5d·
Discuss: DEV
🧪Compiler Testing