| p | q | r | q and r | p or (q and r) | p or q | p or r | (p or q) and (p or r) | p or (q and r) <=> (p or q) and (p or r) |
|---|---|---|---|---|---|---|---|---|
| F | F | F | F | F | F | F | F | T |
| F | F | T | F | F | F | T | F | T |
| F | T | F | F | F | T | F | F | T |
| F | T | T | T | T | T | T | T | T |
| T | F | F | F | T | T | T | T | T |
| T | F | T | F | T | T | T | T | T |
samuelgoto
/ reduction.md
Last active
February 24, 2020 02:32
- go over syllogisms
- understand speech acts
- http://boole.stanford.edu/pub/lingol75.html
- planning and winograd's http://hci.stanford.edu/winograd/shrdlu/
- planner programming language https://en.wikipedia.org/wiki/Planner_(programming_language)
- euclidian and tarki's axioms of geometry
samuelgoto
/ vscode.md
Created
May 7, 2019 16:47
Sam's vscode configs:
{
"version": "2.0.0",
samuelgoto
/ ascii.md
Created
April 30, 2019 02:57
+-------------+ +---------------+
| hello world |----------------| |
+-------------+ +---------------+
samuelgoto
/ editors.md
Created
March 22, 2019 16:33
samuelgoto
/ local-wpt.md
Last active
March 22, 2019 19:28
python third_party/blink/tools/run_blink_wptserve.py -t Linux
./out/Linux/chrome --enable-blink-features=MojoJS,MojoJSTest
checking for flakyness:
third_party/blink/tools/run_web_tests.py -t Linux external/wpt/idle/interceptor.https.html --repeat-each=100
samuelgoto
/ workflow.md
Last active
May 9, 2023 05:40
samuelgoto
/ fol.md
Last active
February 12, 2019 19:25
samuelgoto
/ opensfm.md
Created
October 31, 2018 22:50
cmake .. -DBUILD_TESTS=OFF -DBUILD_PYTHON=ON -DPYBIND11_PYTHON_VERSION=2.7 -DPYTHON_INSTALL_DIR=/Users/goto/Library/Python/2.7/lib/python/site-packages/ -DPYTHON_EXECUTABLE=/usr/local/bin/python
samuelgoto
/ vision.md
Last active
September 12, 2018 20:47