Y
Hacker News
new
|
ask
|
show
|
jobs
user:
gopiandcode
created:
2019-06-05
karma:
1201
pronouns: she/her
url: kirancodes.me
submissions:
Pact: Trustworthy Coordination for Multi-Agentic Ecosystems
3 points
|
0 comments
0 points
|
0 comments
Building an Unverified Compiler with Agents
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Lean proved this program was correct; then I found a bug
7 points
|
0 comments
Buffer Overflow in Lean_io_prim_handle_read
2 points
|
1 comments
Multi-Agentic Software Development Is a Distributed Systems Problem
1 points
|
0 comments
Vibe-Coding a Verified Compiler (JS-2-WASM)
3 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Humanity is stained by C and no LLM can rewrite it in Rust
3 points
|
9 comments
0 points
|
0 comments
Why Lean 4 replaced OCaml as my Primary Language
27 points
|
5 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
LLMs pose an interesting problem for DSL designers
220 points
|
151 comments
The looming problem of slow and brittle proofs in SMT verification
4 points
|
0 comments