DiToast's Top FindsLoading...
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·8h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·12h·
Discuss: Hacker News
⚖️Logic Programming
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·10h·
Discuss: Substack
🎲Probabilistic Programming
Flag this post
Reforging the ReScript Build System
rescript-lang.org·9h·
🏗️Software Architecture
Flag this post
Music in rust with tunes
crates.io·2d·
Discuss: r/rust
🦀Rust
Flag this post
OPNsense on Proxmox is the best way to run your network, and I will die on this hill
xda-developers.com·8h
🌍Distributed Systems
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·20h
🧫Cellular Automata
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·2h·
Discuss: r/programming
🔍Static Analysis
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·20h
Formal Verification
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
🏗Computer Architecture
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🔗Parser Combinators
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·4h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
cargo zigbuild
github.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
reddit.com·9h·
Discuss: r/rust
🦀Rust
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·9h·
Discuss: DEV
📈Complexity Theory
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·1d
🔐Cryptography
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
Functional Programming
Flag this post