🔢 Algebraic Data Types - tiferrei · Scour

Algebraic Data Types in TS: Indestructible Payment Flows 🎯GADT

campa.dev·4d·DEV

Ontological Trajectory Forecasting via Finite Semigroup Iteration and Lie Algebra Approximation in Geopolitical Knowledge Graphs 🕸️Graph Theory

arxiv.org·18h

A lot of it is faulty pattern matching 🔀Brzozowski Derivatives

biggergig.com·15h

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects 💎Refinement Types

javacodegeeks.com·6d

Soppo: Golang, with the features it's missing 📦Module Systems

soppolang.dev·3d·Hacker News

Claude Code is not AGI, but it is the single biggest advance in AI since the LLM. 🧠Apple Neural Engine

twitter.macworks.dev·3d

MATCHA: Efficient Deployment of Deep Neural Networks on Multi-Accelerator Heterogeneous Edge SoCs 🧠Apple Neural Engine

arxiv.org·1d

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

twitter.macworks.dev·3d

Soppo language: Go, with the features it's missing 🐫Embedded OCaml

soppolang.dev·4d·Hacker News