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

TLA+, Model Checking, Safety Properties, Specifications

Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Open Source Tools to Detect CVE-2024-54085
eclypsium.com·11h·
Discuss: Hacker News
🛡️seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·16h·
Discuss: Substack
🐫Embedded OCaml
Modern Electric Vehicle Infrastructure Security
ocpp.us·3d·
Discuss: Hacker News
🌐NetworkProtocols
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io·2d·
Discuss: Hacker News
🛡️seL4
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Data-Star.dev – v1 and Beyond
data-star.dev·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⚙️PL Implementation
How to Build Agents Users Can Trust
builders.ramp.com·17h·
Discuss: Hacker News
🤖Program Synthesis
Monitoring My Homelab, Simply
b.tuxes.uk·22h·
Discuss: Lobsters, Hacker News
👁️System Observability
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·2d·
Discuss: Hacker News
🛡️seL4
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
How to scale RL to 10^26 FLOPs
blog.jxmo.io·13h·
Discuss: Hacker News
🎮Verification Games
Data Science Weekly – Issue 607
datascienceweekly.substack.com·6h·
Discuss: Substack
👁️System Observability
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
arxiv.org·2d
🛡️seL4
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·20h·
Discuss: Hacker News
🔤DSLs
Loading...Loading more...
AboutBlogChangelogRoadmap