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

But investors aren’t panicking yet

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.

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

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

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

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…

Introducing Ornith-1.5, an open-source model family that extends self-scaffolding into an end-to-end self-improvement loop.

Many employers worry remote workers feel disconnected. A new study found they reported higher well-being and were no more likely to feel isolated than their

Learn how probes work interactively on simulated Kubernetes clusters running in your browser.

Solid core + capability-based sandboxes + LLMs = Users with superpowers

Open-source sandboxed agent harness for teams. Giving every employee a secured personal agent. - onecli/onecli

Preflight Checklist I have searched existing issues and this hasn't been reported yet This is a single bug report (please file separate reports for different bugs) I am using the latest version...