📐 Type Theory - eauxpie · Scour

Incremental Lambda Calculus ⚙️LLVM

inc-lc.github.io·4d·Hacker News

Non-monomorphized generics in Rust 🦀Rust

gist.github.com·1d·r/rust

Static analysis, dynamic analysis, and stochastic analysis ⚙️Compiler Design

tildes.net·6h

OpenTME: An Open Dataset of AI-powered H&E Tumor Microenvironment Profiles from TCGA 🔬Tech & Science

arxiv.org·3h

Everything Should Be Typed: Scalar Types Are Not Enough 🦀Rust

sot.dev·2d·Lobsters, Hacker News, r/programming, r/rust

Why Rust Wins in the Age of AI 🦀Rust

hamy.xyz·7h

ArkType: The Parse-Don't-Validate Sequel I Didn't Know I Needed 🦀Rust

cekrem.github.io·6d

Kolmo Construction – Real-time cost estimator for Seattle home remodeling projects. Calculate estimates for 8 project types (interior painting, flooring, deck, ... 🔨Build Systems

glama.ai·11h·r/mcp

Six years of closed proposals on the ternary operator. I went through real Go codebases to measure what the code actually says 📝Parser Combinators

dburov.com·1d·r/golang

What 3,654 Job Postings Tell Us About Talent Needs in AI Safety 💻Creative Coding

lesswrong.com·3h

Data Quality Rules in Ataccama ONE: Types, Dimensions & Best Practices 📦Binary Formats

princetonits.com·20h

CodeSOD: Non-cogito Ergo c_str ⚙C++

thedailywtf.com·2d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🦀Rust

embedded.com·6d

Lean proved this program was correct; then I found a bug 🦀Rust

jmason.ie·17h

Lattice-Based Cryptography and Formal Verification 🗂️Data Structures

mayckongiovani.substack.com·1d·Substack

Pokémon Too Many Types Cheats [Full List] ⬡Hex Maps

retrododo.com·22h

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) ⚙️LLVM

github.com·6d·Hacker News

Production-Grade Rust Design for Money and Trading Types with rust_decimal 🦀Rust

medium.com

·2d

🎲 AI Types Faster Than I Do 🔤Font Engineering

brianpeek.com·7h

1. Machine Learning 💻Creative Coding

medium.com·1d

Loading more...