correctness   491

« earlier - Parsing JSON is a Minefield 💣
JSON is the de facto standard when it comes to (un)serialising and exchanging data in web and mobile programming. But how well do you really know JSON? We'll read the specifications and write test cases together. We'll test common JSON libraries against our test cases. I'll show that JSON is not the easy, idealised format as many do believe. Indeed, I did not find two libraries that exhibit the very same behaviour. Moreover, I found that edge cases and maliciously crafted payloads can cause bugs, crashes and denial of services, mainly because JSON libraries rely on specifications that have evolved over time and that left many details loosely specified or not specified at all.
ambiguity  testing  json  correctness  specification  denial_of_service 
2 days ago by jbkcc
Ironic Effects of Antiprejudice Messages: How Motivational Interventions Can Reduce (but Also Increase) Prejudice - Lisa Legault, Jennifer N. Gutsell, Michael Inzlicht, 2011
motivating people to reduce prejudice by emphasizing external control produced more explicit and implicit prejudice than did not intervening at all. Conversely, participants in whom autonomous motivation to regulate prejudice was induced displayed less explicit and implicit prejudice compared with no-treatment control participants.
political  correctness 
6 days ago by geof
Unrolled thread from @Hillelogram
I've been picking a lot of fights on twitter lately, mostly with static FP and TDD people. I don't like being hostile and want to reduce that kind of behavior. I also tried to understand why I was getting so riled up. I think it's about how I approach software correctness.
software  system  architecture  dev  development  engineering  programming  correctness  systems 
january 2018 by aviflax
has insights on how const applies to api design in ISO C
c  const  correctness  pointers  double-pointer  insightful  code  programming 
january 2018 by seltzy

« earlier    

related tags

#metoo  1%  24/7  academic  academics  accuracy  acid  acolyer  action  ada  afd  affirmative  algorithm  alt-right  altersarmut  ambiguity  america  american  analysis  analyzer  andrew  appropriation  architecture  armut  austerity  behavioral  bias  blacklivesmatter  bloom  book  books  brexit  bro  btw17  buch  bug  bugs  c++  c  casting  charts  chassis  chrome  class  closing  cockroachdb  code  coding  coefficient  college  commonlisp  completeness  complexity  computability  computers  computerscience  concurrency  consciousness  conservative  consistence  consistency  const  corporates  crhesi  cryptographic  cryptography  cultural  culture  dark  data-cleanliness  data  database  db  debugging  denial_of_service  derive  design  dev  development  discrimination  distributed-systems  distributed  distributedsystems  diversity  donald  donaldtrump  double-pointer  dream  dualpivot  east  education  elite  enemy  engineering  erlang  error-correction  error-detection  error-handling  error  errors  ethics  execution  exonym  extension  far-right  female  feminism  feminist  filesystems  formal-methods  formal  free  fsm  functional  gap  gatekeepers  gdr  gender-based  gender  germany  gini  go  golang  google  harassment  hartz-iv  history  hoare  homophobia  identity  ifttt  immigration  important  income  inequality  insanity  insecurity  insightful  invented  islamophobia  isolation  its  java  jdk  jewish  jordan  json  judaism  jwz  klee  label-makers  label-making  language  ldnont  lgbt  liberal  library  lisp  logs  machine-learning  managing-complexity  martinfowler  metoo  middle  mind  mit  mobility  model  nazo  neo-nazi  neoliberalismus  newjersey  nfl  no  object  of  oligarchy  oop  operatingsystems  orm  output  outrage  papers  parameter  passing  patriotic  pay  paygap  pc  personality  peterson  philosophy  php  plutocracy  pointers  policy  political  politics  poor  post-racial  poverty  precariat  productivity  professionals  program-analysis  programming  proof  psychology  python  qualities  quicksort  race  racism  radar  raising  readability  refugee  reliability  representation  resilience  respect  rich  richardgabriel  right-wing  robustness  save  saxony  scheme  science  security  semiotics  serializability  sex  sexism  sexismus  sexual  share  shitstorm  simplicity  skill  skills  social  sociology  software  softwareengineering  space  spark  specification  spectre  speech  sql  state  static-analysis  structural  sullivan  super  supremacists  supremacy  symbolic  system  systems  testing  the  theory  tla+  tla  to-grok  to-read  tool  tools  trap  trickle-down  trigger-warnings  trump  twitter-quote  types  ukip  underemployed  unemployment  universities  unix  verification  video  vocational  war  whd  white  whiteness  women  working  writing  xenophobia 

Copy this bookmark: