A clean little website with free mini-tools I built for fun
knowdust.com·14h·
Discuss: r/InternetIsBeautiful
🧭SMT Solvers
Flag this post
BitNetMCU with CNN: >99.5% MNIST accuracy on a low-end Microcontroller
cpldcpu.com·6h
🏗Computer Architecture
Flag this post
November WASDE and a Cold Spell
dtnpf.com·16h
🔌Network Programming
Flag this post
Releasing Isok 1.2.0 -- a PostgreSQL extension to assist with data cleanup and query based data integrity management
postgresql.org·1d
👐Open Source Software
Flag this post
That time I girl-bossed too hard at my tech job
beabytes.com·13h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Weeknotes #350 — Huxley, not Orwell
andrewdoran.uk·4h
🧮Programming Language Theory
Flag this post
Abusing the Harvard Architecture in Nand2Tetris Assembly
ashdnazg.github.io·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Could This Catalyst Send Cardano Soaring?
finance.yahoo.com·17h
🧩Theorem Proving
Flag this post
MCReps README and FAQ
reddit.com·18h·
Discuss: r/MCReps
🧩Theorem Proving
Flag this post
ERD Models
dev.to·4d·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Why it's time to ditch UUIDv4 and switch to UUIDv7!
dev.to·2d·
Discuss: DEV
🤝Protocol Design
Flag this post
Just published my first crate: stable_gen_map
reddit.com·23h·
Discuss: r/rust
🧠Memory Management
Flag this post
50 % smaller LLM same PPL, experimental architecture
reddit.com·1d·
Discuss: r/LLM
🔗Parser Combinators
Flag this post
Ravens-Vikings takeaways: Lamar Jackson propels Baltimore to 3rd straight win
nytimes.com·5h
📊Information Theory
Flag this post
3 apps I barely use anymore because of NotebookLM
xda-developers.com·1d
🧭SMT Solvers
Flag this post
Need guidance to deep dive.
reddit.com·1d·
Discuss: r/devops
🧩Theorem Proving
Flag this post
<p>**Abstract:** The energy 분야 ODA 평가 (energy Overseas Development Aid assessment) increasingly demands improved reliability assessments for critical infrastruc...
freederia.com·2d
🎲Probabilistic Programming
Flag this post
sharing an open source backend i built, with a dashboard preview
reddit.com·21h·
Discuss: r/webdev
👐Open Source Software
Flag this post
Day 28: Python Bubble Sort, Implement a Simple Sorting Algorithm with Nested Loops
dev.to·1d·
Discuss: DEV
📈Complexity Theory
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
dev.to·1d·
Discuss: DEV
⚖Algorithmic Game Theory
Flag this post