Skip to content
Navigation menu
Search
Powered by
Search
Algolia
Search
Log in
Create account
Forem
Close
#
correctness
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Security and Correctness: two different concepts.
Marco Servetto
Marco Servetto
Marco Servetto
Follow
Jan 27 '22
Security and Correctness: two different concepts.
#
todayilearned
#
security
#
correctness
#
programming
5
 reactions
Comments
1
 comment
4 min read
`tuple` Reveals Your Intent
xtofl
xtofl
xtofl
Follow
Sep 25 '21
`tuple` Reveals Your Intent
#
tuple
#
python
#
correctness
#
codereview
6
 reactions
Comments
Add Comment
4 min read
Reasons for loving Ada. #1: strong typing
Riccardo Bernardini
Riccardo Bernardini
Riccardo Bernardini
Follow
Dec 10 '17
Reasons for loving Ada. #1: strong typing
#
ada
#
strongtyping
#
correctness
#
debug
30
 reactions
Comments
21
 comments
8 min read
Edsger Dijkstra and the TSA school of software correctness
Avdi Grimm
Avdi Grimm
Avdi Grimm
Follow
Mar 24 '20
Edsger Dijkstra and the TSA school of software correctness
#
opinion
#
computerscience
#
correctness
#
errors
2
 reactions
Comments
Add Comment
3 min read
loading...
We're a blogging-forward open source social network where we learn from one another
Log in
Create account
