Expert LSP: Official Elixir Language Server (via vulcan) — discussion

#editors #elixir

A flat monthly subscription to open-source LLMs (by reissbaker) — discussion

#vibecoding

You no longer need JavaScript: an overview of what makes modern CSS so awesome (by rebane2001) — discussion

#css

Newton Data Storage (via calvin) — discussion

#databases #historical #plt

Finding Bugs in a Coding Agent with Lightweight DST (by owi) — discussion

#testing

Debian 13: My list of exciting new features (via raymii) — discussion

#linux

Simulating wealth distribution in an agent-based system (by blacklight) — discussion

#finance #python #visualization

$20k bounty for reversing Echelon bike redeemed (via downrightnifty) — discussion

#law #reversing #video

Making Minecraft Spherical (via iamwil) — discussion

#games

Writing Mac and iOS Apps Shouldn’t Be So Difficult (via w8l) — discussion

#ios #mac #programming

Block ads and trackers • lichess.org (via arsCynic) — discussion

#privacy #web

Tic-tac-toe meets Lean 4 (by wofo) — discussion

#formalmethods #math #plt

Optimising for maintainability - Gleam in production at Strand (via kamila) — discussion

#gleam

The Koka programming language (via gnyeki) — discussion

#plt

Simple Smalltalk Testing: With Patterns (1994) (via calvin) — discussion

#testing

superfly: A compiler for a functional low-level language, targeting tiny computers (via Screwtape) — discussion

#apl #retrocomputing

I'll only buy devices with GrapheneOS (via mtlynch) — discussion

#android #privacy

Sometimes CPU cores are odd (by cadey) — discussion

#web

Anthropic’s auto-clicking AI Chrome extension raises browser-hijacking concerns (via hoistbypetard) — discussion

#browsers #vibecoding

Rupert’s property: cut a hole in a polyhedron big enough for an identical copy to slide through (via fanf) — discussion

#math