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

Twenty Years of RISC OS Open

On 20 June 2006 we incorporated RISC OS Open Ltd with one slightly mad ambition: to take a proprietary operating system and open it up to anyone who fancied helping. Twenty years on, that has largely happened, and the RISC OS of today is in far better health than the one we inherited. To mark … Devamını oku

Google DeepMind says Gemini Robotics 2 enables full body control

Google DeepMind says Gemini Robotics 2 enables full body control By The Robot Report Staff | August 2, 2026 DeepMind says Gemini Robotics 2 can control the five-fingered, 22 degree-of-freedom SharpaWave hand on Apptronik’s Apollo 2 humanoid. | Source: Google DeepMind Google DeepMind last week unveiled Gemini Robotics 2, the latest version of its vision-language-action, … Devamını oku

Wikimedia Foundation refuses union recognition, hires union-busting law firm

Wikipedia : Wikipedia Signpost/2026-08-02/News and notes Add languages Add links Project page Talk English Read Edit View history Tools Tools move to sidebar hide Actions Read Edit View history General What links here Related changes Upload file Permanent link Page information Get shortened URL Print/export Download as PDF Printable version In other projects Appearance move … Devamını oku