🔤 Type Systems - chrisdohrm · Scour

Document type inference 📝Python Type Hints

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types λFunctional Programming

Veryl 0.20.0: logic synthesis and type inference are supported 🎯Emacs Lisp

veryl-lang.org·2h·Hacker News

Haskell: Debugging 📝Python Type Hints

wiki.haskell.org·9h·Hacker News

Why I still reach for Lisp and Scheme instead of Haskell λFunctional Programming

news.ycombinator.com·1d·Hacker News

I built a free TypeScript quiz website with 125 questions and levels 📝Python Type Hints

ts-quiz.com·17h·DEV

The Complicated Nature of Programming Languages ⚙️Compiler Design

functiondispatch.substack.com·6d·r/programming

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 📝Python Type Hints

pocketcasts.com·2d·Hacker News

Telomere-to-telomere genome assembly of the wood tiger moth Arctia plantaginis 🧬Biotechnology

nature.com·16h

Getting Started With Provide/Inject In Vue.js 🔧Software Engineering

certificates.dev·17h

Why I Still Reach for Lisp and Scheme Instead of Haskell ⚙️Compiler Design

jointhefreeworld.org·2d·Lobsters, Hacker News, r/functionalprogramming, r/programming

I've just added generics to my programming language! λFunctional Programming

reddit.com·6d·r/Compilers

Coloring Code: How Compilers Use Graph Theory ⚙️Systems Programming

youtube.com·1d·Lobsters, Hacker News

Justices poised to protect generics manufacturers from liability for decisions of pharmacists about prescribing their products 🎯Defense Industry

scotusblog.com·7h

"Parse, don't Validate" through the years with C++ 🔓Binary Exploitation

derekrodriguez.dev·4d·Hacker News, r/programming

Glaze 7.2 - C++26 Reflection | YAML, CBOR, MessagePack, TOML and more ⚙️Compiler Design

IDA Plugin Updates on 2026-04-29 🔍Reverse Engineering

williballenthin.com·2d

Tries for Polynomials λFunctional Programming

doisinkidney.com·3d·Lobsters

[Testing Update] 2026-04-28 - Kernels, Thunderbird, QEMU, Octopi, Deepin, Haskell 📺Tmux

forum.manjaro.org·2d

MRLoopings01/oop-python-rpg-system: A Python Object-Oriented Programming project that simulates a simple RPG system with players, items, inheritance, polymorphism, abstract classes, and properties. 🔌MicroPython

github.com·6h·r/learnpython

Log in to enable infinite scrolling