Open Catalyst Project
opencatalystproject.org·3h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
📦OPAM
Flag this post
The Development of Pie
terathon.com·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·10h·
Discuss: Substack
🧩Parser Combinators
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·3h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.to·4h·
Discuss: DEV
📚Automata Learning
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
λFunctional Programming
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·23h·
Discuss: DEV
λFunctional Programming
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
🔬Static Analysis
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·18h·
Discuss: Hacker News
📝Nix Language
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Jackknife Transmittance and MIS Weight Estimation
momentsingraphics.de·12h·
Discuss: Hacker News
🎨GADTs
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·2d
🔄Finite State Machines
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📚Automata Learning
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
🏗️Dune
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Post-Quantum Cryptography Threats
dev.to·1d·
Discuss: DEV
Existential Types
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
🏗️Dune
Flag this post