NVIDIA Accelerated IO (XLIO)
docs.nvidia.comยท2dยท
Discuss: Hacker News
๐ŸŽXNU Internals
GCC Rust Compiler Continues Quest To Compile The Linux Kernel Crate
phoronix.comยท3dยท
Discuss: Hacker News
โš™๏ธPL Implementation
We're training a text-to-image model from scratch and open-sourcing it
photoroom.comยท1dยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
Operational Intelligence โ€“ the new horizon of observability
squaredup.comยท16hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.comยท5dยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
An Interactive Guide to TanStack DB
frontendatscale.comยท4dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Where are the security advisories of the recently compromised NPM packages?
gribnau.devยท1dยท
Discuss: Hacker News
โ„๏ธNixified Development
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.orgยท5d
โš™Operational Semantics
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.orgยท5d
๐ŸŽฎVerification Games
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.deยท6dยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Identifying Key Features for Establishing Sustainable Agro-Tourism Centre: A Data Driven Approach
arxiv.orgยท2d
โžก๏ธCategory Theory
AI Testing Tools in 2025: What works and what doesnโ€™t
bug0.comยท5dยท
Discuss: r/programming
๐Ÿ‘๏ธSystem Observability
Billion-Line Days Demand Billion-Test Nights
momentic.aiยท4dยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Massively Parallel Agentic Simulations with Ray
anyscale.comยท3dยท
Discuss: Hacker News
โš™๏ธOperating System Design
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.orgยท5d
๐Ÿค–Program Synthesis
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.comยท2d
๐Ÿ’ปCS
Prototype Design Pattern in Go โ€“ Faster Object Creation ๐Ÿš€
reddit.comยท2dยท
Discuss: r/programming
๐Ÿค–Program Synthesis
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.orgยท5d
๐Ÿ“šAutomata Learning
What Parasitic AI might tell us about LLMs Persuasion Capabilities
lesswrong.comยท15h
๐Ÿ“šAutomata Learning
MAPSS: Manifold-based Assessment of Perceptual Source Separation
arxiv.orgยท2d
๐ŸงฉSeparation Logic