Record · corpus.blog/posts/01a08770-4cb5-72d3-92f5-03493a942bd5

Type-Driven Development

duesee.dev · published 26 January 2021

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at duesee.dev Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 27
Words captured: 4,779

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://twitter.com/SwiftOnSecurity/status/1479598531803590666

twitter.com

https://en.wikipedia.org/wiki/Ward_Cunningham

en.wikipedia.org

https://obsidian.md

obsidian.md

Zola Read at the source ↗

getzola.org

https://gohugo.io/

gohugo.io

https://domains.google/tld/dev/

domains.google

https://caddyserver.com/

caddyserver.com

https://github.com/CaiJimmy/hugo-theme-stack

github.com

https://github.com/duesee/imap-codec

github.com

https://nostarttls.secvuln.info/

nostarttls.secvuln.info

https://docs.rs/imap-codec/latest/imap_codec/parse/command/fn.command.html

docs.rs

https://docs.rs/imap-codec/latest/imap_codec/parse/response/fn.response.html

docs.rs

https://docs.rs/imap-codec/latest/imap_codec/types/command/struct.Command.html

docs.rs

https://docs.rs/imap-codec/latest/imap_codec/types/response/enum.Response.html

docs.rs

https://docs.rs/imap-codec/latest/imap_codec/codec/trait.Encode.html

docs.rs

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Template_literals

developer.mozilla.org

https://alpaca-attack.com/ALPACA.pdf

alpaca-attack.com

https://langsec.org/papers/langsec-cwes-secdev2016.pdf

langsec.org

Introducing Miscreant: a multi-language misuse resistant encryption library Read at the source ↗

tonyarcieri.com

https://www.youtube.com/watch?v=bnnacleqg6k

youtube.com

https://bugzilla.mozilla.org/show_bug.cgi?id=1749957

bugzilla.mozilla.org

https://datatracker.ietf.org/doc/html/rfc3501

datatracker.ietf.org

https://www.ecorax.net/tightness/

ecorax.net

https://github.com/QuinnWilton/programming-with-types-talk

github.com

https://www.idris-lang.org/

idris-lang.org

https://github.com/duesee/imap-codec/tree/main/fuzz

github.com

https://github.com/duesee/imap-codec/blob/main/fuzz/fuzz_targets/command_to_bytes_and_back.rs

github.com