📐 Dependently Typed - merp · Scour

Syntax and Semantics of Linear Dependent Types 📏Linear Types

Category Theory for Tiny ML in Rust 🦀Rust programming language

hghalebi.github.io·4d·Hacker News

marcelofarias/botscript: BotScript - A TypeScript superset for the LLM era 📐Type Theory

github.com·8h·Hacker News

Predicate pushdown, a planner perspective 📏Linear Types

floedb.ai·4h·Hacker News

Strategies for *requiring* designated initializers when constructing a type? 🔗Dependent Types

godbolt.org·2d·r/cpp

Using Rust typestates for BCF writing 🦀Rust programming language

deterministic.space·16h

Tino Livramento likely out for rest of Newcastle season, in line to be fit for World Cup ✨Gleam

·5h

Brainfuck interpreter in 336 bytes of Rust 🦀Rust language programming

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

From Stringly to Strongly Typed 💎Refinement Types

eignex.com·1d·Hacker News

StructFlow by LDX hub｜機械翻訳・AIの有効活用言語データのデジタル変革を実現【LDX lab】 📐Type Theory

ldxlab.io·12h·DEV

The Amazing Compile-Time Metaprogramming State Machine 📋Dhall

blog.dlang.org·9h·r/programming

One week of view_types 🦀Rust

scrabsha.dev·2d·Lobsters

go-libghostty: Go bindings for libghostty-vt 🐹Golang

tangled.org·4h·Hacker News

A bidirectional typechecking puzzle> 🔍Type Inference

haskellforall.com·3d·Lobsters, Hacker News, Hacker News

What happenend to getting rid of the .{} syntax? ⌨Typing

ziggit.dev·16h

Adapter Pattern in Rust: Overcoming the Orphan Rule with Newtype and Extension Traits 🦀Rust programming language

softwaremill.com·2d

New comment by nkmnz in "RaTeX: KaTeX-compatible LaTeX rendering engine in pure Rust" 🔗HTMX

crates.io·21h·Hacker News

Echoes of the Lisp Listener 🔍Type Inference

funcall.blogspot.com·6d·Blogger

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase 🔗Dependent Types

types.pl·2d·Lobsters

Applying formal grammars in a custom programming language 🌲Tree-sitter

youtu.be·22h·r/programming

Log in to enable infinite scrolling