How To Write Proofs [http://zimmer.csufresno.edu/~larryc/proofs/proofs.html] - 2022-11-18 05:47:36 - public:stevetao Book, Free, Math, Proof - 4 | id:1294352 -
PROOF IN MATHEMATICS: AN INTRODUCTION [https://web.maths.unsw.edu.au/~jim/proofs.html] - 2022-11-18 05:46:35 - public:stevetao Book, Free, Math, Proof - 4 | id:1294351 -
Free Texts and More [https://hefferon.net/] - 2022-11-18 05:39:21 - public:stevetao Book, Free, Math, Proof, Theory-of-Computation - 5 | id:1294350 -
There are two shooters A and B who hit a certain target with probabilities 0.4 and 0.7, respectively. At a moment, each one shoots that target, what's the probability that shooter A hits the target if we know the target is hit once.? - Quora [https://www.quora.com/There-are-two-shooters-A-and-B-who-hit-a-certain-target-with-probabilities-0-4-and-0-7-respectively-At-a-moment-each-one-shoots-that-target-whats-the-probability-that-shooter-A-hits-the-target-if-we-know-the-target] - 2022-11-18 05:09:25 - public:stevetao Bayesian, Probability - 2 | id:1294349 -
Future skills | Nesta [https://www.nesta.org.uk/project/future-skills/] - 2022-11-18 03:24:44 - public:stevetao Framework, Skill - 2 | id:1294348 -
SkillsFuture Singapore (SSG) [https://www.skillsfuture.gov.sg/] - 2022-11-18 03:21:38 - public:stevetao Framework, Skill - 2 | id:1294347 -
O*NET OnLine [https://www.onetonline.org/] - 2022-11-18 03:21:36 - public:stevetao Framework, Skill - 2 | id:1294346 -
Textbooks — Ted Sundstrom [https://www.tedsundstrom.com/textbooks3] - 2022-11-18 03:02:21 - public:stevetao Book, Free, Math, Proof - 4 | id:1294345 -
Approved Textbooks | American Inst. of Mathematics [https://aimath.org/textbooks/approved-textbooks/] - 2022-11-18 02:58:36 - public:stevetao Algebra, Book, Calculus, Discrete-Math, Free, Logic, Math, Math-Logic, Number-Theory, Probability, Proof - 11 | id:1294344 -
Stack based vs Register based Virtual Machine Architecture, and the Dalvik VM – Engineering The Code [https://markfaction.wordpress.com/2012/07/15/stack-based-vs-register-based-virtual-machine-architecture-and-the-dalvik-vm/] - 2022-11-15 12:49:53 - public:stevetao Computer-Architecture, Machine, Register, Register-Machine, Stack, Stack-Machine, Virtual, Virtual-Machine - 8 | id:1294331 -
bytecode - Why do VMs need to be “stack machines“ or “register machines“ etc.? - Software Engineering Stack Exchange [https://softwareengineering.stackexchange.com/questions/244354/why-do-vms-need-to-be-stack-machines-or-register-machines-etc] - 2022-11-15 12:42:08 - public:stevetao Architecture, Computer, Computer-Architecture, Machine, Register, Register-Machine, Stack - 7 | id:1294330 -
Stack Based Virtual Machines - 1 · Andrea Bergia's Website [https://andreabergia.com/blog/2015/03/stack-based-virtual-machines-1/] - 2022-11-15 12:40:23 - public:stevetao Machine, Stack, Stack-Machine - 3 | id:1294329 -
CSC445 - Models of Computation (Spring 2004) [https://homepage.cs.uri.edu/faculty/hamel/courses/2014/spring2014/csc445/] - 2022-11-15 12:36:58 - public:stevetao Machine, Stack, Stack-Machine, Theory-of-Computation - 4 | id:1294328 -
CS 5641: Compiler Design (Fall 2009) [https://www.d.umn.edu/~rmaclin/cs5641/] - 2022-11-15 12:35:15 - public:stevetao Compiler, Course - 2 | id:1294327 -
Compiler Theory: Intermediate Code Generation [https://www.csd.uwo.ca/~mmorenom/CS447/Lectures/IntermediateCode.html/IntermediateCode.html] - 2022-11-15 12:33:20 - public:stevetao Compiler, Course - 2 | id:1294326 -
Abstract Stack Machines [https://www.csd.uwo.ca/~mmorenom/CS447/Lectures/IntermediateCode.html/node2.html] - 2022-11-15 12:32:44 - public:stevetao Abstract-Machine, Architecture, Computer, Computer-Architecture, Machine, Stack, Stack-Machine, Theory-of-Computation - 8 | id:1294325 -
Stack machine - Academic Kids [https://academickids.com/encyclopedia/index.php/Stack_machine] - 2022-11-15 12:31:44 - public:stevetao Architecture, Computer, Computer-Architecture, Machine, Stack, Stack-Machine - 6 | id:1294324 -
Stack Machines: Fundamentals [https://igor.io/2013/08/28/stack-machines-fundamentals.html] - 2022-11-15 12:24:21 - public:stevetao Architecture, Computer, Computer-Architecture, Machine, Stack, Stack-Machine - 6 | id:1294323 -
Stack Machine: A computational model [https://iq.opengenus.org/stack-machine-a-computational-model/] - 2022-11-15 12:22:57 - public:stevetao Architecture, Computer, Computer-Architecture, Machine, Stack, Stack-Machine - 6 | id:1294322 -
Stack Computers: 3.2 A GENERIC STACK MACHINE [https://users.ece.cmu.edu/~koopman/stack_computers/sec3_2.html] - 2022-11-15 12:21:20 - public:stevetao Computer-Architecture, Machine, Stack, Stack-Machine - 4 | id:1294321 -
stack machine [https://people.ece.cornell.edu/land/courses/ece5760/DE2/Stack_cpu.html] - 2022-11-15 12:20:54 - public:stevetao Computer-Architecture, Machine, Stack, Stack-Machine - 4 | id:1294320 -
How to Play Thai Chess - Makruk - Mak-rook - Makrook - Xiangqi - Shogi [https://ancientchess.com/page/play-makruk.htm] - 2022-11-12 16:04:35 - public:stevetao Chess, Chess-Variant, Makruk, Thai, Variant - 5 | id:1294284 -
PyChess • Free Online Chess Variants [https://www.pychess.org/] - 2022-11-12 14:42:44 - public:stevetao Chess, Chess-Variant, Makruk, Variant - 4 | id:1294283 -
Learn Thai Chess Also Called Makruk [http://www.learn-and-play-online-chess.com/thai-chess.html] - 2022-11-12 14:41:41 - public:stevetao Chess, Chess-Variant, Makruk, Thai, Variant - 5 | id:1294282 -
An Introduction to Scheme and its Implementation - Table of Contents [https://www.cs.utexas.edu/ftp/garbage/cs345/schintro-v14/schintro_toc.html] - 2022-11-12 11:35:39 - public:stevetao Compiler, Lexical-Analyzer, Scheme - 3 | id:1294281 -
CS 335A: Compiler Design [https://karkare.github.io/cs335/] - 2022-11-12 11:31:25 - public:stevetao Compiler, Course - 2 | id:1294280 -
GitHub - Wingdom/pmachine_leximiser: Implement lexical analyzer for language nested C/0 [https://github.com/Wingdom/pmachine_leximiser] - 2022-11-12 11:23:15 - public:stevetao Compiler, Lexical-Analyzer - 2 | id:1294279 -
Anatomy of a Compiler and The Tokenizer [http://www.cs.man.ac.uk/~pjj/farrell/comp3.html] - 2022-11-12 00:29:31 - public:stevetao Compiler, Course - 2 | id:1294274 -
Mini C# Compiler - CodeProject [https://www.codeproject.com/Articles/30176/Mini-C-Compiler] - 2022-11-12 00:28:54 - public:stevetao C-Sharp, Compiler - 2 | id:1294273 -
Compiler Construction with C# and .Net Intermediate Language [https://www.cl.cam.ac.uk/teaching/0910/CompConstr/NEJ/] - 2022-11-12 00:28:37 - public:stevetao C-Sharp, Compiler, Course - 3 | id:1294272 -
Appendix J: Mini Projects - Object Oriented Programming with C++, Second Edition [Book] [https://www.oreilly.com/library/view/object-oriented-programming/9789332503663/xhtml/appendix-j.xhtml] - 2022-11-12 00:19:25 - public:stevetao C++, Compiler, Object-Oriented, OOP, Programming - 5 | id:1294270 -
Mini-languages: A Way to Learn Programming Principles [http://www.contrib.andrew.cmu.edu/~plb/papers/minilang.html] - 2022-11-12 00:18:45 - public:stevetao Compiler, Programming-Languages - 2 | id:1294269 -
Top 22 Java Libraries and APIs Every Programmer Should Learn in 2022 | by javinpaul | Javarevisited | Medium [https://medium.com/javarevisited/20-essential-java-libraries-and-apis-every-programmer-should-learn-5ccd41812fc7] - 2022-11-12 00:04:03 - public:stevetao Java, Programming - 2 | id:1294268 -
Mini-Java Compiler [https://pld.cs.luc.edu/courses/271/fall18/mnotes/compiler.html] - 2022-11-12 00:03:49 - public:stevetao Compiler, Java, Programming-Languages - 3 | id:1294267 -
compilation - What is the difference between a token and a lexeme? - Stack Overflow [https://stackoverflow.com/questions/14954721/what-is-the-difference-between-a-token-and-a-lexeme#comment20999371_14958865] - 2022-11-11 23:52:29 - public:stevetao Compiler, Lexical-Analyzer - 2 | id:1294265 -
CS103: Mathematical Foundations of Computing [http://web.stanford.edu/class/archive/cs/cs103/cs103.1172/] - 2022-11-11 04:49:54 - public:stevetao Course, Theory-of-Computation - 2 | id:1294256 -
p-code machine - Informatics Engineering - 3065 - p2k.unkris.ac.id [http://p2k.unkris.ac.id/IT/en/3065-2962/p-code-machine_12900_p2k-unkris.html] - 2022-11-11 03:14:28 - public:stevetao P-code, Virtual-Machine - 2 | id:1294255 -
GitHub - denilson-melo/p-code-machine-C: An implementation of a simple P-code machine using C. [https://github.com/denilson-melo/p-code-machine-C] - 2022-11-10 08:06:53 - public:stevetao P-code, Virtual-Machine - 2 | id:1294248 -
Variants supported by XBoard [https://www.gnu.org/software/xboard/whats_new/rules/] - 2022-11-09 15:21:35 - public:stevetao Chess, Chess-Variant, Makruk, Variant - 4 | id:1294230 -
Fairy-Stockfish | Open Source Chess Variant Engine [https://fairy-stockfish.github.io/] - 2022-11-09 15:18:23 - public:stevetao Chess, Chess-Engine, Chess-Variant, Engine, Variant - 5 | id:1294229 -
zahak from amanjpro - GithubHelp [https://githubhelp.com/amanjpro/zahak] - 2022-11-09 15:03:50 - public:stevetao Chess, Chess-Engine, Engine - 3 | id:1294228 -
Protej Chess Engine [https://protej.info/] - 2022-11-09 15:03:12 - public:stevetao Chess, Chess-Engine, Engine - 3 | id:1294227 -
Blogglistene [http://www.blogglistene.no/blog/blogger-com/chessengines/] - 2022-11-09 15:02:06 - public:stevetao Chess, Chess-Engine, Engine - 3 | id:1294226 -
Chess Engines Diary [https://chessengines.blogspot.com/] - 2022-11-09 15:01:19 - public:stevetao Chess, Chess-Engine, Engine - 3 | id:1294225 -
Leela Chess Zero [https://lczero.org/] - 2022-11-09 14:57:39 - public:stevetao Chess, Chess-Engine, Engine - 3 | id:1294223 -
RWBC Link Section [https://rwbc-chess.de/links.htm] - 2022-11-09 14:56:16 - public:stevetao Chess - 1 | id:1294222 -
rustic/readme.md at master · mvanthoor/rustic · GitHub [https://github.com/mvanthoor/rustic/blob/master/readme.md] - 2022-11-09 14:55:10 - public:stevetao Chess, Chess-Engine, Engine - 3 | id:1294221 -
Laws of ASEAN-Chess – ASEAN Chess Confederation [https://aseanchess.org/laws-of-asean-chess/] - 2022-11-09 14:43:28 - public:stevetao ASEAN, Chess, Chess-Variant, Variant - 4 | id:1294220 -
Chess Variants [http://mlwi.magix.net/bg/chessvar.htm] - 2022-11-09 14:43:05 - public:stevetao Chess, Chess-Variant, Variant - 3 | id:1294219 -
Asean Chess [http://mlwi.magix.net/bg/aseanchess.htm] - 2022-11-09 14:42:28 - public:stevetao ASEAN, Chess, Chess-Engine, Chess-Variant - 4 | id:1294218 -