Double Maths First Thing: Issue 39
aperiodical.comยท12h
โˆซMathematical DSLs
Callbacks in C++ Using Template Functors โ€“ Rich Hickey (1994)
tutok.skยท3dยท
๐ŸŒ‰Cross-Platform FFI
2025 Hackaday Supercon: More Wonderful Speakers
hackaday.comยท1d
๐ŸŒPortable Assembly
NATO CCDCOE to Research Battlefield Connectivity with Oracle 5G Solutions
prnewswire.comยท1d
๐Ÿ”Capability Protocols
The (software) quality without a name
kieranpotts.comยท1dยท
๐ŸงฑFirst Principles
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.appยท2dยท
๐ŸŒŠReactive Languages
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.comยท7h
๐ŸšShell Languages
[shiโ€ขrei] A new immediate-mode GUI framework for Go
judi.systemsยท2dยท
Discuss: r/golang
๐Ÿ’ปTerminal UIs
Alias and references as localized macros
gustedt.wordpress.comยท1dยท
Discuss: Hacker News
๐Ÿช„C Metaprogramming
Sailnote - A MIDI Media
dev.toยท20hยท
Discuss: DEV
๐ŸŒ™Lua
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.ioยท2dยท
Discuss: Hacker News
๐Ÿ—บ๏ธRegion Inference
JEPAs: Unveiling the Hidden Density Oracle Within by Arvind Sundararajan
dev.toยท3hยท
Discuss: DEV
๐Ÿ—บ๏ธRegion Inference
Building an Internal Developer Portal: Insights from the Journey So Far
medium.comยท1dยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.toยท1dยท
Discuss: DEV
๐ŸŽฒTest Generators
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท1d
โœ…Type Checking
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.orgยท2d
๐Ÿ“‹Souffle Datalog
Meta-Awareness Enhances Reasoning Models: Self-Alignment Reinforcement Learning
arxiv.orgยท1d
๐ŸชœRecursive Descent
Batch Processing with Spring Batch and Multiple Data Sources
dev.toยท2dยท
Discuss: DEV
๐Ÿ”งError Recovery
Reflections on The Curve 2025
lesswrong.comยท2h
๐Ÿ”„Nanopass
Assessing Human Rights Risks in AI: A Framework for Model Evaluation
arxiv.orgยท15h
๐Ÿค–Abstract Machines