🔤 Type Theory

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

The government's development bank is accused of failing to protect human rights while investing in emerging markets.
dw.com·1d
🎫Kerberos Attacks
Navigating DORA with Calico: Strengthening Kubernetes Operational Resilience in Financial Services
tigera.io·1d
🔐CBOR
Akademy 2025
blog.broulik.de·1d
🐧FOSS
So you want ACP (Agent Client Protocol) for Emacs?
lmno.lol·2d
📟Terminals
Show HN: Tablemd – canvas-based Markdown table editor
tablemd.app·2d·
Discuss: Hacker News
📲Digitization
Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
🗄️Database Sharding
Show HN: GTA AI – Convert Your Photos to GTA Style Artwork
gtaai.app·1d·
Discuss: Hacker News
🗜️LZW Variants
Flu jab email mishap exposes hundreds of students' personal data
theregister.com·1d·
Discuss: Hacker News
🔓Hacking
The risks of cognitive offloading [to AI]
siliconangle.com·1d·
Discuss: Hacker News
⚖️Emulation Ethics
Beyond Digital: Why it’s a great time for investing in deep tech
the-independent.com·1d
⏳Time Capsule Networks
Credit Market Math Is Making Buyers Cash No Matter What Rates Do
bloomberg.com·1d
🎯Arithmetic Coding Theory
Exploring Merit Order and Marginal Abatement Cost Curve in Python
towardsdatascience.com·2d
💰Archive Economics
The Signalgate Case is Waiving a Red Flag to All Organizational and Behavioral Cybersecurity Leaders, Practitioners, and Researchers: Are We Receiving the Signa...
arxiv.org·1d
🛡Cybersecurity
AI workflow could help biofuel crops grow on infertile soil and protect plants from infectious diseases
phys.org·3d
⚙️ABNF Mining
Python for Everyone: 3 Simple Ways Python Can Automate Your Daily Life Today
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Powering innovation at scale: How AWS is tackling AI infrastructure challenges
aws.amazon.com·1d
🏠Homelab Orchestration
Understanding Foundation Model
dev.to·5d·
Discuss: DEV
🔢Denotational Semantics
Autonomous Artifact Classification in Gigapixel Pathology Slides via Hyperdimensional Feature Mapping
dev.to·5d·
Discuss: DEV
📄Document Digitization
Top Bito AI Code Review Alternatives for 2025
dev.to·1d·
Discuss: DEV
📏Code Metrics
Canadian Imperial Bank Of Commerce (CM:CA) Presents At Barclays 23rd Annual Global Financial Services Conference (Transcript)
seekingalpha.com·1d
🔤EBCDIC Privacy