🔀 Algebraic Subtyping - abnv · Scour

Impredicativity in Linear Dependent Type Theory

arxiv.org·1d

∀Quantified Types

Elliptic Multiple Polylogarithms with Arbitrary Arguments in \textsc{GiNaC}

arxiv.org·16h

🎭Polymorphic Variants

AI Code’s Logic Can Now Be Checked From Within, Bypassing External Tests

quantumzeitgeist.com·7h

🎭Program Synthesis

SAE Feature Matchmaking (Layer-to-Layer)

lesswrong.com·1d

🔢Algebraic Datatypes

Hydroper (now Sweax iZone)'s 2015 JavaScript experience proofs

gist.github.com·1d·

Discuss: r/javascript

🚂Cranelift IR

Mastering Go Testing: From Basics to Subtests in 3 Minutes

dev.to·37m·

Discuss: DEV

🐹Go Internals

Quick Stack Tiedown

artlu.bearblog.dev·2h

🚂Cranelift IR

maja0027/xi-lang: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical completeness.

github.com·1d·

Discuss: Hacker News

🪢Rope Data Structures

RFC 4262: X.509 Certificate Extension for Secure/Multipurpose Internet Mail Extensions (S/MIME) Capabilities

rfc-editor.org·2h

📡Network Serialization

SMTLIB as a Compiler IR I

philipzucker.com·2d·

Discuss: Hacker News

📚Forth Compilers

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·1d·

Discuss: Blogger

📊Query Optimizers

Avoiding UB but "safe" data race in a lock-free slab allocator - help - The Rust Programming Language Forum

users.rust-lang.org·2h

🔒Rust Borrowing

Value Receivers vs Pointer Receivers in Go (A Practical Explanation)

dev.to·1d·

Discuss: DEV

🔗Go Generics

Revisiting Regular Types

abseil.io·3d

🚀Hindley-Milner+

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·47m·

Discuss: Hacker News

Show HN: Self-healing data pipeline for F1 telemetry (Python and Type Inference)

news.ycombinator.com·2d·

Discuss: Hacker News

🚂Error Propagation

Large Language Models for Mortals book

andrewpwheeler.com·11h

Wrapping trait implems in an enum kept appearing in code base so I blogged about it. Are there other such useful patterns that are not much advertised?

asfaload.com·2d·

Discuss: r/rust

Fast Museum Searches: Go Concurrency and Caching

pkg.go.dev·5h·

Discuss: DEV

🗑️Stack Scanning GC

2025 Q4 and 2026 Q1 Newsletter

odin-lang.org·21h

🔄Forth Metacompiler

Loading more...