Newly-Retired Andrew Appel Reflects on his Voting Machine Advocacy
blog.citp.princeton.edu·1d
🔓Hacking
Trump Administration Cuts UCLA Funding Over Claims of Antisemitism, Chancellor Says
nytimes.com·10h
💧Manuscript Watermarks
Figma's S-1/A from their IPO today
sec.gov·1d·
Discuss: Hacker News
⚡HTMX
Existential Technologies (A Close Reading of Stanisław Lem's Summa Technologiae)
existentialtech.antikythera.org·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Try Deep Think in the Gemini app
blog.google·10h·
Discuss: Hacker News
🌀Brotli Internals
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Online Software for an Interstellar Civilization
gatlin.io·1d·
Discuss: Hacker News
⏰Time Crystals
The Politics of Masks
nytimes.com·10h
🧅Tor Networks
A Graphical Method for Designing Time-Optimal Non-Cartesian Gradient Waveforms
arxiv.org·2d
⚙️Tape Engineering
I downsized 3 times before finding the perfect space. Turns out, 600 square feet is all I need.
businessinsider.com·1d
🏠Personal Archives
Singularity Cipher: A Topology-Driven Cryptographic Scheme Based on Visual Paradox and Klein Bottle Illusions
arxiv.org·2d
🔐Quantum Security
As Software Scales, So Does Its Energy Appetite
hackernoon.com·1d
🔌Interface Evolution
A Vaccine for Anthropomorphism of AI
commoncog.com·2d·
Discuss: Hacker News
🌳Context free grammars
Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement
arxiv.org·2d
🐛Fuzzing
Novel Pivoted Cholesky Decompositions for Efficient Gaussian Process Inference
arxiv.org·3d
📐Linear Algebra
LLMs-guided adaptive compensator: Bringing Adaptivity to Automatic Control Systems with Large Language Models
arxiv.org·3d
✨Effect Handlers
HRIPBench: Benchmarking LLMs in Harm Reduction Information Provision to Support People Who Use Drugs
arxiv.org·2d
📏Linear Logic
Towards Safe and Comfortable Vehicle Control Transitions: A Systematic Review of Takeover Time, Time Budget, and Takeover Performance
arxiv.org·1d
✨Algebraic Effects
I Wanted to Learn Faster — So I Built a Voice AI Tutor with GPT-4 in a Weekend
dev.to·1d·
Discuss: DEV
🗜️LZSS Variants
Machine Learning Fundamentals: k-means example
dev.to·4d·
Discuss: DEV
👁️Observatory Systems