Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·1d
🔐Cryptographic Archaeology
HigherOrderCO/HVM3
github.com·21h
🔗Functional Compilers
House Fire, Death, and Rebirth
adama-platform.com·10h·
Discuss: Hacker News
🦋Format Metamorphosis
Go Concurrency Face-Off: Channels vs Mutexes
hackernoon.com·3d
🌊Stream Processing
The dangers of the JDBC bottleneck in Trino
starburst.io·1d·
Discuss: Hacker News
🦀Rusty Databases
Signal Relays
pzuraq.com·1d·
Discuss: Hacker News
✨Effect Handlers
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·20h·
Discuss: Hacker News
📼Tape Combinators
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·3d
⚡Dependent Rust
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
Codanna now supports Go! Instant call graphs, code-aware lookup, zero servers
reddit.com·22h·
Discuss: r/golang
🦀Rust Macros
Multiagent orchestration framework to manage swarms via drag and drop
github.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Emergent Crowds Dynamics from Language-Driven Multi-Agent Interactions
arxiv.org·1d
🔲Cellular Automata
Do I need a Lisp Machine comeback?
far.chickenkiller.com·1d·
Discuss: Hacker News
🦀Rust Macros
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·2d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
Scaling Your AI Enterprise Architecture with MCP Systems
decodingml.substack.com·1d·
Discuss: Substack
🔌Interface Evolution
MoEcho: Exploiting Side-Channel Attacks to Compromise User Privacy in Mixture-of-Experts LLMs
arxiv.org·1d
💻Local LLMs
Integrated Sensing, Communication, and Computation for Over-the-Air Federated Edge Learning
arxiv.org·1d
🧠Machine Learning
Modular Arithmetic in Data Science
towardsdatascience.com·4d
📐Interval Arithmetic
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
busy beaver function
ncatlab.org·13h
⚔️Lean Theorem