Note-Taking and Personal Knowledge Management

Bridge heading into the smokey landscape. License: CC-0 I read Brennan Kenneth Brown’s What have note-taking PKMs accomplished, really? , and found myself writing a lengthy response. But, after I wrote my response I reread Brennan’s article and found myself in a bit of a quandary. I found myself asking a simple question: was it … Devamını oku

SwiftUI After 7 Years: A Story of Mediocrity

Seven years after its blockbuster 2019 announcement, SwiftUI was supposed to be the mature, production-grade future of cross-platform UI development on all Apple platforms. Instead, SwiftUI feels like a perpetual beta, even in 2026. In this deep dive, I break down why the initial excitement has given way to deep professional frustration for senior engineers. … Devamını oku

Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark

main Branches Tags Go to file Code Open more actions menu Folders and files Name Name Last commit message Last commit date Latest commit History 155 Commits 155 Commits .github .github checks checks containers containers kernel-configs kernel-configs modules modules nixos-anywhere nixos-anywhere overlays overlays packages packages patches patches playbooks playbooks scripts scripts templates/ dgx-spark templates/ dgx-spark … Devamını oku

Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM

main Branches Tags Go to file Code Open more actions menu Folders and files Name Name Last commit message Last commit date Latest commit History 68 Commits 68 Commits .cargo .cargo crates crates docs docs scripts scripts tests tests .dockerignore .dockerignore .gitignore .gitignore CONTRIBUTING.md CONTRIBUTING.md Cargo.lock Cargo.lock Cargo.toml Cargo.toml Dockerfile Dockerfile Dockerfile.dev Dockerfile.dev LICENSE.txt LICENSE.txt … Devamını oku

Karpathy’s Pelican

We’re starting to leave the territory where you’d test an LLM by e.g. “create an svg of pelican on a bicycle”. As one idea to generalize it, I was interested what Opus 5 would do if I gave it the first paragraph of the Lord of the Rings, a 1M token budget (~$10) and asked … Devamını oku

How the words we teach English language learners changed

Methods & Notes I compared two prominent vocabulary lists for English learners: the General Service List (GSL, 1953; 2,284 words) and the New General Service List (NGSL 1.2, 2023; 2,809 words). I labeled words appearing on both lists as “remained” (1,656), words only on the 1953 list as “removed” (628), and words only on the … Devamını oku

Ursula K. Le Guin: A Rant About “Technology” (2005)

A Rant About “Technology” In an interesting and favorable notice of Changing Planes (which you can find elsewhere on the site, in Spanish and English), the Argentinean reviewer asserts that since Le Guin isn’t a hard science fiction writer, “technology is carefully avoided.” I stuck a footnote onto this in my translation of the article … Devamını oku

F*: A general-purpose proof-oriented programming language

Research F* is an active topic of research, both in the programming languages and formal methods community, as well as from an application perspective in the security and systems communities. We list a few of them below, with full citations to these papers available in this bibliography . If you would like your paper included … Devamını oku