šŸ”¤ Type Theory

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

Exposing the 'Multibank Crypto Poker' Recruitment Scam
happihacking.comĀ·1d
šŸŽ«Kerberos Attacks
If Nix Then Nix
whimsicalcode.comĀ·1dĀ·
Discuss: Hacker News
ā„ļøNixpkgs
Intraducing Mastrodon
daniel.industriesĀ·3d
šŸ”©Systems Programming
We Needed Better Cloud Storage for Python So We Built Obstore
developmentseed.orgĀ·3dĀ·
Discuss: Lobsters, Hacker News
šŸ”„Sync Engine
A brief history of XML and property lists
eclecticlight.coĀ·5d
šŸ·ļøMetadata Standards
A beginner-friendly guide to learning Jax with practical examples
github.comĀ·6dĀ·
Discuss: Hacker News, r/LocalLLaMA
āš”ļøLean Tactics
Scientists Goofed and Accidentally Created a New Kind of Fish
popularmechanics.comĀ·22h
šŸŒ³Format Genealogy
Thymic epithelial cells amplify epigenetic noise to promote immune tolerance
nature.comĀ·22h
šŸ§¬Copy Number Variants
Designing for Ephemerality
brajeshwar.comĀ·14h
šŸŽØSwedish Design Philosophy
Deep Learning-Driven Mutation Signature Deconvolution for Targeted Cancer Therapy Selection
dev.toĀ·3dĀ·
Discuss: DEV
šŸ”Vector Forensics
Discovery of a widespread chemical signalling pathway in the Bacteroidota
nature.comĀ·22h
šŸ§¬Copy Number Variants
PaperRegister: Boosting Flexible-grained Paper Search via Hierarchical Register Indexing
arxiv.orgĀ·3d
šŸ“‡Indexing Strategies
I was losing my mind switching branches with Claude Code, so I built this
dev.toĀ·1dĀ·
Discuss: DEV
šŸŒ³Git Internals
Cross-Cultural Negotiation Dynamics: Automated Sentiment-Aware Strategy Optimization via Bayesian Reinforcement Learning
dev.toĀ·1dĀ·
Discuss: DEV
šŸŒCultural Algorithms
What happens inside the computer when you run your Go server
dev.toĀ·14hĀ·
Discuss: DEV
šŸŒŠStream Processing
Enhanced Direct Conversion Transmitters via Adaptive Phase Noise Cancellation using Bayesian Optimization
dev.toĀ·5hĀ·
Discuss: DEV
šŸ“”Audio Modulation
Show HN: Web MCP Free Tier ā€“ Internet Access for Agents (5K Req/Mo)
github.comĀ·1dĀ·
Discuss: Hacker News
šŸ“”RSS
AI Models for Depressive Disorder Detection and Diagnosis: A Review
arxiv.orgĀ·2d
šŸ§ Machine Learning
Glyph.Flow Devlog #1 ā€“ Why Iā€™m Building a Workflow App in a TUI?
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”„Language Evolution
HTTPS at 80 Gbps? Yes, in Go (2025)
dev.toĀ·10hĀ·
Discuss: DEV
šŸŒDNS over QUIC