User:Shyam Has Your Anomaly Mitigated: Difference between revisions
Content added Content deleted
(→Prolog: Databasic Deductions) |
(→Datalog: Disciple-in Datalog) |
||
Line 70: | Line 70: | ||
*** [http://web.cs.ucdavis.edu/~green/papers/sigmod906t-huang.pdf Datalog and Emerging Applications: An Interactive Tutorial] |
*** [http://web.cs.ucdavis.edu/~green/papers/sigmod906t-huang.pdf Datalog and Emerging Applications: An Interactive Tutorial] |
||
*** [http://www.csd.uoc.gr/~hy562/1112_spring/instr_material/WhatYouAlwaysWantedtoKnowAboutDatalog_AndNeverDaredtoAsk.pdf What You Always Wanted to Know About Datalog (And Never Dared to Ask)] |
*** [http://www.csd.uoc.gr/~hy562/1112_spring/instr_material/WhatYouAlwaysWantedtoKnowAboutDatalog_AndNeverDaredtoAsk.pdf What You Always Wanted to Know About Datalog (And Never Dared to Ask)] |
||
*** [https://www.cs.utexas.edu/users/vl/papers/dpsm.pdf Datalog Programs and Their Stable Models] |
|||
*** [http://www.cs.sjsu.edu/faculty/lee/cs157/24SpDatalog.ppt Datalog] |
|||
*** [https://www.ict.tuwien.ac.at/lva/Boley_SWT/datalog_Stefania_Costantini_Slides.pdf Datalog Semantics] |
|||
*** [http://sydney.edu.au/engineering/it/courses/info2120/lectures/02adv_Datalog.pdf Introduction to Deductive Databases and Datalog] |
|||
*** [http://sydney.edu.au/engineering/it/courses/info2120/docs/DES_Walkthrough.pdf Introduction to Datalog with DES] |
|||
*** [http://www.sciencedirect.com/science/article/pii/S157106611100048X DES: A Deductive Database System] |
*** [http://www.sciencedirect.com/science/article/pii/S157106611100048X DES: A Deductive Database System] |
||
*** [http://des.sourceforge.net/html/manual.html DES User's Manual] |
*** [http://des.sourceforge.net/html/manual.html DES User's Manual] |
Revision as of 06:47, 22 December 2016
My Favorite Languages | |
Language | Proficiency |
Assembly | Jedi Initiate |
C++ | Jedi Initiate |
Prolog | Jedi Initiate |
Datalog | Jedi Initiate |
Haskell | Jedi Initiate |
Elm | Jedi Initiate |
Perl | Jedi Initiate |
TeX | Jedi Initiate |
Hello World,
My name is Shyam; which is a recursive acronym.
But you can call me Cloudwalker ∵ I am a Cloudtrooper ∴ I can clouDance ∧ I whisper to the Cloud (like noone else does).
I am currently studying my B.IT@RMIT ∧ plan to study my M.IT@UNSW; specialising in Artificial Intelligence ∧ Data Science & Engineering.
Rules Of Promotional Experience
- Jedi Initiate: Harvest knowledge crystals to build first software.
- Jedi Padawan : Build first useful software ∧ use/maintain it daily.
- Jedi Knight : Win first competition; #1.
- Jedi Master : Build hacking Instructions/Tools (IT, as in M.IT).
( commented treasures )
My Favourite Languages
Assembly
C++
Prolog
- ROPE:
- Jedi Initiate:
- Jedi Padawan:
- Deductive Database (Datalog, Dedalus, New Pure Logical Query Language)
- Deductive Automation
- Expert System
- Natural Language Processing
- Jedi Knight:
- Jedi Master:
- Prolog Compiler/Interpreter/REPL
- New Pure Logical Programming Language
Datalog
- ROPE:
- Jedi Initiate:
- Datalog and Emerging Applications: An Interactive Tutorial
- What You Always Wanted to Know About Datalog (And Never Dared to Ask)
- Datalog Programs and Their Stable Models
- Datalog
- Datalog Semantics
- Introduction to Deductive Databases and Datalog
- Introduction to Datalog with DES
- DES: A Deductive Database System
- DES User's Manual
- Jedi Padawan:
- Personal databases?
- Application databases?
- Life, the Universe, and Everything?
- Jedi Knight:
- Time-based competition?
- Jedi Master:
- Jedi Initiate:
- Awesome Deduction
Haskell
Elm
Perl
- 3 Is A Magic Number
- Periodic Table of the Operators (2009)
- Periodic Table of the Operators (2004)
- Adventing Perl
- The Perl Police
- Why‽‽‽
- Awesome Perl
TeX
- ℝeal Programmers don't use word processors.
- Xa$h mode
- Typesetting your (recursive) five-letter name, stylised as \LaTeX, is the 1ˢᵗ thing TeXies do. 🖖
- Can be used as inline asm.
- DOT is visually logical.
- Externally:
dot -Tsvg file.dot -o file.svg; inkscape -z -D --file=file.svg --export-pdf=file.pdf;
- miniltx
- graphicx
- \includegraphics
- dot2texi
- dot2tex
- graphviz
- Externally:
- Awesome LaTeX
- ...I'm still waiting for iTeX.