Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·1d
📡Binary Protocols
What Every Parent Should Know About the AI Future
debliu.substack.com·4h·
Discuss: Substack
🎓Educational VMs
Supply chain attacks are the new big thing (2022)
cryptologie.net·19h·
Discuss: Hacker News
📦Dependency Analysis
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·1d
🪜Recursive Descent
🌐Fun Fact: The Most Popular Programming Languages
dev.to·11h·
Discuss: DEV
🎮Language Ergonomics
Jim Henry | Wards Auto
wardsauto.com·1d
🔢Algebraic Datatypes
JT-Trader: A Complete Overview of the Cryptocurrency Algorithmic Trading Platform
dev.to·7h·
Discuss: DEV
⚡Live Coding
why is rust not being utilized to its full potential?
reddit.com·1d·
Discuss: r/rust
⚙️TOML Parsers
Mastering JavaScript Booleans: A Complete Guide with Examples & Best Practices
dev.to·1d·
Discuss: DEV
📝Rope Editors
When Dinosaurs Survived the Meteor: From Python to Deno
dev.to·2d·
Discuss: DEV
🔧Nickel
A JSON alternative but 1000x better
reddit.com·1d·
Discuss: r/rust
🌈Gradual Languages
Decoding Hearts: Universal ECG Language for Smarter AI by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🌊Dataflow Languages
Need Help Getting Started
reddit.com·12h·
Discuss: r/gamedev
🏠indieweb
A Lens on the Sharp Left Turn: Optimization Slack
lesswrong.com·1d
🚂Error Propagation
Combating headcrabs in the Source SDK codebase
dev.to·1d·
Discuss: DEV
🦀MIR Optimization
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·1d
🪜Recursive Descent
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·8h
🛡️Parser Security
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·4d·
Discuss: Hacker News
🎯Type Theory
Kren v1: Turning an Encoder into a Khasi-Speaking AI
dev.to·2h·
Discuss: DEV
📊LR Parsing
Low-resourced languages get jailbroken more. Can SAEs explain why?
lesswrong.com·1d
🌱Tiny Languages