Newly-Retired Andrew Appel Reflects on his Voting Machine Advocacy
blog.citp.princeton.edu·1d
🔓Hacking
IMO 2024 and 2025
blog.evanchen.cc·2d
⚙️Proof Engineering
Wednesday 30 July, 2025
memex.naughtons.org·2d
🔲Cellular Automata
Apache Flink 2.1.0 Released
flink.apache.org·1d·
Discuss: Hacker News
🌊Streaming Databases
Compromised Donor Emails: A post-mortem
pi-hole.net·1d·
Discuss: Hacker News, r/linux
🛡Cybersecurity
Google Sans Code
github.com·7h·
Discuss: Hacker News
🔠Terminal Fonts
Perfect Graph Modification Problems: An Integer Programming Approach
arxiv.org·2d
🔗Graph Isomorphism
Measuring Sample Quality with Copula Discrepancies
arxiv.org·2d
🧮Kolmogorov Bounds
BANG: Dividing 3D Assets via Generative Exploded Dynamics
arxiv.org·2d
🏺Computational Archaeology
Physics-informed transfer learning for SHM via feature selection
arxiv.org·3d
🧠Machine Learning
Builders FirstSource: Not The Right Time To Build More Position, But Not Gonna Sell
seekingalpha.com·1h
🔍BitFunnel
SCORPION: Addressing Scanner-Induced Variability in Histopathology
arxiv.org·3d
📄Document Digitization
DAMS:Dual-Branch Adaptive Multiscale Spatiotemporal Framework for Video Anomaly Detection
arxiv.org·3d
👁️Perceptual Hashing
Autonomous Email Summarization
dev.to·2d·
Discuss: DEV
📡RSS Automation
Curved Inference: Concern-Sensitive Geometry in Large Language Model Residual Streams
arxiv.org·2d
🧠Intelligence Compression
Python OpenAI API create Pinecone embeddings from PDF documents and RAG examples
github.com·3d·
Discuss: Hacker News
⚡Proof Automation
Dynamic analysis of free-free Timoshenko beams on elastic foundation under transverse transient ground deformation
arxiv.org·1d
🌊Stream Ciphers
FairReason: Balancing Reasoning and Social Bias in MLLMs
arxiv.org·12h
📏Linear Logic
Toward the Autonomous AI Doctor: Quantitative Benchmarking of an Autonomous Agentic AI Versus Board-Certified Clinicians in a Real World Setting
arxiv.org·12h
🔲Cellular Automata
Invisible Architectures of Thought: Toward a New Science of AI as Cognitive Infrastructure
arxiv.org·12h
🌍Cultural Algorithms