🔤 Type Theory

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

Notepad.exe 1.2.1139
mjtsai.com·1h
🖥️Vintage Macintosh
The Virtuous Circle: How IP Powers Telecoms Innovation
telecomramblings.com·13h
🇫🇮Finnish Computing
Dynasties, Selection, and Talent Allocation Among Classical Composers
papers.ssrn.com·1d·
Discuss: Hacker News
🎼Computational Musicology
A personal health large language model for sleep and fitness coaching
nature.com·23h·
Discuss: Hacker News
🧠Intelligence Compression
Building Developer-First Identity Solutions with Brian Pontarelli [audio]
packetpushers.net·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Looking for a simple load balancer for my homelab, anyone tried this?
github.com·1d·
Discuss: r/homelab
🏠HomeLab
CAP is not the full picure: PACELC comes to rescue
en.wikipedia.org·2d·
Discuss: Hacker News
🤝Distributed Consensus
Creating AI agent solutions for warehouse data access and security
engineering.fb.com·1d
🔐Capability Systems
Six Costly Pitfalls in Log Collection: From Local Management Missteps to Looming System Failures
hackernoon.com·13h
👁️Observatory Systems
The Best AI Web Scraper Tools in 2025: Top Picks, Features & Pricing
hackernoon.com·1d
🤖Archive Automation
AppSignal Adds OpenTelemetry Support to Monitoring Platform
devops.com·5h
👁️Observatory Systems
Reducing Time to Value for Data Science Projects: Part 4
towardsdatascience.com·3d
🔄Reproducible Builds
Dolthub/go-MySQL-server: A MySQL-compatible database, in pure Go
github.com·2d·
Discuss: Hacker News
🦀Rusty Databases
Obfuscated Quantum and Post-Quantum Cryptography
arxiv.org·3d
🔐Quantum Security
Uncertainty-Aware Prediction of Parkinson's Disease Medication Needs: A Two-Stage Conformal Prediction Approach
arxiv.org·17h
🧠Machine Learning
A Framework for FAIR and CLEAR Ecological Data and Knowledge: Semantic Units for Synthesis and Causal Modelling
arxiv.org·2d
🔢Denotational Semantics
From Kiddie Projects to Production-Ready APIs: My FastAPI Journey at 18
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Beyond Prompt-Induced Lies: Investigating LLM Deception on Benign Prompts
arxiv.org·4d
💻Local LLMs
Why I Founded Cognix: Creating Reliable AI Tools
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
Multimodal LLM-based Query Paraphrasing for Video Search
arxiv.org·1d
🔍Semantic Search