Mathematics of Consensus — Accidental Lecture
tigerbeetle.com·1d
🔶Lattice Theory
Flag this post
I built a tool to generate docs (NDA/PP/ToS/GDPR/ToS) automatically. Free plan included. Feedback welcome.
🔄Incremental Lexing
Flag this post
How Agentic AI Is Rewriting Source-to-Pay: A Practical Implementation Guide & ROI Playbook
🎭Program Synthesis
Flag this post
Cardano Temporarily Splits Into Two Chains After Attacker Uses AI-Generated Script to Exploit a Known Bug
coindesk.com·3h
📡Protocol Buffers
Flag this post
Ransomware-Proof Backups: I Replaced duplicacy with a Custom restic Orchestrator and a Raspberry Pi
🌐Network Protocols
Flag this post
OSS Friday Update
📡Erlang BEAM
Flag this post
Math And Programming - Perfectly Matched
i-programmer.info·1d
📖Literate Programming
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
🔧Error Recovery
Flag this post
Playing with cryptography
voboda.bearblog.dev·2d
🔗Hash Functions
Flag this post
Block propagation & miner revenue, resolving multi-party protocols - Optech #381
bitcoinops.org·2d
📮Message Queues
Flag this post
FAWK: LLMs can write a language interpreter
🐪OCaml
Flag this post
How to turn AI from a random code generator into a reliable teammate
🎭Program Synthesis
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🔍ML Language
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
Weighted path-based reliability allocation algorithm for phased-mission systems with phase redundancy
sciencedirect.com·1d
📋Task Queues
Flag this post
Loading...Loading more...