Gradual negation types and the Python type system
jellezijlstra.github.io·8h·
Discuss: Hacker News
🔬Refinement Types
Issue 481
haskellweekly.news·3h
🔗Functional Compilers
Python Fundamentals: case
dev.to·2h·
Discuss: DEV
✅Format Verification
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🔤Type Theory
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·14h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·30m
🔌Interface Evolution
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·7h
📜Proof Carrying Code
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·3h·
Discuss: Hacker News
✨Effect Handlers
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·11h
🧮Kolmogorov Complexity
What people said about an OpenZFS bug
despairlabs.com·23h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·19h·
Discuss: Hacker News
✨Algebraic Effects
How to actually use Model Context Protocol
seangoedecke.com·15h
⚡Proof Automation
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·1h·
Discuss: Hacker News
🤝Distributed Consensus
Almost Always Auto (2013)
herbsutter.com·5h·
Discuss: Hacker News
🔒Type Safety
Zig Interface Revisited
williamw520.github.io·22h·
Discuss: Hacker News
🧩WASM Components
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News
🔧Binary Parsers