Wednesday, October 28, 2026 Today’s Paper
Log in Join free
Vol. I · No. 29 Texas Edition
Wednesday, Oct 28
Xultr
Texas first. Then the world.
Always free Updated 1 minute ago
Read. React. Discuss.
Tech

Assure – formal verification for every PR

Hacker News (Newest) By Veloc1te 2 views 0 comments

Article URL: https://symbolia.ai/

Comments URL: https://news.ycombinator.com/item?id=50203368

Points: 2

# Comments: 0

Hacker News (Newest) Original story · symbolia.ai
Read the full story
How does this story make you feel?
👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

More to read

Tech

Ask HN: What Happened in DNSSEC Yesterday?

I have had DNSSEC verification enabled for a couple of months in systemd-resolved. Not that I am particular paranoid or do any nuclear-sensitive stuff on my machine…

Hacker News (Newest)