👑 Nim - merp · Scour

Maelwalser/speed-motion.nvim 📋Dhall

dotfyle.com·6d

Optimizing Memory Access in NIR 📏Linear Types

collabora.com·23h·Hacker News

Afternoon Fiddling ✨Gleam

ronjeffries.com·2d

Mech engineer built a kids party planning site during maternity leave — would love honest feedback ✨Gleam

tinyinvites.org·5h·r/SideProject

Summer of Math Expositions(2021-2025) 🔍Type Inference

some.3b1b.co·11h·Hacker News

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers 🔍Type Inference

MX Script: a scripting language for one file web APIs ⚡Rescript

mxscript.com·5d·Hacker News

Contact ⚡Rescript

rahusmessenger.bearblog.dev·10h

DeepSeek's Deleted Paper: Thinking With Visual Primitives 📏Linear Types

mail.bycloud.ai·2d

revk.uk·2d·revk.uk

Stressing LLMs 📋Dhall

malware.news·5d

Floats Don't Agree with Themselves 📏Linear Types

docs.merca.earth·2d·Hacker News

AI Memory System 📏Linear Types

mempalaceofficial.com·6d

Compaction in `Sid`: A Novel Algorithm? 📏Linear Types

rescrv.net·1d·Hacker News

Phrony 🧮Algebraic Effects

producthunt.com

·1d

Help with nandgame: stack machine function calls 🧮Functional Programming

programming.dev·6d

I used a local LLM to turn my NAS from a storage dump into something actually organized 💾Retro Computing

xda-developers.com·2d

Making Julia as Fast as C++ 🔗Dependent Types

flow.byu.edu·1d·Hacker News

ibacm_prov (7) Linux Manual Page 📋Dhall

systutorials.com·6d

backroomsubs.com·4d

Log in to enable infinite scrolling