🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 2
•
Page 4 »