corpus.blog
41554 blogs · [ { "id": "01a08c5c-70a5-729c-a089-d77689772ca5", "title": "Don't Use Ordinary Software to Contain Software-Hacking Agents", "url": "https://verse.systems/blog/post/2026-07-24-dont-use-software-to-contain-software-hacking-agents/", "published_at": "2026-07-24T02:30:00+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d77689cb9f9f", "title": "Does the Random Seed Undermine Certified Robustness?", "url": "https://verse.systems/blog/post/2026-07-21-does-the-random-seed-undermine-certified-robustness/", "published_at": "2026-07-20T14:00:00+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768a453573", "title": "Fighting Floating Point with Floating Point", "url": "https://verse.systems/blog/post/2026-07-14-fighting-floating-point-with-floating-point/", "published_at": "2026-07-13T14:00:00+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768a6094b5", "title": "From Real Arithmetic to Reality", "url": "https://verse.systems/blog/post/2026-03-24-from-real-arithmetic-to-reality/", "published_at": "2026-03-24T00:00:00+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768abcb9a1", "title": "Formal Verification in the Age of AI", "url": "https://verse.systems/blog/post/2026-03-05-formal-verification-ai/", "published_at": "2026-03-05T00:50:08+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768b670608", "title": "The Formal Verification Triangle", "url": "https://verse.systems/blog/post/2025-10-21-formal-verification-triangle/", "published_at": "2025-10-21T03:07:45+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768c2f472f", "title": "Breaking a Verified Certifier", "url": "https://verse.systems/blog/post/2025-09-17-breaking-a-verified-certifier/", "published_at": "2025-09-16T22:44:07+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768c468f59", "title": "Formally Verified Certified Robustness", "url": "https://verse.systems/blog/post/2025-07-04-verified-certified-robustness/", "published_at": "2025-07-21T11:44:11+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768d33e213", "title": "When \"Verified Robust Accuracy\" Isn't, Actually, Verified", "url": "https://verse.systems/blog/post/2025-06-27-when-verified-aint-verified/", "published_at": "2025-06-27T01:28:28+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768db51dfb", "title": "Verified or Certified Robustness? Why don't we have both?", "url": "https://verse.systems/blog/post/2025-06-02-verified-certified/", "published_at": "2025-06-05T06:32:23+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768ea4d379", "title": "The Real Danger in SignalGate", "url": "https://verse.systems/blog/post/2025-03-27-the-real-danger-in-signalgate/", "published_at": "2025-03-27T02:20:44+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768ece3d31", "title": "On the rise of Machine Learning through the lens of Music Source Separation", "url": "https://verse.systems/blog/post/2025-01-17-ml-source-separation/", "published_at": "2025-01-17T02:58:15+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768ee6b34e", "title": "What really happened at CrowdStrike and why their proposed plan won't guarantee this can't happen again.", "url": "https://verse.systems/blog/post/2024-07-25-parsing-crowdstrikes-post/", "published_at": "2024-07-24T20:22:37+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768f1028da", "title": "Clearing the CrowdStrike Confusion", "url": "https://verse.systems/blog/post/2024-07-20-clearing-crowdstrike-confusion/", "published_at": "2024-07-19T22:59:30+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7768f54dc4c", "title": "A CTF Challenge for LLMs for Code Analysis", "url": "https://verse.systems/blog/post/2024-03-19-a-ctf-challenge-for-llms-for-code-analysis/", "published_at": "2024-03-19T11:18:01+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d77690132dcd", "title": "Using LLMs to Generate Fuzz Generators", "url": "https://verse.systems/blog/post/2024-03-09-using-llms-to-generate-fuzz-generators/", "published_at": "2024-03-09T12:38:11+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7769031c615", "title": "The Optus Breach", "url": "https://verse.systems/blog/post/2022-09-25-optus-breach/", "published_at": "2022-09-25T11:09:13+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d77690d853e7", "title": "A Formal Security Verification Challenge", "url": "https://verse.systems/blog/post/2022-03-02-specifying-wordle-secure/", "published_at": "2022-03-02T09:32:05+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d77691c6e8ff", "title": "A Parable on Software Perfection", "url": "https://verse.systems/blog/post/2022-03-01-on-software-perfection/", "published_at": "2022-03-01T04:06:54+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d77691d980cf", "title": "Fun with 🅆🄾🅁🄳🄻🄴", "url": "https://verse.systems/blog/post/2022-02-22-fun-with-wordle/", "published_at": "2022-02-21T22:48:38+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d77692cca055", "title": "Proofs and Side Effects", "url": "https://verse.systems/blog/post/2018-10-02-proofs-and-side-effects/", "published_at": "2018-10-02T16:00:00+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d77693b78455", "title": "Overcoming Adversity in PhD Research", "url": "https://verse.systems/blog/post/2017-10-26-overcoming-adversity/", "published_at": "2017-10-26T06:40:07+00:00" }, { "id": "01a08c5c-70a5-729c-a089-d7769420bed5", "title": "On Teaching Software Engineering", "url": "https://verse.systems/blog/post/2016-07-18-software-engineering-teaching/", "published_at": "2016-07-18T06:42:22+00:00" } ] posts Claim your blog
Back to verse.systems
Blog · corpus.blog/blogs/verse.systems/posts

verse.systems

verse.systems

2026

Don't Use Ordinary Software to Contain Software-Hacking Agentsoriginal ↗
24 Jul 2026
Does the Random Seed Undermine Certified Robustness?original ↗
20 Jul 2026
Fighting Floating Point with Floating Pointoriginal ↗
13 Jul 2026
From Real Arithmetic to Realityoriginal ↗
24 Mar 2026
Formal Verification in the Age of AIoriginal ↗
5 Mar 2026

2025

The Formal Verification Triangleoriginal ↗
21 Oct 2025
Breaking a Verified Certifieroriginal ↗
16 Sept 2025
Formally Verified Certified Robustnessoriginal ↗
21 Jul 2025
When "Verified Robust Accuracy" Isn't, Actually, Verifiedoriginal ↗
27 Jun 2025
Verified or Certified Robustness? Why don't we have both?original ↗
5 Jun 2025
The Real Danger in SignalGateoriginal ↗
27 Mar 2025
On the rise of Machine Learning through the lens of Music Source Separationoriginal ↗
17 Jan 2025

2024

What really happened at CrowdStrike and why their proposed plan won't guarantee this can't happen again.original ↗
24 Jul 2024
Clearing the CrowdStrike Confusionoriginal ↗
19 Jul 2024
A CTF Challenge for LLMs for Code Analysisoriginal ↗
19 Mar 2024
Using LLMs to Generate Fuzz Generatorsoriginal ↗
9 Mar 2024

2022

The Optus Breachoriginal ↗
25 Sept 2022
A Formal Security Verification Challengeoriginal ↗
2 Mar 2022
A Parable on Software Perfectionoriginal ↗
1 Mar 2022
Fun with 🅆🄾🅁🄳🄻🄴original ↗
21 Feb 2022

2018

Proofs and Side Effectsoriginal ↗
2 Oct 2018

2017

Overcoming Adversity in PhD Researchoriginal ↗
26 Oct 2017

2016

On Teaching Software Engineeringoriginal ↗
18 Jul 2016