🔗 Dependent Types - hello · Scour

I'm Building a Programming Language From Scratch. Here's What That's Actually Like.

dev.to·14h·

Discuss: DEV

🦀Rust Macros

Show HN: AxonML – A PyTorch-equivalent ML framework written in Rust

github.com·8h·

Discuss: Hacker News

Power of C++26 Reflection: Strong (opaque) type definitions

godbolt.org·1d·

Discuss: r/cpp

👻Phantom Types

Constructing (Co)inductive Types via Large Sizes

arxiv.org·5d

🎯Hindley-Milner

An Introduction to Lean 4

uv.es·21h

🏗️Cranelift

sympy/sympy: A computer algebra system written in pure Python

github.com·6h

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)

ndss-symposium.org·7h·

Discuss: Hacker News

Differential Logic • 14

inquiryintoinquiry.com·15h

🧮Algebraic Effects

IIFE for Complex Initialization -- Bartlomiej Filipek

isocpp.org·1d

🔨Incremental Compilation

A Coding Implementation to Build a Hierarchical Planner AI Agent Using Open-Source LLMs with Tool Execution and Structured Multi-Agent Reasoning

marktechpost.com·1d

🎭Program Synthesis

Gödel, slowly …

logicmatters.net·14h

What makes a game tick? Part 9 - Data Driven Multi-Threading Scheduler

mropert.github.io·1d·

Discuss: r/cpp

🧵Lightweight Threads

February Week 4

i-programmer.info·13h

QORA - Native Rust LLM Inference Engine

huggingface.co·14h·

Discuss: DEV

11011110.github.io·14h

📐Computational Geometry

Array-Carrying Symbolic Execution for Function Contract Generation

arxiv.org·2d

🎭Program Synthesis

morling.dev·1d

Claude Skills and Subagents: Escaping the Prompt Engineering Hamster Wheel

towardsdatascience.com·17h

💬Prompt Engineering

Extend a Python-Like Language into Your Own Type-Safe DSL

tapl-lang.org·1d·

Discuss: Hacker News

💎Refinement Types

On language models and intuition

aleksei.dev·13h

🎯Hindley-Milner

Loading more...