GitHub Gist: instantly share code, notes, and snippets.

Shakespeare and friends would call punctuation “distinctions,” according to the Latin tradition, or “pointing,” because of the medieval practice of placing dots or points at different levels of the…

But investors aren’t panicking yet

A native, local-first alternative to Logitech Options+, written in Rust. Remap buttons, drive DPI and SmartShift over HID++ — no account, no telemetry.

In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking tha…

Modern glassmorphism password generator. Fully client-side — nothing leaves your browser.

Where Human Sleep Went Wrong: A conversation with David Samson, evolutionary anthropologist and author of The Sleepless Ape, about how to sleep

Berd is a weird, playful desktop app for building with AI agents.

Static analysis for Sierra adventure games: finds softlocks by abstract interpretation of decompiled SCI scripts, derives and verifies guards, recompiles them into the game - katiahayati/lucasartsi...

US healthcare is broken. Under RFK Jr., the research agency working to fix it is, too.

Four and a half years ago, Modular made a bet: AI would not run on one kind of silicon forever, and the software stack would need to be rearchitected for a world of heterogeneous hardware and increasingly complex AI workloads.

Play a theremin in mid-air: phone motion or camera hand tracking. Scales, cave reverb, recording.

@Revan_9766@mastodon.social The initial devices with GrapheneOS support should be available in 2027. The initial devices will be flagships so they'll be higher end hardware than Pixels at a higher price. Lower end devices will take more time to meet our requirements…

just a blog

Why is the military and a cheese fortune teller contacting me about SondeHub.org

You need simplicity if you want to move fast. PostgreSQL can very well replace Kafka, Redis, Clickhouse and Elastic. And many successful companies are doing exactly that. Let's check out how.

Today marks an important milestone for @moderna_tx , for the field of mRNA, and for the many people working to bring new possibilities to patients.
This morning, Moderna and Merck announced positive Phase 3 results for adjuvant treatment with intismeran…