🔤 Type Theory

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

Consistent MySQL Structure.sql Diffs for Rails
lovro-bikic.github.io·23h·
Discuss: Hacker News
🗄️Database Internals
Michael Levin on Pain as Agent, Healing as Alignment
essays.debugyourpain.com·14h·
Discuss: Hacker News
🧲Magnetic Philosophy
10 Surprising Things You Can Do with Python’s time module
kdnuggets.com·20h
⚙️WASM Runtime
Web Embeddable Common Lisp
ecl.common-lisp.dev·3d·
Discuss: Hacker News
⚙️PL Implementation
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·4d·
Discuss: Lobsters, Hacker News
🎯Performance Proofs
Going to KubeCon + CloudNativeCon 2025 in Hyderabad – any tips to make the most of it?
reddit.com·57m·
Discuss: r/kubernetes
⚙️DIY Electronics
Rao Reading Algorithm
raohacker.com·3d·
Discuss: Hacker News
🎯Content Recommendation
Our approach to building the Agent Interaction SDK
linear.app·17h·
Discuss: Hacker News
🔒WASM Capabilities
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
How to Name Files
github.com·1d·
Discuss: Hacker News
📄file formats
Working on GPT-powered semantic monitoring with YAML templates & CLI tools
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
LivinGrimoire VS Standalone LLM
dev.to·8h·
Discuss: DEV
🔄Archival Workflows
Predicting Champions League Winner Using Python
dev.to·1d·
Discuss: DEV
🧪Data science
Python Lambda Functions: When to Use Them (and When Not To) [2025 Guide]
dev.to·4d·
Discuss: DEV
λLambda Formalization
AQUA: A Large Language Model for Aquaculture & Fisheries
arxiv.org·4d
💻Local LLMs
RubyLLM 1.4.0: Structured Output, Custom Parameters, and Rails Generators
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Verification Cost Asymmetry in Cognitive Warfare: A Complexity-Theoretic Framework
arxiv.org·3d
🎯Performance Proofs
RLVMR: Reinforcement Learning with Verifiable Meta-Reasoning Rewards for Robust Long-Horizon Agents
arxiv.org·2d
🔲Cellular Automata
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·2d
🔗Monadic Parsing
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·1d
🌈Spectral Methods