🔤 Type Systems - beachlorn · Scour

The 6 Big Ideas of Typescript 🔤Type Theory

sitr.us·1d·r/programming

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 🔍Type Inference

arxiv.org·4d

Algebraic Data Types in TS: Indestructible Payment Flows 🔗Unison

campa.dev·3h·DEV

Soppo language: Go, with the features it's missing 🔧Scheme

soppolang.dev·11h·Hacker News

Helper–exploiter polymorphism with ecological inheritance 🔍Type Inference

pnas.org·2d

Quiz: Exploring Protocols in Python 🎾Racket

realpython.com·9h

I Accidentally Reinvented Kernel (Programming Language) 🔧Scheme

fayash.me·5d·Hacker News

FDA/Center for Research on Complex Generics (CRCG) Workshop on Bioequivalence Innovations for Generic Oral Products: Biowaivers, Bridging, and Development for O... 🫙Fermentation

fda.gov·6h

A New Jersey Teen Finds Treasure, and More, in Abandoned Storage Units 🔀Modal Logic

longreads.com·2d

FuriosaAI establishes European flagship office in Portugal 🔊Faust

furiosa.ai·3h

anzellai/sky: Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output. 📚Forth

github.com·4d·Lobsters, Hacker News

Elm Springs wind farm scammer appeals denial of early release from federal pen 📚Forth

arkansasonline.com

·3h

Netflix adds three Jackbox games to its TV app 🎧Listen to Podcasts, Listen to Music, Programming, Cooking

engadget.com·1d

Border library builds new Canadian entrance after restrictions 🔬Closure Analysis

kite.kagi.com·22h

Dynamic Languages Faster and Cheaper in 13-Language Claude Code Benchmark 📚Forth

infoq.com·4d

How Grains and Grasses Fed (and Still Feed) Humankind 🌌Astrophysics

3quarksdaily.com·2d

🛠️ Sky — an Elm-inspired language that compiles to Go 💬Smalltalk

lmika.org·3d

Awards celebrate those strengthening the bond between Yale and New Haven ⚛️Physics

news.yale.edu·1d

NJ teen buys abandoned storage unit for $450, finds $50,000 in art inside 🗄️Databases

boingboing.net·2d

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets ⚡Concurrency

arxiv.org·17h

Loading more...