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

Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions (by Verdagon) — discussion

#compilers #plt #programming

Guessing game: Haskell style (by kqr) — discussion

#haskell

GMP damages AMD Zen 5 CPUs (via sjamaan) — discussion

#hardware

A notional design studio (via darth-cheney) — discussion

#design

What the interns have wrought, 2025 edition (via azhenley) — discussion

#ml

Are people’s bosses really making them use AI tools? (via outervale) — discussion

#ai

The desktop metaphor must be restored. It’s under attack! (2020) (via manuel) — discussion

#osdev

Printing labels via SSH with Raspberry Pi Zero and Nix (by nmattia) — discussion

#debugging #hardware #nix #reversing

The Basics of Anchor Positioning (via outervale) — discussion

#css