👑 Dependent Haskell - abnv · Scour

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·1d·

Discuss: r/rust

🦀MIR Optimization

Lost Proofs, Found Proofs: How AI Unearthed Forgotten Solutions

hackernoon.com·1h

🧩Constraint Solvers

MPSpeed: Implementing and Optimizing MPC-in-the-Head Digital Signatures in Hardware

eprint.iacr.org·2d

⏲️Embedded GC

Rust Memory Management: The Playroom Analogy

adacore.com·1d·

Discuss: Hacker News

🔒Rust Borrowing

A Note on Flat Abstract Syntax Trees

gist.github.com·2d·

Discuss: Hacker News

🌳Tree Walking

Fast Museum Searches: Go Concurrency and Caching

pkg.go.dev·10h·

Discuss: DEV

🗑️Stack Scanning GC

minikanren.org·3d·

Discuss: Lobsters

🧪Minicompilers

Generative Type experiments

brendandawes.com·2d

🤖Code Generation

Semantic alignment of the German Human Genome-Phenome Archive metadata model in Europe’s genomics field

nature.com·14h

✨Effect Inference

Deep C Dives: Undefined Behavior

i-programmer.info·14h

📚Stack Allocation

an early-stage experimental programming language

solnix-lang.org·3d·

Discuss: DEV, Hacker News

🌱Minimal Languages

Eve-positional languages: putting order into B\"uchi automata

arxiv.org·22h

🎯Finite Automata

Quick Comparison of JVM Languages

jvmhost.com·1d·

Discuss: Hacker News

📦Portable Bytecode

No, dynamic type systems are not inherently more open

lexi-lambda.github.io·1d·

Discuss: Hacker News

🌈Gradual Languages

2025 Q4 and 2026 Q1 Newsletter

odin-lang.org·1d

🔄Forth Metacompiler

Package-Inferred Systems are Dangerous

aartaka.me·1d

⚙️TOML Parsers

NickJAllen/java-helpers.nvim: Useful helpers for creating new Java classes, interfaces, enums with correct package declaration

github.com·7h·

Discuss: r/neovim

✨Code Formatters

Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage

latentk.org·13h·

Discuss: Hacker News

🗺️Region Inference

Langfuse - Open Source LLM Engineering Platform

langfuse.com·1d

🎮Language Ergonomics

What Functional Programmers Get Wrong About Systems

iankduncan.com·2d

🚂Error Propagation

Loading more...