Top New Best Ask Show Jobs

kbr-

180 karma · joined June 23, 2020

submissions comments

Show HN: Kotlean: write Android apps in Lean

github.com·1 pts·kbr-·

Async FFI Framework for Rust <-> C# Interop

scylladb.com·1 pts·kbr-·

Systems Lean

github.com·1 pts·kbr-·

Formal Vibefication

proofofkeags.com·1 pts·kbr-·

Claudopus vs. Astralisk

kbr.is-a.dev·2 pts·kbr-·

Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

raw.githubusercontent.com·5 pts·kbr-·

Ask HN: Research on Effectiveness of FOMO Marketing?

2 pts·kbr-·