process

magic-trace collects and displays high-resolution traces of what a process is doing - janestreet/magic-trace

Last week I wrote about getting rejected from a job for "relying on AI" in the coding round — by an...

So I accidentally triggered an online shitstorm in the process of trying to craft a set of more restrictive LLM usage guidelines for KDE. Sorry about that. :/ I’m going to leave the comments …

The world of mathematics, including theoretical computer science, is in turmoil. Even the Millennium Prize Problems, and, worse still, our beloved FOCS/STOC open problems, are no longer beyond the …

Welcome to the industrialization of code

ext-turbovec brings quantized vector search inside the PHP process — TurboQuant 4-bit compression, SIMD kernels, SQL-friendly ids, and filtered search that gets faster, not worse.

A Linux SVM hypervisor for emulating cpuid and sgdt/sidt results per-process by simply loading a Linux kernel module. - er-azh/alcor

Self-hosted voice agent runtime: speech-to-text, an LLM and text-to-speech streaming into each other in one process. - SamarthUrs18/fusion-runtime

Autoformalization is the process of automatically translating from natural language mathematics to formal specifications and proofs. A successful autoformalization system could advance the fields of formal…

Whenever a new version of macOS drops, I find myself archiving the new app icons for my macOS icon gallery . In the past, the work to do this was a bit…

Kernel developers do a lot of kernel builds. Since the kernel is not a small program, those bu [...]

vsql-mcp puts a Model Context Protocol server inside VillageSQL Server, so AI agents can browse MySQL schema and run governed, read-only queries

An interactive NVIDIA-GPU process viewer and beyond, the one-stop solution for GPU process management. - XuehaiPan/nvitop

Three cases where Nixpkgs exercised power without clear rules: a commit-bit removal, a pull request closed by headcount, and a review blocked indefinitely.