🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

A Guide to My Organizational Workflow
cachestocaches.com·1d·
Discuss: Hacker News
≤Order Theory
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·18h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Removing XSLT for a more secure browser
developer.chrome.com·1d·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
Ever struggled with unexpected req.body values or mismatched types in your Node.js API?
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
AI Agent Orchestration Frameworks
blog.n8n.io·2d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.com·1d
🔠Type-Level Programming
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·3d·
Discuss: Hacker News
🐳Containerization
Flag this post
Similarities Between a Stored Procedure in SQL and a Function in Python
dev.to·2d·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
Modernizing Python Projects: Converting requirements.txt to uv in One Command
dev.to·20h·
Discuss: DEV
📦Opam
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·2d·
Discuss: r/MachineLearning
💾Retro Computing
Flag this post
Plan of Knowledge: Retrieval-Augmented Large Language Models for Temporal Knowledge Graph Question Answering
arxiv.org·5h
📚Automata Learning
Flag this post
Exploratory Analysis of Cyberattack Patterns on E-Commerce Platforms Using Statistical Methods
arxiv.org·1d
🛡️Privacy Engineering
Flag this post
Your AI-Powered Hub for Notes & Tasks: Built for Offline-First Productivity
dev.to·20h·
Discuss: DEV
🌐ActivityPub
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·10h·
Discuss: DEV
🎯Complexity Classes
Flag this post
Minimizing Loss ≠ Maximizing Intelligence
lesswrong.com·6h
📚Automata Learning
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·3d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·3d
λFunctional Programming
Flag this post