ReFIne: A Framework for Trustworthy Large Reasoning Models with Reliability, Faithfulness, and Interpretability
arxiv.org·1h
🔍Refinement Types
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·16h
🔗Category Theory
A Fluent-based high-level crate for localization
reddit.com·8h·
Discuss: r/rust
🌈Gradual Languages
Slip – A Lisp System in JavaScript
lisperator.net·2d·
Discuss: Hacker News
🌱Minimal Lisps
What Dynamic Typing Is For
unplannedobsolescence.com·1d
🎮Language Ergonomics
From Source to Sorcery – Kotlin Native's Interop Magic
staticvar.dev·11h·
Discuss: Lobsters, Hacker News
🌉Language Bindings
Building Transformer Models from Scratch with PyTorch (10-day Mini-Course)
machinelearningmastery.com·1d
🌱Minimal ML
Version 2 of the Algol 68 GCC Front-End posted
gcc.gnu.org·8h
🐪OCaml
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·2d·
Discuss: Hacker News
↔️Bidirectional Typing
My First Week of Vibecoding
underreacted.leaflet.pub·2d·
Discuss: Hacker News
✨Gleam
Gleam Programming Language Tour
tour.gleam.run·1d·
Discuss: Hacker News
✨Gleam
[Pre-RFC] Substructural Type System
internals.rust-lang.org·14h·
Discuss: Hacker News
🔒Rust Borrowing
C++ Templates: How to Iterate through std::tuple: C++26 Packs and Expansion Statements
cppstories.com·1d
📋Template Compilers
Making Unicode things fast in Go
clipperhouse.com·4h·
Discuss: r/golang
🌿Trie Variants
How to implement Type-state pattern where we want multiple states at the same time?
preview.redd.it·21h·
Discuss: r/rust
🔧API Design
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·1d·
Discuss: Hacker News
🔗Concatenative Languages
"Why Learn C" Book Released
link.springer.com·15h·
Discuss: DEV
🔬Nanopasses
Code Deconstruction: The Counting Lambda
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Databite: A set of open-source integration libraries
github.com·6h·
Discuss: Hacker News, Hacker News
📦Monorepos
Completing a new BASIC interpreter in 2025 (strings, math funcs, cassette)
nanochess.org·9h·
Discuss: Hacker News
🌱Tiny Languages