Grok 4.3

docs.x.ai
grok-4.3

Docs REST API gRPC Pricing Search ⌘K Toggle theme Developers span:last-child]:truncate [&_[data-slot=icon]]:size-4 [&_[data-slot=icon]]:shrink-0 [&_svg]:size-4 [&_svg]:shrink-0 hover:text-primary active:text-primary data-active:bg-surface-base dark:data-active:bg-surface-l3 data-active:text-primary data-active:font-medium group-has-data-[sidebar=menu-action]/menu-item:pr-8 group-has-data-[sidebar=menu-badge]/menu-item:pr-8 relative px-2 py-1.5 hover:bg-primary/5 dark:hover:bg-primary/5 active:bg-primary/5 dark:active:bg-primary/5 before:mr-0.75 before:ml-px before:size-1.5 data-[slot=collapsible-trigger]:before:hidden data-active:before:bg-primary data-active:before:block before:hidden” href=”https://docs.x.ai/developers/introduction”>Introduction span:last-child]:truncate [&_[data-slot=icon]]:size-4 … Read more

Copy Fail – CVE-2026-31431

copy.fail
copy-fail-–-cve-2026-31431

Who is affected If your kernel was built between 2017 and the patch — which covers essentially every mainstream Linux distribution — you’re in scope. Copy Fail requires only an unprivileged local user account — no network access, no kernel … Read more

Laws of UX

lawsofux.com
laws-of-ux

Home | Laws of UX down arrowdrop down arrowdrop up arrowleft arrowright arrowup arrowclosedownloadexternal linkfacebookFiltergridlanguageLinkedInlogonotificationPinterestsharetwitter Skip to main content Laws of UX is a collection of best practices that designers can consider when building user interfaces. The updated Laws of … Read more

Zed is 1.0

zed.dev
zed-is-1.0

April 29th, 2026 To create a fundamentally better editor, we had to invent a new approach to building desktop software. Our previous editor, Atom, was built as a fork of Chromium, spawning the Electron framework in the process. Electron eventually … Read more

Auto Polo

en.wikipedia.org
auto-polo

Auto polo match in the 1910s at Hilltop Park in New York. Malletmen were often thrown from the cars during matches. Automobile polo or auto polo was a motorsport invented in the United States that featured rules and equipment similar … Read more

“Why not just use Lean?”

lawrencecpaulson.github.io

23 Apr 2026 [ AUTOMATH  LCF  HOL system  HOL Light  Lean  formalised mathematics  ] I have been told that when proposing to formalise mathematics these days, you have to explain why you are not using Lean. And that reminds me … Read more

Do you want the US to “win” AI?

geohot.github.io
do-you-want-the-us-to-”win”-ai?

By all accounts, I should be a neofeudalist. I should love what’s happening. The AI I dreamed of my whole life is being built, engineer-type strongmen are sort of in charge, and people are saying out loud the things I … Read more

How the Heck Does GPS Work?

perthirtysix.com
how-the-heck-does-gps-work?

How geometry, stopwatches, and Einstein’s theories work together to make GPS possible. Shri Khalpada April 11, 2026 Part of How The Heck?, a series of interactive explanations of everyday technology. If you like these, you can follow the author or … Read more

We got 207 tok/s with Qwen3.5-27B on an RTX 3090

github.com
we-got-207-tok/s-with-qwen3.5-27b-on-an-rtx-3090

Open LLM inference, rewritten by hand for one specific chip at a time.Kernels, speculative decoding, and quantization, tailored per target.We don’t wait for better silicon. We rewrite the software. Inside the box Two projects today, more coming. Each one is … Read more