🔗 Dependent Types - hello · Scour

A perfectable programming language 🔨Compiler Design

news.ycombinator.com·1d·Hacker News

The Lean Programming Language and Theorem Prover 🧮SMT Solvers

leodemoura.github.io·3d·Hacker News

Revisiting Idris in 2026: Is It Ready for Real Work? 🪟Smithay

dev.to·18h·DEV

A Perfectable Programming Language 🔨Compiler Design

alok.github.io·1d·Hacker News

From heat capacity to coherence in ultranarrow-linewidth solid-state optical emitters at subkelvin temperatures ⚛️Quantum Computing

link.aps.org·22h

Soppo: Golang, with the features it's missing 🐹golang

soppolang.dev·3d·Hacker News

Explaining Benin’s presidential election 🌍Geopolitics

aljazeera.com·2d

IQM Opens First U.S. Quantum Technology Center in Maryland ⚛️Quantum Computing

thequantuminsider.com·4d

‘Extraction 3’ Set at Netflix With Chris Hemsworth and Idris Elba Returning 🎬WebCodecs

variety.com·6d

Intent-aligned Formal Specification Synthesis via Traceable Refinement 🎭Program Synthesis

arxiv.org·14h

New Fantasy Movie Featuring Star-Stuffed Cast Of Cynthia Erivo, Idris Elba & More Gets First Logo 🌐Iroh

screenrant.com·4d

A typed functional language that compiles to JavaScript ⚙️SWC

peat-lang.fly.dev·6h·Hacker News

APL: Evaluator for a Subset of Scheme 📐Type Theory

dfns.dyalog.com·2d·Hacker News

Object Oriented Programming in Ada 📏Linear Types

entropicthoughts.com·20h·Lobsters, Hacker News

Calculus of constructions 🔍Type Inference

en.wikipedia.org·2d

Japanese Article: https://zenn.dev/saqula/articles/2361ce8de47570, for explaining https://github.com/aluqas/typelude project. 📦Serde

gist.github.com·1d·Hacker News

Prisma vs Drizzle ORM 2026: Which TypeScript ORM Should You Use? 🦕Deno

dev.to·4d·DEV

A Simple Switch Makes Code Differentiable λFunctional Programming

blog.sigfpe.com·1d·Blogger

Circuit Transformations, Loop Fusion, and Inductive Proof 🎴SIMD Shuffles

natetyoung.github.io·1d·Hacker News

Chris Hemsworth, Idris Elba Set to Return for ‘Extraction 3’ at Netflix 🎬WebCodecs

hollywoodreporter.com

·6d

Loading more...