⚙️ Concurrency Models - nmarshall

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

🧩Constraint Programming Code

github.com··Hacker News

Show HN: We post-trained a model that pen tests instead of refusing your code

🐚Shell Scripting

argusred.com··Hacker News, r/netsec

ZclassiC23/zclassic: ZClassic full node in one ~15 MB pure-C23 binary — Equihash 200,9 PoW, Sapling shielded transactions, embedded Tor onion service, block explorer, wallet, and an MCP server for AI-native operation

🔌API Design Code

github.com··Hacker News

Let us replace community with AI

✍️Prompt Engineering

marketplace.visualstudio.com··Hacker News

DB Nerds – Try this out

🐘PostgreSQL

kesseldb.com··Hacker News

Less-relevant results

sk8erboi17/DStudio: Run DeepSeek V4 fully local: chat, a coding agent, and a design studio in one private desktop app.

✨vibe-coding Code

github.com··Hacker News

Personal apps with no back end: static site and OAuth PKCE and OpenRouter

🌐Static Sites

type2fun.net··Hacker News

Unix, Everything Is a File

📡IPC Mechanisms Blog

vivianvoss.net··Hacker News

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

🔍Static Analysis

gatetest.ai··Hacker News

Magecart skimmer turns Stripe into a malware command server

🎚️Audio Codecs

sansec.io··Lobsters, Hacker News

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

🐘PostgreSQL Blog

spectralcore.com··Hacker News

Rayforce

🎯Vector Databases Code

github.com··Lobsters, Hacker News

franz1981/Netty-VirtualThread-Scheduler: A novel integration between Netty and Virtual Threads

💻Operating Systems Code

github.com··Hacker News

Is anyone here interested in contributing to this OS?

💻Operating Systems Code

github.com··Hacker News

No more posts from nmarshall's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Linearizability and State-Machine Replication: Is It a Match?

Database as a Graph for Relational Deep Learning

Open source building blocks for computational design. Est. 2006

What We Learned from a Multi-Service Vulnerability Disclosure

Show HN: The layer between your SaaS platform and your customers' domains

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

Show HN: We post-trained a model that pen tests instead of refusing your code

ZclassiC23/zclassic: ZClassic full node in one ~15 MB pure-C23 binary — Equihash 200,9 PoW, Sapling shielded transactions, embedded Tor onion service, block explorer, wallet, and an MCP server for AI-native operation

Let us replace community with AI

DB Nerds – Try this out

sk8erboi17/DStudio: Run DeepSeek V4 fully local: chat, a coding agent, and a design studio in one private desktop app.

Personal apps with no back end: static site and OAuth PKCE and OpenRouter

Unix, Everything Is a File

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

Magecart skimmer turns Stripe into a malware command server

Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds

Rayforce

franz1981/Netty-VirtualThread-Scheduler: A novel integration between Netty and Virtual Threads

Is anyone here interested in contributing to this OS?