🔤 Type Theory

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

Your Kubernetes: Strategic Asset or Ticking Time Bomb?
exoscale.com·2d
💾Persistence Strategies
My kids swear and don't say 'please' or 'thank you.' I don't care.
businessinsider.com·8h
🎯Gradual Typing
Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
jiratui.sh·8h·
Discuss: Hacker News
🇯🇵Japanese Computing
Show HN: Gimli Tailwind 5 -The most popular extension for TailwindCSS developers
gimli.app·2d·
Discuss: Hacker News
📖Nordic Typography
Case Study: Fraudulent Charge Bank Scam
aaron-gray.com·6h·
Discuss: Hacker News
🎫Kerberos Attacks
Rivals Rub Shoulders in the World of Competitive Massage
newyorker.com·2d
⚙Backus-Naur Form
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai·2d·
Discuss: Hacker News
⚡Proof Automation
Philip Connors and Nina MacLaughlin in conversation
nplusonemag.com·4h
📕Bookbinding
The tale of the creature with the most chromosomes
phys.org·8h
🧬Copy Number Variants
Quiz: Sorting Dictionaries in Python: Keys, Values, and More
realpython.com·3d
🌳Trie Structures
Starmer has ‘confidence’ in Mandelson despite Epstein birthday message
the-independent.com·10h
🏠Personal Archives
The End of Engineering's Blank Check • Laura Tacho & Charles Humble • GOTO 2025
youtube.com·2d
🔓Open Source Software
Sensing environmental physical interaction to traverse cluttered obstacles
arxiv.org·2d
✋Tactile Computing
From Human Chatter to Animal Chatter: Teaching AI to Hear Nature's Symphony by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🎧Learned Audio
Rollins, Inc. (ROL) Presents At Piper Sandler 4th Annual Growth Frontiers Conference Transcript
seekingalpha.com·5h
🧠Query Planners
Quiz: How to Drop Null Values in pandas
realpython.com·11h
📐Linear Algebra
Celldex Therapeutics, Inc. (CLDX) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference Transcript
seekingalpha.com·7h
🔗Data Provenance
AnomalyLMM: Bridging Generative Knowledge and Discriminative Retrieval for Text-Based Person Anomaly Search
arxiv.org·5d
🔍Information Retrieval
Must Have Emacs Packages In 2025
irreal.org·3d
💧Liquid Types
'MostereRAT' Malware Blends In, Blocks Security Tools
darkreading.com·2d
🔓Hacking