Specifying digital systems.
yodaiken.com·4h
🔄Finite State Machines
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·20h
λLambda Encodings
Flag this post
Static web hosting performance on Intel N150 compared across BSDs and Linux
discoverbsd.com·3d
🔌Operating system internals
Flag this post
I’m Joining Privacy Guides
blog.thenewoil.org·1d
🏠Personal Archives
Flag this post
Yale Journal on Regulation: Navigating the Web of Agency Authority with AI
pacificlegal.org·19h·
Discuss: Hacker News
⚖️Constraint CHR
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·22h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Happiness Is a Skill You Can Build
domofutu.substack.com·9h·
Discuss: Substack
🏛️Philosophy
Flag this post
Adversarial Poetry as a Universal Single-Turn Jailbreak Mechanism in Large Language Models
arxiv.org·2d·
Discuss: Lobsters
🧪CBOR Fuzzing
Flag this post
The privacy nightmare of browser fingerprinting
kevinboone.me·1d·
Discuss: Hacker News
🔒Privacy Preserving
Flag this post
Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
dev.to·10h·
Discuss: DEV
🧅Tor Networks
Flag this post
Information Literacy and Chatbots as Search
buttondown.com·20h·
Discuss: Hacker News
📰RSS Reading Practices
Flag this post
Artificial Intelligence and Origin of Life Prize, $10M USD
herox.com·18h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Apache Iceberg vs. Databricks – benchmarked
olake.io·4d·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
GRIN2A a high risk gene for schizophrenia potentially enable precision therapy
nature.com·1h·
Discuss: Hacker News
🧬Copy Number Variants
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code
Flag this post
Understanding Semantic Caching: Enhancing AI Agent Response Times
dev.to·1d·
Discuss: DEV
🏎️Varnish Cache
Flag this post
As AI-driven diagnosis and treatment plans become increasing
dev.to·1d·
Discuss: DEV
🔍Information Retrieval
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.com·1d
🦋Format Metamorphosis
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·2d
🔐Cryptographic Archaeology
Flag this post
Critical Thinking during the age of AI
addyo.substack.com·1d·
Discuss: Substack
⚙️Proof Engineering
Flag this post