🔀 Algebraic Subtyping - abnv · Scour

Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho

v5.chriskrycho.com·5h

Algebraic Topology 1: Homotopy Equivalence

youtube.com·12h

🔗Category Theory

JavaScript vs Go: A Deep Dive into Syntax and Philosophy

dev.to·9h·

Discuss: DEV

Exposing API: Interface vs Struct

reddit.com·18h·

Discuss: r/golang

A Validated Semantics for LLVM IR

sf.snu.ac.kr·16h

jart/jtckdint: C23 Checked Arithmetic

github.com·1d

🧸Toy Compilers

TOON for LLMs: A Comparative Performance Analysis against JSON

gist.github.com·12h·

Discuss: DEV

📋JSON Parsing

Introducing Pkl, a programming language for configuration

pkl-lang.org·9h

⚙️Configuration Parsing

genodians.org·1d

🌱Forth Kernels

Treating Functions as Vectors in Hilbert Space

hackaday.com·2d

λLambda Calculus

Rust Traits Design Trade-offs

paulefou.com·1d

🪆Embedded DSLs

C Right-Left Rule (Rick Ord's CSE 30

cseweb.ucsd.edu·1d

🪄C Metaprogramming

<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...

freederia.com·18h

🤖Abstract Machines

GHC 9.12.3 is now available

haskell.org·1d

📏Linear Haskell

LangChain & LangGraph: Beginner’s Guide to AI Workflows

javacodegeeks.com·1d

🌊Dataflow Languages

TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation

trunajod20.readthedocs.io·13h

🔤Language Tokenizers

Self-Supervised Temporal Pattern Mining for circular manufacturing supply chains with embodied agent feedback loops

dev.to·6h·

Discuss: DEV

🌊Dataflow Languages

3tilley.github.io·1d

🔗Concurrency Primitives

Refined Types in Rust: Parse, Don't Validate

dev.to·3h·

Discuss: DEV

What F# Knows About Functors and What Comes Next

dev.to·1d·

Discuss: DEV

🎯Type Theory

Loading more...