Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Optimal Communication Unbalanced Private Set Union
arxiv.org·4d
🔐Homomorphic Encryption
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Transformer Efficiency Hacks: Leverage the Power of Position
dev.to·13h·
Discuss: DEV
🔄Burrows-Wheeler
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·11h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·10h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·22h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·8h
🌀Brotli Internals
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
When AI Goes Wrong
whenaifail.com·23h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·10h
⚛️Quantum Tape
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
⚙️PL Implementation
Flag this post
On Cloudfare and Unwrap
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
High-grade encryption solution protects classified communications, resists quantum attacks
interestingengineering.com·2d
🔐Quantum Security
Flag this post
Hyper-Secure Code Generation via Lattice-Based Homomorphic Encryption & AI-Assisted Verification
dev.to·2d·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
Zig in 30 Minutes
gist.github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post