🦞🌯 Lobster Roll

Stories by gnyeki

On the use of LLM assistants for kernel development (lwn.net)
L 12 pts 13 comments by gnyeki Aug 22, 2025 linuxvibecoding AI / Machine LearningSystems / Low-Level / OS thread
Bringing restartable sequences out of the niche (lwn.net)
L 11 pts 0 comments by gnyeki Sep 5, 2025 distributedlinux Systems / Low-Level / OSData / Databases / Infrastructure thread
git-who: Git blame for file trees (github.com)
L 10 pts 16 comments by gnyeki Aug 13, 2025 vcs Programming (General) thread
Man Pages (Part 1) (abochannek.github.io)
L 9 pts 4 comments by gnyeki Nov 6, 2025 historicalunix Systems / Low-Level / OSCulture / Philosophy / History / Reading thread
Advent of Code in Coq (2021) (github.com)
L 9 pts 1 comments by gnyeki Apr 2, 2025 formalmethods Programming (General)Programming Languages / CS Theory thread
elfconv: Linux Apps to High-Performance Wasm Binary Translator (2025) (medium.com)
L 8 pts 0 comments by gnyeki 6d ago assemblylinuxwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
The Cognitive Burden of Garbage Collection vs Move Semantics (2023) (insanitybit.github.io)
L 8 pts 0 comments by gnyeki Dec 21, 2025 javarust Systems / Low-Level / OSProgramming (General) thread
Ghosts of Unix Past: a historical search for design patterns (2010) (lwn.net)
L 8 pts 1 comments by gnyeki Oct 3, 2025 historicalunix Systems / Low-Level / OSDesign / UX / VisualizationCulture / Philosophy / History / Reading thread
Risk Rolls Downhill (corecursive.com)
L 8 pts 2 comments by gnyeki Oct 2, 2025 financelawtranscript Productivity / Career / Business thread
certicoq: A Verified Compiler for Gallina, Written in Gallina (github.com)
L 8 pts 0 comments by gnyeki Apr 7, 2025 formalmethods Systems / Low-Level / OSProgramming Languages / CS Theory thread
landrun: Run any Linux process in a secure, unprivileged sandbox using Landlock (github.com)
L 8 pts 0 comments by gnyeki Mar 24, 2025 linuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
Fedora floats AI-assisted contributions policy (lwn.net)
L 7 pts 6 comments by gnyeki Oct 9, 2025 linuxvibecoding AI / Machine LearningSystems / Low-Level / OS thread
SJS: a static AOT compiler for a subset of JavaScript (2016) (github.com)
L 7 pts 1 comments by gnyeki Mar 28, 2025 compilersjavascript Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
coqoban: Sokoban (in Coq) (github.com)
L 6 pts 0 comments by gnyeki Apr 9, 2025 formalmethodsgames Programming Languages / CS TheoryGaming / Retro Computing thread
Who is using AI to code? Global diffusion and impact of generative AI (science.org)
L 5 pts 1 comments by gnyeki Jan 23, 2026 sciencevibecoding AI / Machine LearningProgramming (General)Science / Math / Physics thread
Toward a policy for machine-learning tools in kernel development (lwn.net)
L 5 pts 2 comments by gnyeki Dec 26, 2025 linuxvibecoding AI / Machine LearningSystems / Low-Level / OS thread
instability in Berkeley versus AT&T releases (1985) (usenet.trashworldnews.com)
L 5 pts 4 comments by gnyeki Sep 26, 2025 unix Systems / Low-Level / OS thread
A high-level quality-of-service interface (lwn.net)
L 4 pts 0 comments by gnyeki Jan 22, 2026 linuxperformance Systems / Low-Level / OSData / Databases / Infrastructure thread
Sandboxing Applications with Bubblewrap: A Simple Script (2024) (sloonz.github.io)
L 4 pts 0 comments by gnyeki Sep 9, 2025 linuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
Which Economic Tasks are Performed with AI? Evidence from Millions of Claude Conversations (arxiv.org)
L 4 pts 0 comments by gnyeki Jul 17, 2025 vibecoding AI / Machine LearningCulture / Philosophy / History / Reading thread
Benchmarking Crimes Meet Formal Verification (microkerneldude.org)
L 4 pts 0 comments by gnyeki May 5, 2025 formalmethodsosdev Systems / Low-Level / OSProgramming Languages / CS Theory thread
A struct sockaddr sequel (lwn.net)
L 3 pts 0 comments by gnyeki Dec 5, 2025 clinuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
higher: Your favourite Haskell type classes for Rust (2023) (github.com)
L 3 pts 0 comments by gnyeki Jun 21, 2025 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Performance of ES6 features relative to the ES5 baseline operations per second (2022) (incaseofstairs.com)
L 3 pts 4 comments by gnyeki May 28, 2025 javascriptperformance Web DevelopmentData / Databases / Infrastructure thread
Protecting code compiled just in time (2024) (developer.apple.com)
L 2 pts 0 comments by gnyeki Feb 27, 2026 browserssecurity Web DevelopmentProgramming (General)Security / Privacy thread
This early SSD was wild (youtube.com)
L 2 pts 0 comments by gnyeki Oct 23, 2025 hardwarehistoricalvideo Maker / DIY / HardwareCulture / Philosophy / History / Reading thread
Measuring cache performance + perf (2018) (josephmuia.ca)
L 2 pts 0 comments by gnyeki Oct 15, 2025 linuxperformance Systems / Low-Level / OSData / Databases / Infrastructure thread
Theme-D Programming Language (tohoyn.fi)
L 2 pts 0 comments by gnyeki Aug 29, 2025 lispplt Programming (General)Programming Languages / CS Theory thread
TDD Guided by ZOMBIES (2016) (blog.wingman-sw.com)
L 2 pts 0 comments by gnyeki Apr 4, 2025 testing Programming (General) thread
Top-Down Microarchitecture Analysis Method (intel.com)
HN 2 pts 0 comments by gnyeki Oct 15, 2025 thread