- 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
samuelgoto
/ webpub.md
Last active
August 28, 2018 00:44
Signing-in and authenticating
https://indieauth.com/auth?me=http%3A%2F%2Fcode.sgo.to&client_id=http%3A%2F%2Fcode.sgo.to&state=456&scope=read%20follow%20mute%20block%20create&redirect_uri=http%3A%2F%2Fcode.sgo.to
Redirected to