Who Invented the Johnson Decade Counter (and Why)?
eejournal.com·10h·
Discuss: Hacker News
📱Bytecode Design
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·1d
🔢Algebraic Datatypes
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·3d·
Discuss: Hacker News
🔢Algebraic Datatypes
Property-based testing of batch-invariant operations
mmaaz.ca·3d·
Discuss: Hacker News
🎲Property Testing
Claude 4.5 Can Now Build and Run Real Apps Instantly
davia.ai·2d·
Discuss: Hacker News
🎭Program Synthesis
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Recreating my first Godot project - Inventory and Reloading
reddit.com·6h·
Discuss: r/godot
🪞Metaprogramming
Go and PocketBase: Shortified!
dev.to·13h·
Discuss: DEV
🔧API Design
The Automatic Door System: With Statements Explained
dev.to·4h·
Discuss: DEV
🔧Error Recovery
Multi‑AI Agents: The Good, the Bad, and the Ugly
dev.to·10h·
Discuss: DEV
🎭Program Synthesis
CARE: Cognitive-reasoning Augmented Reinforcement for Emotional Support Conversation
arxiv.org·1d
🔗Lexical Scoping
Cactus Language • Semantics 1
inquiryintoinquiry.com·2d
📋Backus-Naur Form
StaR-KVQA: Structured Reasoning Traces for Implicit-Knowledge Visual Question Answering
arxiv.org·1h
🌱Minimal ML
Need your opinion! How are you using AI to code with Rust now?
reddit.com·1h·
Discuss: r/rust
🦀MIR Optimization
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·1d
🗺️Region Inference
Small Language Models for Emergency Departments Decision Support: A Benchmark Study
arxiv.org·2d
🌱Minimal ML
Learning from Failures: Understanding LLM Alignment through Failure-Aware Inverse RL
arxiv.org·1d
🪜Recursive Descent
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·1d
🤖Abstract Machines
OpenAI's gpt-oss Now Live on SiliconFlow: Designed for Agentic Workflows, Advanced Reasoning and Tool Use
dev.to·27m·
Discuss: DEV
🔄Go Scheduler
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·2d
🔄Subinterpreters