FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Ransomware-Resilient Storage
infoq.com·8h·
Discuss: Hacker News
💿WORM Storage
Proxmox Cluster Mini Rack
i.redd.it·2h·
Discuss: r/homelab
🏠Homelab Clusters
Official Release of LyteNyte Grid Version 1.0
medium.com·20h·
Discuss: Hacker News
🏷️Metadata Standards
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·23h
🎯Performance Proofs
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·1d
💾Binary Linguistics
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
The MiniPC Revolution
jadarma.github.io·1d·
Discuss: Hacker News
🖥️Modern Terminals
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·1d·
Discuss: Hacker News
🤖AI Curation
Reloading classes in python and shared borders
andrewpwheeler.com·17h·
Discuss: Hacker News
🦀Rust Macros
I built a tool to benchmark tokenizers across 100+ languages and found some wild disparities [R]
reddit.com·11h·
Discuss: r/MachineLearning
⚙️Compression Benchmarking
🚀 Learning Update
dev.to·17h·
Discuss: DEV
🌳Incremental Parsing
⚡ From MapReduce to Spark: Why In-Memory Beats Disk I/O
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·19h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Show HN: SQLite Extensions Guide
github.com·14h·
Discuss: Hacker News
🧩SQLite Extensions
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution