DiToast's Top FindsLoading...
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·3h·
Discuss: Hacker News
🔗Parser Combinators
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·3h·
Discuss: Hacker News
🦀Rust
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Inverse Discrete Logarithm - Post-Quantum take on a classical problem.
eprint.iacr.org·1d
🔐Cryptography
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·2d
⚙Functional Programming
Notes and Takes from Computer Systems, A Programmer's Perspective - Chapter 1, from a Non-CS Grad
youtube.com·1d·
Discuss: DEV
🏗Computer Architecture
Onboarding for Coding Agents
fuzzycomputer.com·55m·
Discuss: Hacker News
🧩Theorem Proving
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙Functional Programming
Cheap but RISC-y
hackster.io·17h
💾Retrocomputing
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·2d
🦀Rust
Meta
engineering.fb.com·9h·
Discuss: Hacker News
🔧Compiler Design
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🔢Mathematical Logic
Chromahack, a programming language
blog.libove.org·17h
🔧Compiler Design
Simple Concurrency with Channels in std::sync::mpsc
dev.to·1d·
Discuss: DEV
⚡Concurrency
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·1d·
Discuss: Hacker News
🏗Computer Architecture
GoLang101: Functions, Methods, and Go’s Minimal Object-Oriented Style
dev.to·19h·
Discuss: DEV
⚙Functional Programming
Advanced C# Serialization: Beyond JSON
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Macros, Matter, & Malleability
clojurecivitas.github.io·1d
📝Lisp
Encrypted Client Hello Approved for Publication
feistyduck.com·2d·
Discuss: Hacker News
🤝Protocol Design
True names matter in C++
quuxplusone.github.io·1d
📐Type Theory