Improving Emacs' iCalendar Support
recursewithless.net·2d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Entity Framework vs Dapper: Which ORM Should You Use for Your Next .NET Project?
hackernoon.com·17h
📊Runtime Verification
Flag this post
Voxel Grid Visibility
cod.ifies.com·21h·
🧩Separation Logic
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·2d·
Discuss: Substack
📐Linear Algebra
Flag this post
It's Mainframes All the Way Down
medium.com·20h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·9h
🔲Cellular Automata
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·1d
📐Linear Algebra
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🔀OCaml Multicore
Flag this post
For Synthetic Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·1d·
💾Retro Computing
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·1d
📚Automata Learning
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
➡️Category Theory
Flag this post