Nanolang: A tiny experimental language designed to be targeted by coding LLMs

kept by eddie jan 21

Nanolang is a minimal experimental language with prefix notation and compile-time tests, designed to reduce coding errors made by LLMs.

FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me
A developer ports the Linux brcmfmac Wi-Fi driver to FreeBSD using an AI coding agent, producing a buggy kernel module with known issues that is not recommended for production use.
also on FreeBSD, #open-source, #ai-coding
What are you doing this weekend?
A developer recounts returning to FreeBSD for a home NAS after years on Linux, praising its simplicity for servers but sticking with Arch for desktops.
also on FreeBSD, #open-source, #developer-tools
Introducing the Safari MCP server for web developers
Apple released a Model Context Protocol server for Safari that lets AI agents inspect DOM, network requests, screenshots, and console output to debug websites autonomously.
also on #testing, Apple, #ai-coding, #developer-tools
Test, don't (just) verify
AI-assisted formal verification shows promise but faces limitations — autoformalization trust, proof assistant speed, and model complexity — making random testing a necessary complement.
also on #testing, #open-source, #developer-tools