🔤 Type Theory

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

RcppArmadillo 15.0.2-1 on CRAN: New Upstream, Some Changes
dirk.eddelbuettel.com·1d
📦Package Managers
Whaling, phishing, and spear phishing: What’s the difference?
proton.me·1d
🎫Kerberos Attacks
Chagas disease, which can be deadly, is now considered endemic in the U.S.
uclahealth.org·17h·
Discuss: Hacker News
🦠Malware Analysis
Chrome Intent to Prototype: Email Verification Protocol
groups.google.com·4d·
Discuss: Hacker News
🌐Web Standards
What I've learned about startups
claudio.uk·1d·
Discuss: Hacker News
🚀Indie Hacking
DC Circuit Makes Rookie Mistake In Actually Following Binding Precedent In A Case Involving Donald Trump Firing People
techdirt.com·17h
🎨Graph Coloring
São Paulo biennale review – chanting trees and hormonal humming create a cacophany of art
theguardian.com·1d
❄️Nordic Minimalism
Rug pulls, forks, and open-source feudalism
lwn.net·4d·
Discuss: Hacker News
🔓Open Source Software
Opinion: Liberate your college backpack. Free textbooks are here.
mercurynews.com·19h
🔓Free and open source
Investigating IntelliJ Platform UI Freezes
blog.jetbrains.com·23h·
Discuss: Hacker News
🌊Stream Processing
US Poverty Rate Was Stable in 2024, as Household Income Rose Slightly
nytimes.com·17h
💻Local first
'Optical sieve' detects the smallest pieces of plastic in the environment more easily than ever before
phys.org·1d
🌈Spectroscopy
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·5d·
Discuss: DEV
👁️Observatory Systems
TryHackMe Year of the Rabbit Walkthrough: Easy CTF Guide for FTP, SSH, and Privilege Escalation
infosecwriteups.com·2d
📟Terminal Forensics
Daft is trending on GitHub in Rust
reddit.com·5d·
Discuss: r/rust
🦀Rust Borrowing
Household robots at IFA: R1D2 does the laundry, R2D3 does the dishes
heise.de·1d
🏠Home Automation
Match Group, Inc. (MTCH) Presents At Goldman Sachs Communacopia + Technology Conference 2025 Transcript
seekingalpha.com·1d
🏺Protocol Archaeology
NeuroBOLT: Resting-state EEG-to-fMRI Synthesis with Multi-dimensional Feature Mapping
arxiv.org·1d
🧠Neural Codecs
Animalette, nature's palettes, reimagined.
dev.to·4d·
Discuss: DEV
🏛Digital humanities
Blackstone Inc. (BX) Presents At Barclays 23rd Annual Global Financial Services Conference (Transcript)
seekingalpha.com·18h
⚡HTMX