#programming

@lobsters What are your favorite Emacs packages? #Emacs #OpenSource #Programming

@lobsters Forge #Programming #OpenSource #DevTools

@hackernews Parallel Agents in Zed #HackerNews #Tech #Programming

@lobsters The secret history of Recursion Schemes #Programming #FunctionalProgramming #ComputerScience

@lobsters LemmaScript: A Verification Toolchain for TypeScript via Dafny #TypeScript #Programming #FormalMethods

@lobsters An Algorithmic Reconstruction of Normalisation by Evaluation #Programming #ComputerScience #Algorithms

@lobsters It's All Just Trees With Web Origami #WebDev #Programming #Tech

@lobsters The Edge of Safe Rust #Rust #Programming #OpenSource

@lobsters Markdown (Aaron Swartz: The Weblog) #Programming #Weblog #Markdown

@lobsters GitHub Actions for a Gleam monorepo #Programming #OpenSource #DevOps

@lobsters What Async Promised and What it Delivered — #Programming #Async #SoftwareDevelopment

@hackernews XOR'ing a register with itself is the idiom for zeroing it out. Why not sub? #HackerNews #Tech #Programming

@hackernews What Async Promised and What It Delivered #HackerNews #Tech #Programming

@hackernews How to Implement an FPS Counter #HackerNews #Tech #Programming

@hackernews I don't want your PRs anymore #HackerNews #Tech #Programming

@lobsters Announcing TypeScript 7.0 Beta #TypeScript #Programming #OpenSource

@lobsters Switching from uv to PDM #Python #Programming #OpenSource

@lobsters Highlights from Git 2.54 #Git #OpenSource #Programming

@hackernews Kasane: New drop-in Kakoune front end with GPU rendering and WASM Plugins #HackerNews #Tech #Programming

@lobsters Performance of the Wren programming language #Programming #Wren #Performance

@lobsters Emacs is my browser #Emacs #OpenSource #Programming

@lobsters Narwhal v0.6.0 – message broker for edge apps, now with channel persistence #Programming #Rust #OpenSource

@lobsters What is your go-to project for learning a new language? #Programming #Learning #DevLife

@lobsters How To Make a Fast Dynamic Language Interpreter #Programming #Interpreter #Optimization

@lobsters 256 Lines or Less: Test Case Minimization #Testing #SoftwareDevelopment #Programming

@lobsters good-egg: Trust scoring for GitHub PR authors based on contribution history #Programming #OpenSource #GitHub

@hackernews How to Make a Fast Dynamic Language Interpreter #HackerNews #Tech #Programming

@lobsters Jujutsu megamerges for fun and profit #Programming #SoftwareEngineering #OpenSource

@hackernews Jujutsu Megamerges for Fun and Profit #HackerNews #Tech #Programming

@lobsters Journey in optimising Elixir application #Elixir #Programming #Optimization

@hackernews Show HN: Ctx – a /resume that works across Claude Code and Codex #HackerNews #Tech #Programming

@lobsters Effectful Recursion Schemes #Programming #Recursion #FunctionalProgramming

@lobsters Transpiling from Python into Lisp #Python #Lisp #Programming

@hackernews Effectful Recursion Schemes #HackerNews #Tech #Programming

@hackernews My practitioner view of program analysis #HackerNews #Tech #Programming

@hackernews Rip language. Compiles to ES2022. Built-in reactivity #HackerNews #Tech #Programming

@lobsters Creusot 0.11.0: VerifyThis winner #Rust #Programming #OpenSource

@lobsters Modern Frontend Complexity: essential or accidental? #Frontend #WebDev #Programming

@lobsters What are you doing this week? #Programming #Community #AskLobsters

@lobsters The Missing Bundler Features #Ruby #Programming #OpenSource