🧮 Algebraic Datatypes - matmat · Scour

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

github.com·1d·

Discuss: Hacker News

🔤Type Theory

Less-relevant results

Hedystia - End-to-End Type Safe Framework

docs.hedystia.com·2d·

Discuss: Hacker News

🔬Refinement Types

JEP draft: Enhanced Local Variable Declarations (Preview)

openjdk.org·2d·

Discuss: Hacker News, r/java

🔗Concatenative Programming

Anthropic and OpenAI just exposed SAST's structural blind spot with free tools

venturebeat.com·5d·

Discuss: Hacker News

🧪Binary Fuzzing

CFG Tree Enumeration: Mastering Pairing Functions & Bijections

hackernoon.com·1d

🔗Combinatory Logic

Monus, Factor, and Thinning Union Finds

philipzucker.com·1d

⬆️Lambda Lifting

An alias-based formulation of the borrow checker

smallcultfollowing.com·1d

🦀Rust Borrowing

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

tech.slashdot.org·20m

🇳🇱Dutch Computing

The Best, Worst, and Weirdest Looks at the 2026 Oscars

thecut.com·24m

⭐Awesome lists

Four teens accused of carrying out murder of 16-year-old at a North Carolina house party

the-independent.com·27m

🧬PostgreSQL Forensics

Cameron Young holds off Matt Fitzpatrick on final hole to win Players Championship

theguardian.com·32m

🔲Cellular Automata

Siwa, Egypt’s unknown oasis of salt lakes and wild desert

english.elpais.com·1h

🏺Computational Archaeology

Pesticides from flea treatments and sheep dips found at damaging levels in Welsh rivers

phys.org·44m

🔤EBCDIC Mining

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

hollywoodreporter.com

·1h

🧲Magnetic Philosophy

Oil prices climb as the US and Israel's war on Iran enters its 3rd week

businessinsider.com

·39m

🔍Polish Cryptanalysis

Token optimized query language (Memelang)

memelang.net·54m·

Discuss: Hacker News

📝Concrete Syntax

Extreme Ocean Pressure Is Feeding Deep-Sea Life in a Way Scientists Never Expected

scitechdaily.com·1h

🧊Arctic Storage

UK government to launch £1bn plan to tackle youth unemployment

the-independent.com·44m

🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing

Constructing the new 1130 MRAM board today, part 1

rescue1130.blogspot.com·50m·

Discuss: rescue1130.blogspot.com

🔧RISC-V Assembler

Two die and 11 seriously ill in meningitis outbreak at University of Kent

theguardian.com·1h

🇬🇧British Computing

Loading more...