0x5f3759df
h14s.p5r.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Mathematical Computing
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.deยท17h
โœ…Configuration Validation
Working at ABI boundaries
rkrishnan.orgยท3d
๐ŸŒ‰Cross-Platform FFI
Building Go APIs with DI and Gin: A Dependency Injection Guide
medium.comยท3dยท
Discuss: r/golang
๐Ÿค–Embedded Go
Agentic Design Patterns with LangGraph
pub.towardsai.netยท16h
๐ŸŽญProgram Synthesis
We teach young people to write. In the age of AI, we must teach them how to see - The Conversation
news.google.comยท8h
๐Ÿ’ฌInteractive REPLs
How Well Do LLMs Imitate Human Writing Style?
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Domain-Informed Genetic Superposition Programming: A Case Study on SFRC Beams
arxiv.orgยท2d
๐Ÿค–Code Generation
Reversible GNS for Dissipative Fluids with Consistent Bidirectional Dynamics
arxiv.orgยท2d
๐Ÿ“กAsync Channels
Developing Rust TUI (Terminal User Interface) Applications
github.comยท17hยท
Discuss: DEV
๐Ÿ’ปTerminal UIs
Is Rust the Beast for making mobile application that use 3D models and AI-Generation? (vs. C++)
reddit.comยท21hยท
Discuss: r/rust
๐Ÿš‚Cranelift Backend
MDD-Thinker: Towards Large Reasoning Models for Major Depressive Disorder Diagnosis
arxiv.orgยท1d
โœจEffect Inference
RADAR: Reasoning-Ability and Difficulty-Aware Routing for Reasoning LLMs
arxiv.orgยท4h
๐ŸŒฑMinimal ML
Enhancing Linear Attention with Residual Learning
arxiv.orgยท4h
๐Ÿชœ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
Agentic Exploration of Physics Models
arxiv.orgยท1d
โœจGleam
LatentEvolve: Self-Evolving Test-Time Scaling in Latent Space
arxiv.orgยท1d
๐ŸชœRecursive Descent