🔍 Type Inference - hello · Scour

Typechecking mCRL2

emi-h.com·1d·

Discuss: Lobsters

🦀Rustc Internals

Maximally minimal view types, a follow-up

smallcultfollowing.com·2h

👻Phantom Types

Equality in Dependent Type Theories

nadrieril.github.io·2d

🎯Hindley-Milner

Proof Theory and Logic Programming

lix.polytechnique.fr·13h·

Discuss: Hacker News

Semantic Kernel for Enterprise AI: Architecting Production-Grade LLM Integration in .NET

dev.to·1d·

Discuss: DEV

⏱️Temporal Workflow

Python Polymorphism: One Interface, Many Behaviors

boot.dev·2d

📐Type Theory

Two Studies in Compiler Optimisations

hmpcabral.com·3h·

Discuss: Hacker News

🔧LLVM IR Optimization

Brute-Forcing My Algorithmic Ignorance with an LLM in 7 Days

blog.dominikrudnik.pl·7h·

Discuss: Hacker News

Beyond Basic Types: Mastering TypeScript's Advanced Type System for Robust Applications

typescriptlang.org·17h·

Discuss: DEV

Group and semigroup puzzles and a possible Polymath project

gowers.wordpress.com·1d

🔢Homomorphic Encryption

kcsujeet/testoise: Lightweight and fully type-safe lazy test variables for Bun, Vitest, and Jest. Inspired by RSpec.

github.com·1d·

Discuss: r/javascript

i-programmer.info·23h

CDS expressions in CAP

qmacro.org·5h

✅SQLx Compile-Time Verification

A Coding Implementation to Build an Uncertainty-Aware LLM System with Confidence Estimation, Self-Evaluation, and Automatic Web Research

marktechpost.com·21h

Unix system programming in OCaml

ocaml.github.io·1d

🔗Dependent Types

An automata-based test for bricks over string algebras

arxiv.org·2d

🧮SMT Solvers

Missing the point ↦

sixcolors.com·3h

🏷️Pointer Tagging

A Brief Introduction to q and KDB-X

code.kx.com·9h·

Discuss: Hacker News

#️⃣Hash Tables

Finit - Set theory applied to data structures

github.com·1d·

Discuss: r/rust

🌳Fenwick Trees

Starting Today: Kazhdan Sunday seminar: “Boolean Functions, Hypercontractivity, and Applications”

gilkalai.wordpress.com·12h

∘Category Theory

Loading more...