Testing

Feeds to Scour
SubscribedAll
Scoured 16 posts in 7.2 ms

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  Content type: Code
github.com··Hacker News

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

 📊Type systems  Content type: News  Content type: Blog

My side of the jqwik anti AI logging drama

 👐Open source software  Content type: Blog

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

 🌐Web

Learning Regular Languages with the TTT Algorithm

 📊Type systems

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

 🌐Web
404media.co··Hacker News

All the passwords were stored in Active Directory description fields

 🌐Web

Mythos found the bugs. Who pays for the fixes?

 👐Open source software  Content type: Blog
opub.dev··Hacker News

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

 🦀Programming languages  Content type: Blog
supso.org··Hacker News

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

 🌐Web  Content type: Code
github.com··Hacker News

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

 🌐Web  Content type: Code
github.com··Hacker News

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

 📊Type systems  Content type: Code
github.com··Hacker News

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

 📊Type systems  Content type: Code
github.com··Hacker News

Mythos found the bugs. Who funds the fixes?

 📊Type systems  Content type: Blog
opub.dev··Hacker News

No more posts from owi's subscribed feeds.

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help