How the words we teach English language learners changed

Twenty Years of RISC OS Open

<a href="https:&#x2F;&#x2F;xcancel.com&#x2F;karpathy&#x2F;status&#x2F;2083749667410727319" rel="nofollow">https:&#x2F;&#x2F;xcancel.com&#x2F;karpathy&#x2F;status&#x2F;2083749667410727319</a>

Karpathy’s Pelican

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

Meshdiff – visually compare two STL versions in the browser, client-side

Folding Paper Globes

Fasttracker II clone in C using SDL 2

Hi HN! I&#x27;ve been working on Bor, an open-source system for centralized Linux desktop management.<p>Bor consists of a lightweight Go agent and a central server. Policies are streamed to clients over mTLS&#x2F;gRPC in real time—no polling—and currently support Firefox, Chrome, KDE, dconf, polkit and package management, with more coming.<p>Version 0.8 introduces several new policy types - Thunderbird, Microsoft Edge for Business and FirewallD zones, along with a number of improvements and fixes.<p>I&#x27;d love feedback on the architecture, policy model, and whether this is something you&#x27;d consider for managing Linux workstations.

Show HN: Bor – Open-source policy management for Linux desktops

When transit passes were designed by hand

Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge

Blog List