{"articles":[{"slug":"bez-generating-a-browser-engine-from-specs-and-tests","title":"Bez: Generating a browser engine from specs and tests","subtitle":"A generated web rendering engine verified against Chromium, Firefox, and WebKit","summary":"Bez generates Rust web-engine code from specifications, admitting candidates only when three shipping browsers agree on geometry—aiming for complete or content-scoped engines that update by regeneration.","content_type":"research","language":"en","canonical_url":"https://tangled.org/burrito.space/bez","author":{"name":"burrito.space","url":"https://tangled.org/burrito.space/bez","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"burrito.space","url":"https://tangled.org/burrito.space/bez","listing_slug":null,"listing":null},"topics":[{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"},{"name":"Web Development","slug":"web-development","url":"https://listedarticles.com/topics/web-development"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":368,"reading_minutes":2,"published_at":"2026-10-02T00:00:00.000Z","added_at":"2026-10-02T00:12:50.938Z","updated_at":"2026-10-02T00:12:50.938Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/bez-generating-a-browser-engine-from-specs-and-tests","markdown_url":"https://listedarticles.com/articles/bez-generating-a-browser-engine-from-specs-and-tests.md","example":false,"citation":"burrito.space, burrito.space. \"Bez: Generating a browser engine from specs and tests.\" 2 Oct 2026. https://tangled.org/burrito.space/bez (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://tangled.org/burrito.space/bez"},"snippet":null,"score":null},{"slug":"hard-stop-kernel-level-preemption-and-containment-for-rogue-agentic-execution","title":"Hard Stop: Kernel-Level Preemption and Containment for Rogue Agentic Execution","subtitle":null,"summary":"A research write-up proposing Dual-Sided Andon: out-of-band, kernel-boundary preemption and containment for runaway AI agents, arguing application-level kill switches are insufficient.","content_type":"research","language":"en","canonical_url":"https://arxiv.org/abs/2609.29808","author":{"name":"José Luis Pino","url":"https://arxiv.org/abs/2609.29808","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"arXiv","url":"https://arxiv.org/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"AI Agents","slug":"ai-agents","url":"https://listedarticles.com/topics/ai-agents"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":4848,"reading_minutes":21,"published_at":"2026-09-27T12:00:00.000Z","added_at":"2026-09-29T06:16:49.339Z","updated_at":"2026-09-29T06:16:49.339Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/hard-stop-kernel-level-preemption-and-containment-for-rogue-agentic-execution","markdown_url":"https://listedarticles.com/articles/hard-stop-kernel-level-preemption-and-containment-for-rogue-agentic-execution.md","example":false,"citation":"José Luis Pino, arXiv. \"Hard Stop: Kernel-Level Preemption and Containment for Rogue Agentic Execution.\" 27 Sept 2026. https://arxiv.org/abs/2609.29808 (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://arxiv.org/abs/2609.29808"},"snippet":null,"score":null},{"slug":"cve-2025-13032-entering-and-breaking-the-avast-antivirus-sandbox-part-2","title":"CVE-2025-13032: Entering and Breaking the Avast Antivirus Sandbox Part 2","subtitle":null,"summary":"SAFA’s second part turns Avast’s CVE-2025-13032 double-fetch into a local privilege escalation to SYSTEM on Windows 11 via paged pool overflow and RegBuffers corruption for arbitrary kernel R/W.","content_type":"research","language":"en","canonical_url":"https://www.safateam.com/intelligence-hub/research/technical-articles/cve-2025-13032-entering-and-breaking-the-avast-antivirus-sandbox-part-2","author":{"name":"SAFA Team","url":"https://www.safateam.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"SAFA","url":"https://www.safateam.com/","listing_slug":null,"listing":null},"topics":[{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3096,"reading_minutes":13,"published_at":"2026-09-25T00:00:00.000Z","added_at":"2026-09-25T09:16:49.268Z","updated_at":"2026-09-25T09:16:49.268Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/cve-2025-13032-entering-and-breaking-the-avast-antivirus-sandbox-part-2","markdown_url":"https://listedarticles.com/articles/cve-2025-13032-entering-and-breaking-the-avast-antivirus-sandbox-part-2.md","example":false,"citation":"SAFA Team, SAFA. \"CVE-2025-13032: Entering and Breaking the Avast Antivirus Sandbox Part 2.\" 25 Sept 2026. https://www.safateam.com/intelligence-hub/research/technical-articles/cve-2025-13032-entering-and-breaking-the-avast-antivirus-sandbox-part-2 (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.safateam.com/intelligence-hub/research/technical-articles/cve-2025-13032-entering-and-breaking-the-avast-antivirus-sandbox-part-2"},"snippet":null,"score":null},{"slug":"one-cpu-atomic-instruction-one-packaging-infinite-loop-the-story-of-the-lost-update-on-la664","title":"One CPU Atomic Instruction, One Packaging Infinite Loop: The Story of the Lost Update on LA664","subtitle":null,"summary":"Jie Ge documents a Loongson LA664 erratum where an atomic instruction can lose updates, how it surfaced as an infinite packaging loop, the root cause analysis, and what it means for correctness on that CPU.","content_type":"research","language":"en","canonical_url":"https://jia.je/hardware/2026/09/24/loongson-cpu-erratum-en/","author":{"name":"Jie Ge","url":"https://jia.je/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"jia.je","url":"https://jia.je/","listing_slug":null,"listing":null},"topics":[{"name":"Hardware","slug":"hardware","url":"https://listedarticles.com/topics/hardware"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"Debugging","slug":"debugging","url":"https://listedarticles.com/topics/debugging"},{"name":"Engineering","slug":"engineering","url":"https://listedarticles.com/topics/engineering"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3163,"reading_minutes":14,"published_at":"2026-09-24T12:00:00.000Z","added_at":"2026-09-26T21:13:33.159Z","updated_at":"2026-09-26T21:13:33.159Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/one-cpu-atomic-instruction-one-packaging-infinite-loop-the-story-of-the-lost-update-on-la664","markdown_url":"https://listedarticles.com/articles/one-cpu-atomic-instruction-one-packaging-infinite-loop-the-story-of-the-lost-update-on-la664.md","example":false,"citation":"Jie Ge, jia.je. \"One CPU Atomic Instruction, One Packaging Infinite Loop: The Story of the Lost Update on LA664.\" 24 Sept 2026. https://jia.je/hardware/2026/09/24/loongson-cpu-erratum-en/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://jia.je/hardware/2026/09/24/loongson-cpu-erratum-en/"},"snippet":null,"score":null},{"slug":"modern-fs-benchmark","title":"modern-fs-benchmark","subtitle":null,"summary":"Bartosz Fenski’s continuous benchmark suite for multi-device CoW filesystems (btrfs, ZFS, bcachefs) measures snapshot aging, compression, rebuild, ENOSPC, and other workloads classic single-disk fio tests miss.","content_type":"research","language":"en","canonical_url":"https://bartosz.fenski.pl/modern-fs-benchmark/","author":{"name":"Bartosz Fenski","url":"https://bartosz.fenski.pl/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Bartosz Fenski","url":"https://bartosz.fenski.pl/","listing_slug":null,"listing":null},"topics":[{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"Benchmarks","slug":"benchmarks","url":"https://listedarticles.com/topics/benchmarks"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"},{"name":"Infrastructure","slug":"infrastructure","url":"https://listedarticles.com/topics/infrastructure"},{"name":"Linux","slug":"linux","url":"https://listedarticles.com/topics/linux"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3195,"reading_minutes":14,"published_at":"2026-09-20T06:17:08.979Z","added_at":"2026-09-20T06:17:08.979Z","updated_at":"2026-09-20T06:17:08.979Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/modern-fs-benchmark","markdown_url":"https://listedarticles.com/articles/modern-fs-benchmark.md","example":false,"citation":"Bartosz Fenski, Bartosz Fenski. \"modern-fs-benchmark.\" 20 Sept 2026. https://bartosz.fenski.pl/modern-fs-benchmark/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://bartosz.fenski.pl/modern-fs-benchmark/"},"snippet":null,"score":null},{"slug":"keva-running-coding-agents-on-device-on-unrooted-android","title":"Keva: Running Coding Agents On-Device on Unrooted Android","subtitle":null,"summary":"Simon Lin's technical paper on Keva—an on-device Android AI coding agent running Claude Code/Codex-style loops—covering architecture, failure modes, and systems lessons without rooting the phone.","content_type":"research","language":"en","canonical_url":"https://github.com/SimonLeen22/keva-app/blob/main/docs/paper/Keva_Paper_v1.1_EN.md","author":{"name":"Simon Lin","url":"https://github.com/SimonLeen22","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Keva","url":"https://github.com/SimonLeen22/keva-app","listing_slug":null,"listing":null},"topics":[{"name":"AI Agents","slug":"ai-agents","url":"https://listedarticles.com/topics/ai-agents"},{"name":"Mobile","slug":"mobile","url":"https://listedarticles.com/topics/mobile"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"LLMs","slug":"llms","url":"https://listedarticles.com/topics/llms"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":7580,"reading_minutes":33,"published_at":"2026-09-19T15:07:38.076Z","added_at":"2026-09-19T15:07:38.076Z","updated_at":"2026-09-19T15:07:38.076Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/keva-running-coding-agents-on-device-on-unrooted-android","markdown_url":"https://listedarticles.com/articles/keva-running-coding-agents-on-device-on-unrooted-android.md","example":false,"citation":"Simon Lin, Keva. \"Keva: Running Coding Agents On-Device on Unrooted Android.\" 19 Sept 2026. https://github.com/SimonLeen22/keva-app/blob/main/docs/paper/Keva_Paper_v1.1_EN.md (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://github.com/SimonLeen22/keva-app/blob/main/docs/paper/Keva_Paper_v1.1_EN.md"},"snippet":null,"score":null}],"total":6,"count":6,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"research","topic":"systems-programming","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}