0x5f3759df
h14s.p5r.org·1d·
Discuss: Hacker News
📐Mathematical Computing
What's wrong with Georgia's defense? Identifying what's behind an uncharacteristic start
nytimes.com·6h
🗺️Region Polymorphism
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.de·1d
✅Configuration Validation
What Tech Innovations Did Arm Deliver in September 2025?
newsroom.arm.com·2h
📡Erlang BEAM
Safe zero-copy operations in C#
ssg.dev·1d·
Discuss: Lobsters, Hacker News
📚Stack Allocation
Agentic Design Patterns with LangGraph
pub.towardsai.net·1d
🎭Program Synthesis
How People Really Use LLMs And What That Means For Publishers
searchenginejournal.com·2h
🎮Language Ergonomics
Laravel Doesn’t Need GraphQL Part 1: Use DTOs and AQC for Exact Data
dev.to·41m·
Discuss: DEV
📋Souffle Datalog
We teach young people to write. In the age of AI, we must teach them how to see - The Conversation
news.google.com·17h
💬Interactive REPLs
How to Check if Code Was Made by AI
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
Automated Diagnostic Protocol Optimization via Hybrid Bayesian-Reinforcement Learning
dev.to·4h·
Discuss: DEV
✨Effect Inference
SynthPert: Enhancing LLM Biological Reasoning via Synthetic Reasoning Traces for Cellular Perturbation Prediction
arxiv.org·13h
🎭Program Synthesis
Reversible GNS for Dissipative Fluids with Consistent Bidirectional Dynamics
arxiv.org·2d
📡Async Channels
Is Rust the Beast for making mobile application that use 3D models and AI-Generation? (vs. C++)
reddit.com·1d·
Discuss: r/rust
🚂Cranelift Backend
MDD-Thinker: Towards Large Reasoning Models for Major Depressive Disorder Diagnosis
arxiv.org·1d
✨Effect Inference
Talk in Pieces, See in Whole: Disentangling and Hierarchical Aggregating Representations for Language-based Object Detection
arxiv.org·1d
📊LR Parsing
RADAR: Reasoning-Ability and Difficulty-Aware Routing for Reasoning LLMs
arxiv.org·13h
🌱Minimal ML
Enhancing Linear Attention with Residual Learning
arxiv.org·13h
🪜Recursive Descent
GEAR: A General Evaluation Framework for Abductive Reasoning
arxiv.org·1d
🔍ML Language
Learning to Reason in Structured In-context Environments with Reinforcement Learning
arxiv.org·1d
🪜Recursive Descent