Open Source Tools to Detect CVE-2024-54085
eclypsium.com·13h·
Discuss: Hacker News
🛡️seL4
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·2h·
Discuss: Hacker News
👁️System Observability
Do Not Give Imperfect People Perfect Systems
loganmarek.com·47m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Plurality Philosophy in an Oversized Nutshell
vitalik.eth.limo·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Windows BSoD to Watson: The Reliability Journey (2022)
hardcoresoftware.learningbyshipping.com·1d·
Discuss: Hacker News
💾Retro Computing
MIPS and GlobalFoundries: Powering the Next Wave of Physical AI
mips.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Lithium: Elevating ETL with ephemeral and self-hosted pipelines (2024)
atlassian.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·22h·
Discuss: Hacker News
🔤DSLs
(Quite) a few words about async
yoric.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
Recommend CPU+Mobo for a do-it-all home server
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·1d·
Discuss: Hacker News
📦Unikernel Systems
AI Tooling, Evolution and the Promiscuity of Modern Developers
redmonk.com·20h·
Discuss: Hacker News
👁️System Observability
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
🔍Formal Verification
Archetype-Aware Predictive Autoscaling with Uncertainty Quantification for Serverless Workloads on Kubernetes
arxiv.org·2d
👁️System Observability
Ask HN: What's blocking your AI agents from moving beyond proof-of-concept?
news.ycombinator.com·13m·
Discuss: Hacker News
🛡️seL4
Wallets as Universal Access Devices
arxiv.org·1d
🔬Unikernels
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.org·2d
🌐NetworkProtocols
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·8h
🔍Formal Verification
Data-Star.dev – v1 and Beyond
data-star.dev·20h·
Discuss: Hacker News
🧱Immutable Infrastructure