17 days ago|discuss
user: tristenharr
166 karma | created 3 years ago
recent submissions
Logos Programming Language is now on Grokipedia
(grokipedia.com)
2 pts|1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
Show HN: The Logos Programming Language and Theorem Prover
(logicaffeine.com)
3 pts|1 month ago|3 comments
1 month ago|discuss
RFC: Distributed Computation Mesh in Logos Language
(github.com)
3 pts|1 month ago|discuss
1 month ago|discuss
Logos Theorem Prover: Auto Tactic
(logicaffeine.com)
1 pts|1 month ago|1 comment
1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
Logos Language Guide: Compile English to Rust
(logicaffeine.com)
53 pts|1 month ago|34 comments
8 months ago|discuss