➕ Sum Types - emschwartz · Scour

Algebraic Data Types in TS: Indestructible Payment Flows 📏Linear Types

campa.dev·4d·DEV

Ontological Trajectory Forecasting via Finite Semigroup Iteration and Lie Algebra Approximation in Geopolitical Knowledge Graphs 📇Vector Indexing

arxiv.org·18h

A lot of it is faulty pattern matching 🌸Bloom Filters

biggergig.com·15h

Soppo language: Go, with the features it's missing 💻Programming languages

soppolang.dev·4d·Hacker News

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects ⚙️Language Runtimes

javacodegeeks.com·6d

Claude Code is not AGI, but it is the single biggest advance in AI since the LLM. 🆕New AI

twitter.macworks.dev·3d

MATCHA: Efficient Deployment of Deep Neural Networks on Multi-Accelerator Heterogeneous Edge SoCs 🏗️LLM Infrastructure

arxiv.org·1d

RT by @GaryMarcus: Yep ... @GaryMarcus has been right for 25 years; some AI Godfathers, not so much at all! 💻Coding Agents

twitter.macworks.dev·3d

Soppo: Golang, with the features it's missing 🌐Axum

soppolang.dev·3d·Hacker News