yw3410

12 ms·

1. 121.▲
   by yw3410 6y ago

   There are a few for the busy roads, but there are many, many smaller roads with unmarked crossings. In the countryside this is the norm and pedestrians and hikers walk along the road as well. We even have a few national trails go straight a
2. 122.▲
   by yw3410 6y ago

   How do you know the SQL query is right without knowing SQL? Unless you have all possible inputs and outputs (and at that point there are definitely more reliable bits of tech) you won't be able to tell.
3. 123.▲
   by yw3410 6y ago

   The collapse of AI research in the 1980's directly caused a decline in Lisp research.
4. 124.▲
   by yw3410 6y ago

   I don't think this is true (or at least not true for all programs); there's a whole discipline of software which shows how close writing software is to formal logic/inductive proofs in Agda Coq, etc.