🔤 Type Theory

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

A Restless Soul
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org
🧠Personal Knowledge Base
Mobile Social Engineering Escalates with Smishing, Vishing, and Quishing Trends
zimperium.com·1d
📼Cassette Hacking
Human reward hacking
danmackinlay.name·5d
🎯Threat Hunting
How AI and politics hampered the secure open-source software movement
cybersecuritydive.com·1d
🔓Open Source Software
Individual emitters triggered otherwise 'impossible' heatwaves: study
abc.net.au·2h
📜Document Physics
Man City reach settlement over legal challenge with Premier League
the-independent.com·2d
⚖️Legal Compliance
Court rules Georgia county didn't discriminate by denying coverage of gender-affirming surgery
the-independent.com·6h
💻Local first
Carrion crows can learn precise tool use
phys.org·10h
🧊Arctic Storage
Sunday Sundries
ipkitten.blogspot.com·3d·
Discuss: ipkitten.blogspot.com
🔐Certificate Analysis
Kubernetes v1.34: Use An Init Container To Define App Environment Variables
kubernetes.io·8h
📦Container Security
Mapping Relationships in IDA 9.2: Dynamic Xref Graph and Xref Tree
hex-rays.com·5d
🔗Static Linking
Ask HN: Technology Teacher Needs Validation from Smarter People
news.ycombinator.com·2d·
Discuss: Hacker News
🛡Cybersecurity
Australia wants to expand a massive gas project but Pacific nations aren't happy
abc.net.au·2h
📝ABNF Parsing
Federal Realty Investment Trust (FRT) Presents At BofA Securities 2025 Global Real Estate Conference Transcript
seekingalpha.com·1d
⏳Time Capsule Networks
Okta, Inc. (OKTA) Presents At Goldman Sachs Communacopia + Technology Conference 2025 Transcript
seekingalpha.com·1d
🌊Stream Processing
Should We Use LLMs As If They Were Swiss Knives?
towardsdatascience.com·6d
💻Local LLMs
AStake on astake.org: The Future of AI-Powered DeFi Staking and Trading in 2025
dev.to·13h·
Discuss: DEV
👁️Observatory Systems
Synchrony Financial (SYF) Presents At Barclays 23rd Annual Global Financial Services Conference Transcript
seekingalpha.com·11h
🔗Data Provenance
Mastering Robotics: The Dex-Mimic Revolution
dev.to·3d·
Discuss: DEV
🤖Tape Automation
Vibe Coding vs. Spec-Driven Development
redmonk.com·3d·
Discuss: Hacker News
📏Code Metrics