⬌ Bidirectional Typing - matmat · Scour

gvergnaud/ts-pattern: 🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

github.com·1d·

Discuss: Hacker News

🔤Type Theory

Inspecting and modifying Python types during type checking

lwn.net

·6d

🔍Type Inference

Less-relevant results

Towards Cold-Start Drafting and Continual Refining: A Value-Driven Memory Approach with Application to NPU Kernel Synthesis

arxiv.org·3d

⚡Incremental Computation

Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures

arxiv.org·5d·

Discuss: Hacker News

🔍Type Inference

A Typed Language for Agent Coordination

golem.ph.utexas.edu·4d

🌐Protocol Synthesis

Conan O’Brien Starts Oscars by Roasting Timothée Chalamet’s Ballet and Opera Controversy as Camera Cuts to ‘Marty Supreme’ Star Laughing

variety.com·16m

⭐Awesome lists

PM to pledge energy bill aid for households amid Middle East crisis

the-independent.com·22m

🖥️Self-hosted Infrastructure

Ivan Jablonka, historian: 'The use of last names is a particular trait of antisemitism'

lemonde.fr

·29m

Home Product Center Public Company Limited (HPCRF) Presents at Opportunity Day Quarter 4/ FY 2025 - Slideshow (OTCMKTS:HPCRF) 2026-03-15

seekingalpha.com

·31m

📋PREMIS Events

USA v Dominican Republic: World Baseball Classic semi-final

theguardian.com·39m

🔤Unicode Normalization

Low turnout and far-right gains mark first round of France's local elections

rfi.fr·45m

💻Local first

Confidential Report Calls for Sweeping Changes to Track Covid Vaccine Harms

nytimes.com

·48m

2026's EV Sales Hit 1.1M - But Europe Surges While North America Slides

tech.slashdot.org·44m

🇳🇱Dutch Computing

A leap year inequality

leancrew.com·16m

📐Interval Arithmetic

Bill Gates “Source Code” Book Review

joelx.com·1h

🍎Apple Computing

OpenAI says ChatGPT ads are not rolling out globally for now

bleepingcomputer.com·26m

Mathilda Hands: lost Lenovo X230 Laptop

wiki.hands.com·1h

💿Floppy Forensics

‘#WhileBlack’ Review: Timely Documentary Explores the Collision of Black Trauma and Social Media

hollywoodreporter.com

·1h

🧲Magnetic Philosophy

My programming style guide

olano.dev·9h

📝Concrete Syntax

CFG Tree Enumeration: A Simple Integer-Based Bijection Algorithm

hackernoon.com·1d

🔗Combinatory Logic

Loading more...