Nonlinearly Self-Interacting Extended Bodies Move as Test Bodies in Effective External Fields
journals.aps.orgΒ·6h
πŸ’«Effect Systems
What's Coming in ESLint 10
eslint.orgΒ·14hΒ·
Discuss: Hacker News
🌈Gradual Languages
Building a Command-Line Quiz Application in R
towardsdatascience.comΒ·1d
πŸ’¬Interactive REPLs
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.coΒ·6hΒ·
Discuss: Hacker News
πŸ—οΈCustom Allocators
valuetier.org (and some thoughts on LLMs)
ericphanson.comΒ·1dΒ·
πŸ“šSelf-Documenting Code
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.orgΒ·2h
πŸ“Linear Logic
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.orgΒ·2h
🌱Minimal ML
Unit Testing is Overrated and Won't Help You Write Better Code
dev.toΒ·1dΒ·
Discuss: DEV
πŸ§ͺZig Testing
Speak, Edit, Repeat: High-Fidelity Voice Editing and Zero-Shot TTS with Cross-Attentive Mamba
arxiv.orgΒ·2h
πŸ“Rope Editors
Distribution Preference Optimization: A Fine-grained Perspective for LLM Unlearning
arxiv.orgΒ·2h
πŸ”ML Language
C# (Maybe) Joins the Motia Family: Building Multi-Language Workflows with .NET 9
dev.toΒ·3dΒ·
Discuss: DEV
⚑Live Coding
I spent a week refactoring a perfectly working project and I don’t regret it
reddit.comΒ·1dΒ·
Discuss: r/webdev
πŸ”„Bootstrapping
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.orgΒ·1d
βœ…Type Checking
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.orgΒ·1d
🧩Constraint Solvers
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.orgΒ·2h
🌱Minimal ML
ObCLIP: Oblivious CLoud-Device Hybrid Image Generation with Privacy Preservation
arxiv.orgΒ·2h
✨Gleam
The Engineering Scalability Crisis: Why Standard Code Structures Matter More Than Ever
dev.toΒ·1dΒ·
Discuss: DEV
🎭Program Synthesis
Scalable Ground Station Selection for Large LEO Constellations
arxiv.orgΒ·2h
πŸ•ΈοΈP2P Protocols