xxmarijnw

3 ms·

1. 1.▲
   by xxmarijnw 2y ago

   I just notice now that I wrote is a suitable alternative . I meant to write is NOT a suitable alternative . :)
2. 2.▲
   by xxmarijnw 2y ago

   TypeScript is a suitable alternative to real proof assistants like Rocq. Not only does non-termination break Curry-Howard like you mentioned, the type system of TypeScript is actually unsound on purpose: https://www.typescriptlan
3. 3.▲
   Show HN: TypeScript as a proof assistant for intuitionistic propositional logic(gist.github.com)

   17 points by xxmarijnw 2y ago|3 comments
4. 4.▲
   Haskell-dev-env – An opinionated pre-built Dev Container for Haskell(github.com)

   2 points by xxmarijnw 2y ago|0 comments
5. 5.▲
   by xxmarijnw 5y ago

   I made this project together with a friend to make doing homework together easier. We do not like using Discord, since it is closed-source and seems like a bloated program. Instead, for the entire lockdown we shared our screens through our
6. 6.▲
   Show HN: Simple peer-to-peer screen sharing(github.com)

   3 points by xxmarijnw 5y ago|1 comments