Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·1d
📡Binary Protocols
Researchers trace genetic code's origins to early protein structures
phys.org·23h
🔗Concatenative
Linkage
11011110.github.io·2d
🧮Combinator Calculus
What Every Parent Should Know About the AI Future
debliu.substack.com·8h·
Discuss: Substack
🎓Educational VMs
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·1d
🪜Recursive Descent
Learning the natural history of human disease with generative transformers
nature.com·3h·
Discuss: Hacker News
✨Effect Inference
Jim Henry | Wards Auto
wardsauto.com·2d
🔢Algebraic Datatypes
Decoding Hearts: Universal ECG Language for Smarter AI by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🌊Dataflow Languages
🌐Fun Fact: The Most Popular Programming Languages
dev.to·15h·
Discuss: DEV
🎮Language Ergonomics
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·12h
🛡️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·6h·
Discuss: DEV
📊LR Parsing
Learning to fuzz with LibAFL by solving puzzles
github.com·4d·
Discuss: Lobsters, Hacker News
🔮Type Inference Visualization
Low-resourced languages get jailbroken more. Can SAEs explain why?
lesswrong.com·1d
🌱Tiny Languages
Which AI coding assistant is best for building complex software projects from scratch, especially for non-full-time coders?
reddit.com·1d·
Discuss: r/devops
🔍Comby
About me🤝🏻
dev.to·22h·
Discuss: DEV
📚Factor
The Next Evolution of Code Agents is Coming
dev.to·5h·
Discuss: DEV
✨Gleam
These are the top free Windows tools that I use on a daily basis to boost my productivity
tomshardware.com·8h
📝Text Editors
A Quick Intro to Reinforcement Learning for Developers 🚀
dev.to·6h·
Discuss: DEV
💬Interactive REPLs
TypeScript package template
reddit.com·3h·
Discuss: r/javascript
📋Template Compilers