Re:Show HN: Dependently typed language for proofs that you c...
by jimsimmons on Saturday October 02, 2021 @02:48AM
(#28726548)
Posting to HN with a title that says “you can” makes your point moot no?
[ Parent
| on HN ]
Re:Show HN: Dependently typed language for proofs that you c...
by tome on Saturday October 02, 2021 @02:54AM
(#28726573)
Hmmm yes perhaps. Imagine a submission titled "A linear filter for DSP you can solder up yourself in a day". 95% on HN couldn't. Would the response "I’m constantly baffled by what electrical engineers call “simple”." be warranted? Maybe.
Re:Show HN: Dependently typed language for proofs that you c...
by gpderetta on Saturday October 02, 2021 @05:32AM
(#28727298)
As someone that has very little idea of what all of that is, I think the title is great and certainly made me consider looking into the implementation.
It might be wildly optimistic, but encouraging people to learn new things, especially by trying, is always a good thing.
Re:Show HN: Dependently typed language for proofs that you c...
by caotic123 on Sunday October 03, 2021 @04:33PM
(#28740300)
Thank you, it is exactly what I was expecting people to understand!
Re:Show HN: Dependently typed language for proofs that you c...
by Zababa on Saturday October 02, 2021 @09:48AM
(#28728546)
I think that's the case for most DIY projects that we have on Hacker News. Most assume that you have lots of X in the first place. It can be lots of experience with programming languages, it can be a lot of space, it can be tools.