🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

Study and Comparison of Data Lakehouse Systems (2023) [pdf]
doria.fi·1d·
Discuss: Hacker News
💿ZFS Archaeology
Easy Audio Loopback in Electron: Chromium's Hidden Powers on macOS
alec.is·10h·
Discuss: Hacker News
💿FLAC Archaeology
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com·5d·
Discuss: Hacker News, r/compsci, r/programming
💾Memory Mapping
CNL: Bringing Agentic AI to Cloud Native with kagent & Kyverno
youtube.com·1d
📡RSS Automation
Hardware choice for an R&D Build and Google service substitution
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Preventing the Next Cloud Outage: Inside the Architecture of Modern ITSM Platforms
hackernoon.com·3d
👁️Observatory Systems
Code pollution
dev.to·5h·
Discuss: DEV
📏Code Metrics
Multi-robot LiDAR SLAM: a practical case study in underground tunnel environments
arxiv.org·4d
🏺Computational Archaeology
Optimization using AI
reddit.com·15h·
Discuss: r/kubernetes
📊Feed Optimization
Exploring the Economics of AI Software Development
dev.to·2d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
OpenBSD Seeks Testers for Enhanced 802.11g AP Compatibility
discoverbsd.com·2d
🔌Operating system internals
Eigent, a Multi-agent Workforce desktop application
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Top 10 Python Libraries Every DevOps Engineer Should Master (With Use Cases & Code)
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Who Gave the Order? When AI Issues Commands Without a Speaker
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Building AIOps with Amazon Q Developer CLI and MCP Server
aws.amazon.com·1d
🖥️Self-hosted Infrastructure
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·3d
🦀Rust Macros
Invisible Architectures of Thought: Toward a New Science of AI as Cognitive Infrastructure
arxiv.org·2d
🌍Cultural Algorithms
Planning for Cooler Cities: A Multimodal AI Framework for Predicting and Mitigating Urban Heat Stress through Urban Landscape Transformation
arxiv.org·2d
🌀Differential Geometry
The Compliance Crisis: Why Your Enterprise Meeting Data is a Ticking Time Bomb
dev.to·1d·
Discuss: DEV
⚖️Legal Compliance
Schematra: Sinatra inspired Chicken web framework
github.com·2d·
Discuss: Lobsters, Hacker News
λLambda Formalization
Loading...Loading more...
AboutBlogChangelogRoadmap