✅ Formal Verification - rakeshchow202 · Scour

Pharmacovigilance 🔐Cybersecurity

en.wikipedia.org·3d·Hacker News

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. 🛠️Compilers

github.com·1d·Hacker News

Anthropic's definition of safety is too narrow ⚖️Digital Rights

jonathannen.com·3d·Hacker News

How to Keep Your Brain Sharp: A Practical Playbook Beyond the Basics 🧠Rationalism

tim.blog·6d·Hacker News

Changes, New Features, and Fixes 💾Low-Level Code

gcc.gnu.org·15h·Lobsters, Hacker News, r/cpp

OpenAI Reportedly Working on an AI Smartphone to Rival iPhone 🧠Edge AI

macrumors.com·3d·Hacker News, Hacker News

Haskell: Debugging 🛠️Compilers

wiki.haskell.org·8h·Hacker News

My local agentic dev setup today 🧠Edge AI

willemvandenende.com·12h·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs 🔧FPGA

kcsrk.info·2d·Hacker News, Hacker News

Act Now to Stop California’s Paternalistic and Privacy-Destroying Social Media Ban ⚖️Digital Rights

eff.org·6d·Hacker News

On health care price transparency (from the comments) ⚖️Digital Rights

marginalrevolution.com·3d·Hacker News, Hacker News

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🛠️Software Craft

github.com·1d·Hacker News

Why Trucking is So Deadly 🤖Robotics

·6d·Hacker News

Structured Generation for Tool Calling 🛠️Software Craft

blog.dottxt.ai·1d·Hacker News

More Americans See Driverless Car Future; Few Show Interest 🚁Drones

news.gallup.com·3d·Hacker News

Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings 🛠️Compilers

blog.zksecurity.xyz·19h·Hacker News, r/crypto

I Had Near 100% Test Coverage. It Didn’t Matter. 🛠️Software Craft

blog.reqproof.com·1d·Hacker News

The Feedback Loop in AI SDLC 🛠️Software Craft

makersbreakers.substack.com·2d·Substack

The Factory Must Grow (Part II): From Spaghetti AI Agent Orchestrator to a Main Bus 🛠️Software Craft

blog.mariohayashi.com·2d·Hacker News

Built a safety-first options automation tool for covered calls 💾Low-Level Code

news.ycombinator.com·4d·Hacker News

No more posts from rakeshchow202's subscribed feeds.

Scour all 24432 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling