Dependent Types, Category Theory, Formal Verification, Lambda Calculus

New book shows how questioning the alphabet can push typography further
creativeboom.com·22h
💬REPL Design
Flag this post
Gaiwan: October Recap
gaiwan.co·1d
🌱Forth Kernels
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·37m·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·2d
🔮Clojure
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·5h·
Discuss: DEV
💬Interactive REPLs
Flag this post
[P] arxiv troller: arxiv search tool
reddit.com·1h·
🏠indieweb
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·1h
🌱Minimal Interpreters
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·20h·
Discuss: DEV
⚙️Configuration Parsing
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·1d
📡Channels
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🚂Error Propagation
Flag this post
Challenging DINOv3 Foundation Model under Low Inter-Class Variability: A Case Study on Fetal Brain Ultrasound
arxiv.org·1h
🌱Minimal ML
Flag this post
Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with B\'ezier Curves
arxiv.org·1d
🔍ML Language
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.org·1d
Tokenizer Benchmarks
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·13h·
Discuss: Hacker News
📦Monorepos
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·1d
Effect Inference
Flag this post
InvisioVault: Because Sometimes You Just Want to Hide Stuff 🤫
dev.to·11h·
Discuss: DEV
📝Rope Editors
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·2d·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🎮Language Ergonomics
Flag this post