<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·23h
⚖️Inference Rules
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
OpenMMReasoner: Pushing the Frontiers for Multimodal Reasoning with an Open and General Recipe
arxiv.org·2d
🌱Minimal ML
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
Automatic Syntax Error Recovery (2020)
🔧Error Recovery
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
🤖Embedded Go
Flag this post
The age of personalized software
discuss.samsaffron.com·1h
🎮Language Ergonomics
Flag this post
A sample-efficient transfer learning framework for industrial remaining useful life prediction leveraging large language models
sciencedirect.com·17h
🪜Recursive Descent
Flag this post
Modern X86 Assembly Language Programming • Daniel Kusswurm & Matt Godbolt • GOTO 2025
youtube.com·2d
🔧Assembly DSLs
Flag this post
Trying Out C++26 Executors
🔮Speculative Execution
Flag this post
Towards a Better Evaluation of 3D CVML Algorithms: Immersive Debugging of a Localization Model
machinelearning.apple.com·1d
🔍Lens Libraries
Flag this post
Loading...Loading more...