📐 Quotient Types - abnv · Scour

Michael Douglas announces 'raw' memoir for October release

the-independent.com·31m

🌊Streaming Lexers

Starsand Island is the first can't-miss cozy game of 2026 and it's already taken over 20 hours from me

pcgamer.com

·36m

🚪Escape Hatch

20260723: Acrisure Holdings, Inc; Canopius Group Limited

ftc.gov·41m

Court bans oat drink maker from describing its products as ‘milk’

the-independent.com·28m

📋Backus-Naur Form

20260720: GC Ferry Parent, L.P.; Diamond Hill Investment Group, Inc.

ftc.gov·41m

Industry Leader Tom Ferris Promoted at E S Foods; Travis Green Joins Team

prnewswire.com·30m

🤖Embedded Go

Leisure Pools 2026 Design Trends: Record Growth in Geometric Shapes and Modern Colors

prnewswire.com·28m

🏗️Custom Allocators

Andrew Ranken, Legendary Drummer of The Pogues, Dead at 72

consequence.net·33m

🖥️Lisp Machines

Parkinson issues injury update on Wrexham trio

sports.yahoo.com·41m

⚡Effect Handlers

The Adventures of a Pythonista in Schemeland/28

artima.com·3d

🔧Scheme Macros

Deciding the Satisfiability of Combined Qualitative Constraint Networks

arxiv.org·1d

🎯Constraint Solving

laphilosophia/strime: Streaming projection engine — extract fields at multi-gigabit speeds with O(1) memory

github.com·47m·

Discuss: r/node

*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological Invariants in High‑Dimensional Random Simplicial Complexes*

freederia.com·4d

🪢Rope Data Structures

Characterizations of Conditional Mutual Independence: Equivalence and Implication

arxiv.org·1d

🔢Algebraic Datatypes

clanker-lover/spicebridge: MCP server that gives AI assistants direct access to ngspice circuit simulation — design, simulate, and verify circuits through natural language

github.com·28m·

Discuss: Hacker News

📡Protocol Parsers

Differential Logic • 1

inquiryintoinquiry.com·5d

🧩Constraint Logic

The Adventures of a Pythonista in Schemeland/27

artima.com·3d

🔧Scheme Macros

12 men charged with manslaughter after death of Cambridge United football fan Simon Dobbin

independent.co.uk·24m

🔄Tail Call Analysis

Canada in shock after one of the country's worst mass shootings

the-journal.com·23m

🎭Delimited Continuations

European Super League saga ends as Real Madrid and Uefa agree deal

sports.yahoo.com·42m

🎭Racket Modules

Loading more...