Double Maths First Thing: Issue 34
aperiodical.com·18h
⚙️Proof Engineering
Understanding Transformers Using a Minimal Example
rti.github.io·10h·
Discuss: Hacker News, r/programming
📝Text Parsing
Learning Machine Learning in Elixir | zacksiri.dev
zacksiri.dev·19h
💻Local LLMs
Wild Performance Tricks
davidlattimore.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Borrowing
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·3d·
Discuss: Hacker News
🔍Type Inference
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
LLMs to Blaze a Trail
blogger.com·1d
💾Persistence Strategies
Building a Self-Healing Microservices Architecture with AWS Lambda, Step Functions, and Terraform
blog.devops.dev·14h
🤖Network Automation
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·1d·
Discuss: Hacker News
📏Code Metrics
Cryptic Error with Generics: "mismatched types float64 and float64"
reddit.com·1d·
Discuss: r/golang
🧮Algebraic Datatypes
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·3d·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Near-Duplicate Text Alignment under Weighted Jaccard Similarity
arxiv.org·22h
🔍MIN-Hash
📚 My Python Roadmap Journey #3 & #4 - Data Structures & Algorithms
dev.to·11h·
Discuss: DEV
🌀Brotli Dictionary
Optimize Your Go Code: Mastering `string` and `[]byte` Conversions
dev.to·1d·
Discuss: DEV
⚡gRPC
Decoding UTF-8. Part III: Determining Sequence Length – A Lookup Table
nemanjatrifunovic.substack.com·1d·
Discuss: Substack
🔤Character Encoding
Casual Productivity with LLMs
kylekukshtel.com·1d·
Discuss: Hacker News
🦀Rust Macros
Sheaf theoretic formulation for consciousness (2017)
pubmed.ncbi.nlm.nih.gov·22m·
Discuss: Hacker News
⏰Time Crystals
Aperiodic Tilings V: the Refinable Frontier
chiark.greenend.org.uk·2d·
Discuss: Lobsters, Hacker News
💎Information Crystallography
A Topology of Cognition
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
This Page Is a Quine
pranavg.me·3d·
Discuss: Hacker News
🔤Type Theory