A Childhood Dream, Created and Open Sourced
hackaday.com·4h
🏗️Minimal Compilers
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·4d·
Discuss: Hacker News
📐Mathematical Computing
Thoughts on The Curve
interconnects.ai·3h
🎭Program Synthesis
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·12h·
Discuss: Hacker News
🔀SSA Construction
LongCat-Flash-Chat: Powerful Open-Source AI for 2025
digitalocean.com·1d
💬Smalltalk VMs
Introduction to Python Module Two Part Four Data Types
dev.to·1d·
Discuss: DEV
🐍lisp
Day 24 of My 90 Days Python Series – Word Counter Tool
github.com·1d·
Discuss: DEV
💬Interactive REPLs
obsidian.nvim 3.14.0 release, in-process LSP has landed
reddit.com·1h·
Discuss: r/neovim
🔄Incremental Lexing
LLMs as a limiter of social intercourse
lesswrong.com·8h
📚Factor
Aesthetic, Open-source Platform for Learning Japanese inspired by Monkeytype
reddit.com·21h·
Discuss: r/javascript
🌱Tiny Languages
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·11h
🔍ML Language
MetaFind: Scene-Aware 3D Asset Retrieval for Coherent Metaverse Scene Generation
arxiv.org·11h
🔍Lens Libraries
Curriculum-Augmented GFlowNets For mRNA Sequence Generation
arxiv.org·11h
🐪MinCaml
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·7h·
Discuss: DEV
🎭Program Synthesis
CIFLEX: Contextual Instruction Flow for Sub-task Execution in Multi-Turn Interactions with a Single On-Device LLM
arxiv.org·4d
🌱Minimal Interpreters
Understanding Linux Namespaces: A Guide to Process Isolation
dev.to·22h·
Discuss: DEV
🛡️Capability VMs
H-DDx: A Hierarchical Evaluation Framework for Differential Diagnosis
arxiv.org·11h
🏗️MLIR
Domain-Driven Design: Turbocharge video processing
dev.to·3h·
Discuss: DEV
🎨Domain-Specific Languages
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·11h
🪜Recursive Descent
Can an LLM Induce a Graph? Investigating Memory Drift and Context Length
arxiv.org·11h
🔍ML Language