News for hackers. Stuff that matters.

A comment on Show HN: Dependently typed language for proofs that you can implement in one day. Parent comment

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.
[ Parent | on HN ]

There are no comments on this comment yet.