Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
anonymous908213
4 days ago
|
parent
|
context
|
favorite
| on:
Show HN: Lasm – Write formally verified webapps in...
Oh boy! My favorite thing about vibe coding is when agents write tests that assert whether certain strings exist in the codebase. Now we can formally verify that they do!
help
krystalgamer
4 days ago
[–]
same! i noticed this a while ago and can't stop seeing it everywhere -
https://github.com/legluondunet/SpiderMan2k1Fix/blob/7c6e032...
reply
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
