✅ Formal Verification - bassam_exe · Scour

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

🔢Homomorphic Encryption Code

github.com··Hacker News

Property-based testing | Liam DeVoe

🔍Reverse Engineering

tybug.dev··Hacker News

DB Nerds – Try this out

🔍Reverse Engineering

kesseldb.com··Hacker News

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

📐Mathematical Logic

latent.space··Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

💻Hacking News Blog

bengoertzel.substack.com··Substack

Introducing Jo — Secure Programming for the AI Era

🔢Homomorphic Encryption Blog

jo-lang.org··Hacker News

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

📐Mathematical Logic Code

github.com··Hacker News

Less-relevant results

Where the f*ck is the Excalidraw markup table?

💻Hacking News Blog

larkmatter.substack.com··Substack

It's good enough to ship Direction.Blog

🤖Machine Learning Blog

givedirection.com··Hacker News

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

🎪Social Engineering

universetoday.com··Hacker News

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system

⚛️Physics Code

github.com··Hacker News

Geeoon/Fault-Injection-Finder: For Spring 2026 EE 470

🔒Hardware Security Code

github.com··Hacker News

connglli/Reify: Random program generation based on semantic reification (PLDI'26)

🔢Homomorphic Encryption Code

github.com··Hacker News

No more posts from bassam_exe's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling