🔬 Static Analysis - dchu

coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

✓Formal Verification Code

github.com··Hacker News

Subversion-Resistance for Free from Formal Verification

✓Formal Verification

lesswrong.com·

Formal Verification in Spec-Driven Development — Enterprise Level

✓Formal Verification Blog

medium.com

Zcash Developers Weigh New Shielded Pool After Orchard Bug

✓Formal Verification

cointelegraph.com·

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

✓Formal Verification Academic

arxiv.org·

SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents

✓Formal Verification Blog

kesablyanharut.medium.com·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

✓Formal Verification

lix.polytechnique.fr·

Correct workflow for stage3 and stage 4 building, testing and debugging

✓Formal Verification

ziggit.dev·

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

✓Formal Verification News

coindesk.com·

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

✓Formal Verification Blog

amazon.science··Lobsters

I've Joined OpenAI, fwd:cloudsec, AWS Well Architected Supply Chain Security

📊Data Science

tldrsec.com·

Proof System Timelines

✓Formal Verification Blog

klatz.co·

AWS can now mathematically prove your VMs are isolated

✓Formal Verification

thenewstack.io·

SAST vs SCA: Key Differences for AppSec Teams

📊Basketball Analytics

orca.security·

AWS Graviton5 available via M9g and M9gd instances

✓Formal Verification

techzine.eu·

Ask HN: What has been the fate of code review?

✓Formal Verification Discussion

news.ycombinator.com··Hacker News

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

✓Formal Verification Blog

blog.quarkslab.com·

a topos-oriented language with a content-addressed lattice heap

✓Formal Verification

yon-lang.org··Hacker News

Introducing Soteria: A New Generation of Static Analysis for Rust

We Cut Semgrep's Taint Analysis Time by 75%

coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

Subversion-Resistance for Free from Formal Verification

Formal Verification in Spec-Driven Development — Enterprise Level

Zcash Developers Weigh New Shielded Pool After Orchard Bug

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

Correct workflow for stage3 and stage 4 building, testing and debugging

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

I've Joined OpenAI, fwd:cloudsec, AWS Well Architected Supply Chain Security

Proof System Timelines

AWS can now mathematically prove your VMs are isolated

SAST vs SCA: Key Differences for AppSec Teams

AWS Graviton5 available via M9g and M9gd instances

Ask HN: What has been the fate of code review?

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

a topos-oriented language with a content-addressed lattice heap