🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

The impact of expanding AuthDNS with a new node in the Philippines
blog.apnic.net·18h
🌐DNS over QUIC
Find something spicy to eat? POST HERE
forums.anandtech.com·18h
🛠️Greaseweazle
Weeknotes: 2025-W34
thomasrigby.com·4d
🧬PostgreSQL Forensics
Show HN: Free ADA compliance scanner for websites
adaquickscan.com·2d·
Discuss: Hacker News
⚖️Legal Compliance
Handling Background and Foreground States for Reliable Notifications
blog.clix.so·12h·
Discuss: Hacker News
🔌Offline-first Apps
OpenAI co-founder calls for AI labs to safety test rival models
techcrunch.com·1d·
Discuss: r/technews
🏠Homelab Automation
MIT's 95% AI failure rate is wrong
arnon.dk·1d·
Discuss: Hacker News
🔍Vector Forensics
Android Document Readers and Deception: Tracking the Latest Updates to Anatsa
zscaler.com·2d·
Discuss: Hacker News
🦠Malware Analysis
The Day I Logged in with a Hash
gsociety.fr·4d·
Discuss: Hacker News
🔓Hacking
You be the judge: should my girlfriend stop buying kitchen appliances?
theguardian.com·12h
🧮Algorithmic Cooking
Rewire
nature.com·1d
📼Audio Cassettes
New research reveals how university students are really using AI
the-independent.com·1d
🤖AI Curation
Lessons from Running a CNCF Community: Mistakes, Wins, and Growth - Kemila De Silva & Chamod Perera
youtube.com·1d
🌊Streaming Systems
Gaps in California Privacy Law: Half of Data Brokers Ignore Requests
darkreading.com·1d
🔤EBCDIC Privacy
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.com·2d
⚡Performance Mythology
When are Champions League fixtures released?
the-independent.com·3h
📈Time Series
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·6d
⚡Incremental Computation
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·6d
🔗Constraint Handling
ZipLine Campaign: A Sophisticated Phishing Attack Targeting US Companies
research.checkpoint.com·2d
💣ZIP Vulnerabilities
Knuth’s Twindragon
johndcook.com·5d
📐Mathematical Art