💻 Programming - the_floundering_lotus · Scour

Free Claude Code course! 💻Computer Science

frontendmasters.com·1d

Github's Top Programming Languages Over Time 🔓Open Source

innovationgraph.github.com·14h·Hacker News

Introduction λType Theory

programmingdesignsystems.com·1d

I set up Claude Code the way Anthropic showed at Code w/ Claude, and it'll change your workflow 🌿Digital Minimalism

xda-developers.com·23h

Slow Code, a monthly meetup to practice coding by hand ✒️Calligraphy

inventbuild.studio·3d·Hacker News

I Refactored 100 Functions With Claude. CI Was Green. Production Got Slower in 7 Spots. λType Theory

kenimoto.dev·1d·DEV

Front-end, regrounded: Why Wraplet might be what you’re missing λType Theory

wraplet.dev·2d·Hacker News

Clojure Deref (May 26, 2026) λType Theory

clojure.org·3d

Wikipedia:Vital articles/Level 5/Technology 🗣️Linguistics

en.wikipedia.org·3h

a programming language for AI agents ✅Formal Verification

safescript.cc·1d·Hacker News

Constraint Decay: The Fragility of LLM Agents in Back End Code Generation ✅Formal Verification

news.ycombinator.com·3d·Hacker News

Building a Custom MCP Server with Node.js 🖥️Homelab

deanhume.com·2d

ahinchman1/Kotlin-Compiler-Crash-Course: A repository of helpful sources to figure out what the Kotlin compiler really is ⚙️Compilers

Inferring Code Correctness from Specification ✅Formal Verification

From Spec-Driven Development to Compilable Specs ✅Formal Verification

pipelex.com·1d·Hacker News

May Week 3 💻Computer Science

i-programmer.info·6d

tRPC: Full-Stack Type Safety – No More Writing API Docs by Hand 话题 λType Theory

auraimagai.com·2d·DEV

We Have 2500+ AI Coding Courses: Top 8 Picks for 2026 🧩Constraint Solving

classcentral.com·2d

C as an Intermediate Language (2012) ⚙️Compilers

yosefk.com·6d·Hacker News

A New Design for Pretty Printer Implementations in Rust λType Theory

blog.wybxc.cc·1d·r/rust

Log in to enable infinite scrolling