📏 Linear Types - hello · Scour

A Unique Performance Optimization for a 3D Geometry Language

cprimozic.net·14h·

Discuss: Lobsters, Hacker News

💠Polyhedral Compilation

Limited Math: Aligning Mathematical Semantics with Finite Computation

arxiv.org·2d

🔍Type Inference

Rye: a Hassle-Free Python Experience (Rye 0.21 Demonstation)

youtube.com·14h

Investigating Record-Based Domain Models

coding-mischief.com·5h·

Discuss: Hacker News

🔁eBPF Tail Calls

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·2d

📐Type Theory

Packing non-pointer optionals

ziggit.dev·3d

🏷️Pointer Tagging

Exploring the Type System

gibbok.github.io·7h

📐Type Theory

Functional Optics for Modern Java

blog.scottlogic.com·2d

📄FlatBuffers

[Book] Async as coroutines for game logic

psichix.github.io·14h·

Discuss: r/rust

Use multiple models

interconnects.ai·2h

Lost in Bugspace

contraptions.venkateshrao.com·20h

HLX: A new deterministic programming language built on four immutable principles. Graphics-ready

codeberg.org·2d·

Discuss: r/ClaudeAI

🏗️Cranelift

std::move doesn't move anything: A deep dive into Value Categories

0xghost.dev·2h·

Discuss: Lobsters

➡️Move Semantics

Out-of-Context: Constrained Tool Based Exploration of Context

gojiberries.io·17h·

Discuss: Hacker News

🌳Tree-sitter

Linear algebra over field extensions

guille.site·1d

📐Linear Algebra

The Rustonomicon – The Dark Arts of Advanced and Unsafe Rust Programming

doc.rust-lang.org·20h·

Discuss: Hacker News

Full Disclosure: RIOT OS 2026.01-devel-317 Stack-Based Buffer Overflow in tapslip6 Utility via Unbounded Device Path Construction

seclists.org·12h

📚Stack Unwinding

**8 Python Concurrency Techniques That Transform Slow Code Into High-Performance Applications**

dev.to·20h·

Discuss: DEV

🔄Concurrency

Python can encode meaning directly not represent it, embody it

news.ycombinator.com·3h·

Discuss: Hacker News

💫Effect Systems

DIGITS: A Resolution Mechanic

dndiy.xyz·1h

#️⃣Hash Tables

Loading more...