Viewing profile — Reisande
Reisande
HN member- Joined
- Wed, Apr 03, 2019, 5:39 PM UTC
- HN karma
- 3
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About Reisande
No profile information was provided.
Recent public activity
-
comment
Comment #24573775
https://docs.rs/functional/0.0.5/functional/trait.Monad.html
-
comment
Comment #22783434
If you have a problem with showing your CV why not just censor it? Or some other generated examples?
-
comment
Comment #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 Foun…