FHE@PDX 2025
jeremykun.com·2d
🔐Homomorphic Encryption
China’s Premier Takes Aim at AI ‘Monopoly’ as US Effort Quickens
bloomberg.com·1d
🇨🇳Chinese Computing
Image Rotation: Mutable Arrays in Haskell
mmhaskell.com·6d
λLambda Encodings
AV-Racer Devlog (1): Getting a functional car model
wassimulator.com·7h·
Discuss: Hacker News
🎯Emulator Accuracy
The challenge of deleting old online accounts
loudwhisper.me·5h·
Discuss: Hacker News
🏠Personal Archives
Policy Zones: How Meta enforces purpose limitation at scale in batch processing systems
engineering.fb.com·3d
⚙️Batch Processing
Show HN: The Magic of Code – book about the wonders and weirdness of computation
themagicofcode.com·5d·
Discuss: Hacker News
📐Mathematical Art
ramalama/mesa : benchmarks on my hardware and open source vs proprietary
airlied.blogspot.com·2d·
Discuss: airlied.blogspot.com, Hacker News
📊Performance Profiling
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·4d·
Discuss: Hacker News
🧮Z3 Applications
My boss used AI for 2 hours to solve a problem I fixed in 10 minutes
reddit.com·3d·
Discuss: r/artificial
⚡Proof Automation
My local Lowe's has its check-out computers running Linux.
reddit.com·1d·
Discuss: r/linux
🔌Operating system internals
America's AI Action Plan Is Pretty Good
thezvi.substack.com·2d·
Discuss: Substack
🔐Systems Hardening
Create Viral AI Marketing Ads for Almost Nothing with VEO3
dev.to·7h·
Discuss: DEV
🗜️LZW Variants
Hackaday Podcast Episode 330: Hover Turtles, Dull Designs, and K’nex Computers
hackaday.com·2d
⚡Circuit Archaeology
Purchase and Production Optimization in a Meat Processing Plant
arxiv.org·4d
📈Linear programming
Minexus – Remote admin tool in Go (early stage, feedback welcome!)
reddit.com·8h·
Discuss: r/golang
⚡gRPC
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·4d
🧠Intelligence Compression
Python Fundamentals: collections module
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Analysing FIT data with Perl: interactive data analysis
perl.com·8h
📰SGML
Intel Core Ultra Series 3 CPUs could finally answer AMD's V-Cache — Nova Lake could boast massive 144MB L3
tomshardware.com·2d
⚡CPU Microarchitecture