Invited talk: Applying Satisfiability to the Analysis of Cryptography - Galois, Inc. [https://galois.com/news/applying-satisfiability-analysis-cryptography-sat-2015-talk-aaron-tomb/] - 2019-11-20 20:55:36 - public:stevetao Cryptography, SAT, Satisfiability - 3 | id:272030 -
The Boolean Satisfiability Problem [SAT] and SAT solvers in 5 mins* (or more) - 0a.io - [https://0a.io/chapter1/boolean-satisfiability-problem-or-sat-in-5-minutes.html] - 2019-11-20 20:53:04 - public:stevetao Boolean, BSAT, SAT, Satisfiability - 4 | id:272029 -
Sudoku - Satisfiability [http://www.cs.qub.ac.uk/~I.Spence/SuDoku/SuDoku.html] - 2019-11-20 20:52:43 - public:stevetao SAT, Satisfiability, Sudoku - 3 | id:272028 -
The satisfiability problem [http://www.cs.ecu.edu/karl/6420/spr16/Notes/NPcomplete/sat.html] - 2019-11-20 20:46:11 - public:stevetao NP-Complete, SAT, Satisfiability - 3 | id:272027 -
Applications of Boolean Satisfiability (SAT) - Analytics Vidhya - Medium [https://medium.com/analytics-vidhya/application-of-boolean-satisfiability-sat-87f41fb0e5ed] - 2019-11-20 20:44:35 - public:stevetao Boolean, SAT, Satisfiability - 3 | id:272026 -
ชื่อเล่นไทยๆ แต่เก๋ ลูกสาว ลูกชาย ชื่อไทยก็เก๋ได้ ความหมายดีด้วย | theAsianparent Thailand [https://th.theasianparent.com/%E0%B8%8A%E0%B8%B7%E0%B9%88%E0%B8%AD%E0%B9%80%E0%B8%A5%E0%B9%88%E0%B8%99%E0%B9%84%E0%B8%97%E0%B8%A2%E0%B9%86-%E0%B9%81%E0%B8%95%E0%B9%88%E0%B9%80%E0%B8%81%E0%B9%8B-%E0%B8%A5%E0%B8%B9%E0%B8%81%E0%B8%AA%E0%B8%B2%E0%B8%A7-%E0%B8] - 2019-11-16 03:58:12 - public:stevetao Name, Thai - 2 | id:271984 -
1.2.4 Bound and Free Variables [http://www.coli.uni-saarland.de/projects/milca/esslli/html/node8.html] - 2019-11-15 23:45:53 - public:stevetao Bound, Free, Variable - 3 | id:271983 -
logic - Which are the Bound and Free Variables in these expressions? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/474893/which-are-the-bound-and-free-variables-in-these-expressions] - 2019-11-15 23:44:15 - public:stevetao Bound, Free, Variable - 3 | id:271982 -
first order logic - What is the operator precedence for quantifiers? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/1150746/what-is-the-operator-precedence-for-quantifiers] - 2019-11-15 10:24:23 - public:stevetao Logic, Math-Logic, Precedence - 3 | id:271979 -
Getting Google Apps Scripts to Run on Mobile - Stack Overflow [https://stackoverflow.com/questions/50894212/getting-google-apps-scripts-to-run-on-mobile] - 2019-11-14 15:35:24 - public:stevetao GoogleAppsScript, Mobile-App - 2 | id:271974 -
android - Executing Google Apps Script Functions from Mobile App - Stack Overflow [https://stackoverflow.com/questions/33373826/executing-google-apps-script-functions-from-mobile-app] - 2019-11-14 15:33:44 - public:stevetao GoogleAppsScript, Mobile-App - 2 | id:271973 -
Tearing apart printf() – MaiZure's Projects [https://www.maizure.org/projects/printf/index.html] - 2019-11-13 15:07:25 - public:stevetao C, CPP, Printf - 3 | id:271961 -
Logic Alphabet Home Page [http://www.logic-alphabet.net/] - 2019-11-13 07:12:05 - public:stevetao Logic - 1 | id:271958 -
Lecture Notes Philosophy 120A Autumn 2007 Introduction to Logic [https://faculty.washington.edu/smcohen/120/LectureNotes.htm] - 2019-11-11 21:45:57 - public:stevetao Book, Logic - 2 | id:271949 -
Derivation of Null Quantification in Logic? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/850887/derivation-of-null-quantification-in-logic] - 2019-11-11 21:40:12 - public:stevetao Logic, Math-Logic, Null, Quantification, Quantifier - 5 | id:271948 -
Let’s Build A Simple Interpreter. Part 4. - Ruslan's Blog [https://ruslanspivak.com/lsbasi-part4/] - 2019-11-11 21:28:22 - public:stevetao Compiler, Interpreter - 2 | id:271947 -
SHELLdorado - Shell Tips & Tricks (Beginner) [http://www.shelldorado.com/shelltips/beginner.html] - 2019-11-11 10:14:29 - public:stevetao KornShell, Ksh, Shell - 3 | id:271940 -
Korn Shell Tips - Daniel Han's Technical Notes [https://sites.google.com/site/xiangyangsite/home/technical-tips/linux-unix/shell-programming/korn-shell/ksh] - 2019-11-11 10:13:35 - public:stevetao KornShell, Ksh, Shell - 3 | id:271939 -
Mathematical Logic and The Programming: EBNF and Boost.Spirit [http://mathlogicprogs.blogspot.com/2008/11/ebnf-and-boostspirit.html] - 2019-11-11 10:07:02 - public:stevetao EBNF, Math-Logic - 2 | id:271938 -
Introduction to Scheme Continued — 383summer2019 documentation [http://www.sfu.ca/~tjd/383summer2019/scheme-intro-cont.html] - 2019-11-11 10:02:05 - public:stevetao EBNF, Propositional-Logic, Scheme - 3 | id:271937 -
Compiler Design and Construction - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials [http://freecomputerbooks.com/old-compscCompilerBooks.html] - 2019-11-10 21:29:04 - public:stevetao Book, Compiler - 2 | id:271930 -
Linkers and Loaders [https://www.iecc.com/linker/] - 2019-11-10 21:27:58 - public:stevetao Book, Compiler, Free, Linker, Loader - 5 | id:271929 -
An Introduction to GCC - Table of Contents [https://www.linuxtopia.org/online_books/an_introduction_to_gcc/index.html] - 2019-11-10 21:26:04 - public:stevetao Book, Compiler, GCC - 3 | id:271928 -
Website of Bruno R. Preiss [https://web.archive.org/web/20121012054854/http://www.brpreiss.com/] - 2019-11-10 21:24:47 - public:stevetao Algorithm, Book, Compiler, Data-Structures - 4 | id:271927 -
Write You a Haskell ( Stephen Diehl ) [http://dev.stephendiehl.com/fun/] - 2019-11-10 21:16:52 - public:stevetao Book, Compiler, Haskell - 3 | id:271926 -
Compilers and Compiler Generators [https://book.huihoo.com/compilers-and-compiler-generators-an-introduction-with-cpp/] - 2019-11-10 21:15:46 - public:stevetao Book, Compiler - 2 | id:271925 -
tutor - bluntaxebasic [https://sites.google.com/site/bluntaxebasic/tutor/] - 2019-11-10 21:13:44 - public:stevetao Book, Compiler - 2 | id:271924 -
The GENTLE Compiler Construction System [http://gentle.compilertools.net/book/index.html] - 2019-11-10 21:10:36 - public:stevetao Book, Compiler - 2 | id:271923 -
Compiler Construction - Wikibooks, open books for an open world [https://en.wikibooks.org/wiki/Compiler_Construction] - 2019-11-10 21:08:00 - public:stevetao Book, Compiler - 2 | id:271922 -
Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking [https://pdos.csail.mit.edu/~baford/packrat/thesis/] - 2019-11-10 10:06:36 - public:stevetao Compiler - 1 | id:271916 -
Representation - propositional logic [https://ermongroup.github.io/cs323-notes/logic/representation/] - 2019-11-10 09:42:47 - public:stevetao Logic, Math-Logic - 2 | id:271915 -
(36) สุธี สุขสากล [https://www.facebook.com/Suthee.Suksakol/media_set?set=a.10152845596064574.1073742047.680019573&type=3] - 2019-11-07 07:50:40 - public:stevetao Hand-Writing - 1 | id:271303 -
wifi - How do I authenticate to a wireless provider's “open“ network without using a browser? - Unix & Linux Stack Exchange [https://unix.stackexchange.com/questions/118289/how-do-i-authenticate-to-a-wireless-providers-open-network-without-using-a-br] - 2019-11-06 19:40:53 - public:stevetao Auto-login, Login - 2 | id:271296 -
reference request - Axioms of Propositional Logic with as few negation axioms as possible - Mathematics Stack Exchange [https://math.stackexchange.com/questions/3260288/axioms-of-propositional-logic-with-as-few-negation-axioms-as-possible/3261156] - 2019-11-06 09:19:46 - public:stevetao Axiom, Logic, Math, Math-Logic - 4 | id:271293 -
Why are there several axiom systems for propositional logic? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/3230255/why-are-there-several-axiom-systems-for-propositional-logic] - 2019-11-06 09:18:08 - public:stevetao Axiom, Logic, Math, Math-Logic - 4 | id:271292 -
Simpson: Math 557: Mathematical Logic [http://personal.psu.edu/t20/courses/math557/] - 2019-11-05 16:02:03 - public:stevetao Book, Logic, Math-Logic - 3 | id:271285 -
Evaluation of Infix expressions | Algorithms [https://algorithms.tutorialhorizon.com/evaluation-of-infix-expressions/] - 2019-11-05 08:13:13 - public:stevetao Evaluate, Infix - 2 | id:271279 -
logic - Boolean algebra operation precedence? - Mathematics Stack Exchange [https://math.stackexchange.com/questions/128504/boolean-algebra-operation-precedence] - 2019-11-05 07:25:36 - public:stevetao Logic, Precedence - 2 | id:271278 -
Using a Stack to Evaluate an Expression [http://faculty.cs.niu.edu/~hutchins/csci241/eval.htm] - 2019-11-05 06:31:20 - public:stevetao Evaluate, Infix, Postfix - 3 | id:271277 -
16 Evaluation of infix expressions [http://csis.pace.edu/~murthy/ProgrammingProblems/16_Evaluation_of_infix_expressions] - 2019-11-05 06:12:15 - public:stevetao Evaluate, Infix - 2 | id:271276 -
Accueil - Étienne MIQUEY [https://www.irif.fr/~emiquey/these/] - 2019-11-05 02:09:27 - public:stevetao Logic, Math, Math-Logic - 3 | id:271273 -
Bash vs Zsh: A comparison of two command line shells (2019 Update) [https://sunlightmedia.org/bash-vs-zsh/] - 2019-11-02 16:27:35 - public:stevetao Bash, Shell, Zsh - 3 | id:269645 -
terminal - What are the practical differences between Bash and Zsh? - Ask Different [https://apple.stackexchange.com/questions/361870/what-are-the-practical-differences-between-bash-and-zsh] - 2019-11-02 16:24:39 - public:stevetao Bash, Shell, Zsh - 3 | id:269644 -
Algebraic Chess Notation - Chessprogramming wiki [https://www.chessprogramming.org/Algebraic_Chess_Notation#Standard_Algebraic_Notation_.28SAN.29] - 2019-11-01 21:05:12 - public:stevetao Chess, Notation - 2 | id:269638 -
Algebraic Chess Notation - Chessprogramming wiki [https://www.chessprogramming.org/Algebraic_Chess_Notation] - 2019-11-01 17:48:34 - public:stevetao Chess, Notation, Programming - 3 | id:269637 -
how to evaluate an expression using queues. - Q&A [http://www.faqs.org/qa/qa-16124.html] - 2019-10-30 16:34:33 - public:stevetao Evaluate, Postfix, Prefix, Queue, Stack - 5 | id:269616 -
algorithm - Evaluating Prefix operations using a Queue in C - Stack Overflow [https://stackoverflow.com/questions/42918549/evaluating-prefix-operations-using-a-queue-in-c] - 2019-10-30 08:55:50 - public:stevetao Evaluate, Prefix, Queue - 3 | id:269610 -
Expression Evaluation - GeeksforGeeks [https://www.geeksforgeeks.org/expression-evaluation/] - 2019-10-29 08:28:57 - public:stevetao Evaluate, Expression - 2 | id:269599 -
Solved: One Way To Evaluate A Prefix Expression Is To Use ... | Chegg.com [https://www.chegg.com/homework-help/questions-and-answers/one-way-evaluate-prefix-expression-use-queue-evaluate-expression-scan-repeatedly-final-exp-q4727308] - 2019-10-29 08:27:02 - public:stevetao Evaluate, Prefix, Queue - 3 | id:269598 -
6. Trees — Data Structures and Algorithms with Python [http://knuth.luther.edu/~leekent/CS2Plus/chap6/chap6.html] - 2019-10-29 08:20:33 - public:stevetao Algorithm, Book, Data-Structures, Python, Tree - 5 | id:269597 -
