🧪 Testing - owi · Scour

Property-based testing | Liam DeVoe

📊Type systems

tybug.dev··Hacker News

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

📊Type systems Code

github.com··Hacker News

Re-quantizing a local LLM 14x faster by skipping the tensors that didn't change

📊Type systems News Blog

andreaborio.substack.com··Substack

My side of the jqwik anti AI logging drama

👐Open source software Blog

blog.johanneslink.net··Lobsters, Hacker News

#725 – The Secret Life of Circuits with lcamtuf / Michał Zalewski | The Amp Hour Electronics Podcast

theamphour.com··Hacker News

Learning Regular Languages with the TTT Algorithm

📊Type systems

rahul.gopinath.org··Hacker News

110 QA checks in one scan, auto-fix PR for what it finds

👐Open source software

gatetest.ai··Hacker News

“Sloppenheimer:” Amazon Employees Mock the Company’s AI on Slack

404media.co··Hacker News

All the passwords were stored in Active Directory description fields

theregister.com··Hacker News

Mythos found the bugs. Who pays for the fixes?

👐Open source software Blog

opub.dev··Hacker News

Introducing SupXML, the modern memory-safe XML parser alternative to libxml2

🦀Programming languages Blog

supso.org··Hacker News

Show HN: SNItch – fuzz the TLS SNI field to discover hidden virtual hosts

🌐Web Code

github.com··Hacker News

agentsploit/agentsploit: Offensive security framework for AI agents and MCP servers.

🌐Web Code

github.com··Hacker News

Smaug123/WoofWare.PawPrint: An extremely WIP implementation of a .NET runtime.

📊Type systems Code

github.com··Hacker News

skeeto/quilt.cpp: Quilt implemented in C++

📊Type systems Code

github.com··Hacker News

Mythos found the bugs. Who funds the fixes?

📊Type systems Blog

opub.dev··Hacker News

No more posts from owi's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling