✓ Formal Verification - Jullang

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

Phase prediction in high-entropy alloys through uncertainty sampling and symbolic classification-based parameter discovery

💨Zero-Cost Abstractions Academic

nature.com·

Subversion-Resistance for Free from Formal Verification

🎲Property Testing

lesswrong.com·

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.

🎲Property Testing Code

github.com··Hacker News

Magnetic pair breaking and local lattice distortion in Cr-containing high-entropy alloy superconductors

💨Zero-Cost Abstractions

link.aps.org·

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

🔗Dependent Types

lix.polytechnique.fr·

Neon NTT - (Auto)formalised

🔗Dependent Types

eprint.iacr.org·

Market Research Deep Dive: Wrought Aluminum Turbocharger Wheels Capture 45% of Market Value – Full Size & Share Analysis by Forged vs. Cast Technology

⏩SIMD Blog

plaza.rakuten.co.jp·

The Ugliest Thing in Your EDC Kit is your AirTag. This Japanese Carabiner Finally Fixes That - Yanko Design

🦀Rust

yankodesign.com·

Proof System Timelines

🔗Dependent Types Blog

klatz.co·

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

🎲Property Testing Blog

kesablyanharut.medium.com·

This keyboard is nerd madlibs.

💻Programming

theverge.com

MG ZS Hybrid+ B-SUV open for booking in Malaysia – early birds get RM3k rebate, 3-year free service

🖥️RISC-V

paultan.org·

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

⚡Zig

ziggit.dev·

Electra Reaches Back to Antiquity for Its Most Distinctive Dare-Devil Diver Yet

🔓Lock-free Algorithms

gearpatrol.com·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

🎲Property Testing

cointelegraph.com·

Xiaomi launches a portable coffee machine that can brew up to 400 cups on a charge

🖥️RISC-V

gizmochina.com·

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

🔗Dependent Types Academic

hsph.harvard.edu·

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

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

Formal Verification in Spec-Driven Development — Enterprise Level

Phase prediction in high-entropy alloys through uncertainty sampling and symbolic classification-based parameter discovery

Subversion-Resistance for Free from Formal Verification

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.

Magnetic pair breaking and local lattice distortion in Cr-containing high-entropy alloy superconductors

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

Neon NTT - (Auto)formalised

Market Research Deep Dive: Wrought Aluminum Turbocharger Wheels Capture 45% of Market Value – Full Size & Share Analysis by Forged vs. Cast Technology

The Ugliest Thing in Your EDC Kit is your AirTag. This Japanese Carabiner Finally Fixes That - Yanko Design

Proof System Timelines

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

This keyboard is nerd madlibs.

MG ZS Hybrid+ B-SUV open for booking in Malaysia – early birds get RM3k rebate, 3-year free service

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

Electra Reaches Back to Antiquity for Its Most Distinctive Dare-Devil Diver Yet

Zcash Developers Weigh New Shielded Pool After Orchard Bug

Xiaomi launches a portable coffee machine that can brew up to 400 cups on a charge

Dr. Renata Goncalves recognized with Outstanding Manuscript Award