corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0876d-28d3-71af-81fb-6c6fa0da324f

On emptiness, correctness and reasoning

diogocastro.com · published 9 September 2017

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 diogocastro.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
17
Words captured
2,041

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Null_pointer
en.wikipedia.org
https://softwareengineering.stackexchange.com/a/12785/101308
softwareengineering.stackexchange.com
https://lucid.co/techblog/2015/08/31/the-worst-mistake-of-computer-science/
lucid.co
https://github.com/aspnet/AspNetWebStack/blob/v3.2.3/src/System.Web.Http/Controllers/HttpControllerContext.cs
github.com
https://github.com/aspnet/AspNetWebStack/blob/v3.2.3/test/System.Web.Http.Test/Controllers/HttpControllerContextTest.cs
github.com
https://github.com/google/guava/wiki/UsingAndAvoidingNullExplained
github.com
https://hackernoon.com/java-is-unsound-28c84cb2b3f
hackernoon.com
https://vimeo.com/14313378
vimeo.com
https://www.stackage.org/haddock/lts-9.2/base-4.9.1.0/Numeric-Natural.html
stackage.org
https://twitter.com/KenScambler/status/621933432365432832
twitter.com
https://gist.github.com/oxbowlakes/8d13fae255412e00c59ae6f536a84773
gist.github.com
https://web.archive.org/web/20181121192709/https://developer.atlassian.com/blog/2015/08/optional-broken/
web.archive.org
https://stackoverflow.com/q/24547673/857807
stackoverflow.com
https://github.com/functionaljava/functionaljava
github.com
https://github.com/louthy/language-ext
github.com
https://github.com/dotnet/csharplang/blob/master/proposals/nullable-reference-types.md
github.com
https://archive.ph/FkYfR
archive.ph