Three injured as city centre building in major European city collapses
independent.co.uk·4h
🔗Lexical Scoping
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.com·5h
🔗Category Theory
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·3d·
Discuss: Lobsters, Hacker News
🎭Racket Modules
Does anything people ask "surprise" the LLMs?
preview.redd.it·19h·
Discuss: r/LLM
⚖️Inference Rules
🧮 Introducing number-to-words-id — Convert Numbers to Words in 3 Languages
dev.to·2d·
Discuss: DEV
📚Stack Languages
Are Linked Lists necessary?
dev.to·1d·
Discuss: DEV
🤐Zipper Structures
Any go lang devs, willing to help me implement some functionality in my project. Its open source.
reddit.com·2d·
Discuss: r/golang
🌙Lua
obsidian.nvim 3.14.0 release, in-process LSP has landed
reddit.com·3h·
Discuss: r/neovim
🔄Incremental Lexing
Optimising Battery Energy Storage System Trading via Energy Market Operator Price Forecast
arxiv.org·14h
📈Monotonic Logic
[D] Best practices for structuring an applied ML research project?
reddit.com·20h·
Discuss: r/MachineLearning
🔍ML Language
Mapping Patient-Perceived Physician Traits from Nationwide Online Reviews with LLMs
arxiv.org·14h
🔍ML Language
Type Theory and Functional Programming (1999) [pdf]
dev.to·6d·
Discuss: DEV
🎯Type Theory
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·21h·
Discuss: DEV
🌐Network Protocols
Enabling developers in GitHub Codespaces
dev.to·3h·
Discuss: DEV
📚Self-Documenting Code
Tritium | Thoughts on the Word Spec in Rust
tritium.legal·1d·
Discuss: Hacker News, r/programming, r/rust
⚙️TOML Parsers
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·14h
🔍ML Language
Junior Dev vs Senior Dev: A Real-World Laravel API Challenge (AI vs Fundamentals)
dev.to·8h·
Discuss: DEV
🎮Language Ergonomics
SoC-DT: Standard-of-Care Aligned Digital Twins for Patient-Specific Tumor Dynamics
arxiv.org·14h
✨Effect Inference
Beyond Outcome Reward: Decoupling Search and Answering Improves LLM Agents
arxiv.org·14h
💬Interactive REPLs
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·14h
🪜Recursive Descent