🤖 Robotics - standonopenstds · Scour

Your old Nintendo 64 games are finally getting unofficial PC ports, and they run better than emulators 🔌Arduino

xda-developers.com·2d

Functional Programming in Lean - Functional Programming in Lean 🧠LLM Inference

leanprover.github.io·3d·Hacker News

'Building Git' by James Coglan ❄️Nix

shop.jcoglan.com·2d

Achieving High Availability with Valkey Sentinel ⛵Raft

percona.com·6d

Warp’s gamble: Going open source to take on closed-source rivals ⛵Raft

thenewstack.io·1d·Hacker News

systems:5th_edition [Unix Heritage Wiki] 🖥️Terminal UIs

wiki.tuhs.org·1d

Replacing probabilistic AI with deterministic math and Dafny formal verification 🌲LSM Trees

gist.github.com·6d·Hacker News

Knowledge Graphs over Two Decades 🌲LSM Trees

spawn-queue.acm.org·2d

Security updates for Thursday [LWN.net] 🐧Linux

Logitech Introduces G512 X Gaming Keyboard With TMR Switches & Two Form Factors 🏠Home Automation

Local LLMs work best when you're not loyal to just one 🧠LLM Inference

xda-developers.com·4d

Qdrant’s AI vector search is faster, auditable and more available 📦Parquet

blocksandfiles.com·2d

The Fastest Linux Timestamps 🖥️Terminal UIs

hmpcabral.com·4d·Lobsters, Hacker News, r/cpp, r/programming

Yukari Hafner: On Lisp, LLMs, and Community 🧠LLM Inference

reader.tymoon.eu·1d

The Appearance of Safety Is Not Safety 📦Parquet

newsletter.thelongcommit.com·2d·r/coding

I built a retro gaming PC for less than $500 — Complete guide to hardware, software, and how to start gaming without spending anything 🔌Arduino

windowscentral.com

·4d

A parallel algorithm for the computation of the Jones polynomial 🌲LSM Trees

A breakthrough in C/C++ dependency management 🦀adrunio, esp32, llama.cpp, databases, rust

lcamtuf.substack.com·5d·Substack, r/cpp

Hardening OpenClaw on AKS: Mitigating Container Escapes with Kata microVM Isolation 🐧Linux

techcommunity.microsoft.com·1d

AI 101: What’s So Magical About Embeddings? 🤖Machine Learning

turingpost.com·1d

No more posts from standonopenstds's subscribed feeds.

Scour all 24432 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling