Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
happyalexander | Dark Hacker News
user:
happyalexander
created:
February 21, 2024
karma:
4
submissions
comments
1.
Prose as Code: Applying Formal Verification to Product Specs
(alexanderabramovich.medium.com)
7 points
by
happyalexander
5 hours ago
|
0 comments
2.
Denavigation: The End of Apps and the Verification Bottleneck
(alexanderabramovich.medium.com)
1 points
by
happyalexander
18 days ago
|
0 comments