Reisande
Re:Haskell's Children
on Wednesday September 23, 2020 @08:04PM (#24573775)
Re:Show HN: LinCV – transform LinkedIn profile to printable CV in 5 se...
on Saturday April 04, 2020 @11:06PM (#22783434)
If you have a problem with showing your CV why not just censor it? Or some other generated examples?
Re:Loop invariants can give you coding superpowers
on Wednesday April 03, 2019 @01:39PM (#19565365)
This isn't necessarily a new idea. Tony Hoare discussed the idea for a while with his creation of Hoare triples; we are learning about the application right now in my Software Foundations course. It has a lot of interesting application within Coq for the analysis of the validity of programs, though. A good place to learn more about the application is here: https://softwarefoundations.cis.upenn.edu/current/plf-curren...