Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·4d·
Discuss: Hacker News
📐Mathematical Computing
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·17h·
Discuss: Hacker News
🔀SSA Construction
Thoughts on The Curve
interconnects.ai·8h
🎭Program Synthesis
Signal: Financial Funny Business 📧
spyglass.org·4h
🔍Lens Libraries
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·6h·
Discuss: r/neovim
🔄Incremental Lexing
LLMs as a limiter of social intercourse
lesswrong.com·13h
📚Factor
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·16h
🔍ML Language
MetaFind: Scene-Aware 3D Asset Retrieval for Coherent Metaverse Scene Generation
arxiv.org·16h
🔍Lens Libraries
Curriculum-Augmented GFlowNets For mRNA Sequence Generation
arxiv.org·16h
🐪MinCaml
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·12h·
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·1d·
Discuss: DEV
🛡️Capability VMs
H-DDx: A Hierarchical Evaluation Framework for Differential Diagnosis
arxiv.org·16h
🏗️MLIR
Domain-Driven Design: Turbocharge video processing
dev.to·8h·
Discuss: DEV
🎨Domain-Specific Languages
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·16h
🪜Recursive Descent
Can an LLM Induce a Graph? Investigating Memory Drift and Context Length
arxiv.org·16h
🔍ML Language
Optimized Minimal 4D Gaussian Splatting
arxiv.org·16h
🔄Loop Optimization