User:Shyam Has Your Anomaly Mitigated: Difference between revisions

From Rosetta Code
Content added Content deleted
(→‎Haskell: My first con!!! :D)
(consistency)
Line 58: Line 58:
* [https://en.wikipedia.org/wiki/Standard_Template_Library#Composition STL]
* [https://en.wikipedia.org/wiki/Standard_Template_Library#Composition STL]
* [http://www.boost.org/doc/libs/ Boost]
* [http://www.boost.org/doc/libs/ Boost]
* Only during competitions:
* '''Only during competitions:'''
** [https://www.quora.com/What-are-some-cool-C%2B%2B-tricks-to-use-in-a-programming-contest/answer/Bidhan-Roy auto] ([http://www.acodersjourney.com/2016/02/c-11-auto/ responsibly])
** [https://www.quora.com/What-are-some-cool-C%2B%2B-tricks-to-use-in-a-programming-contest/answer/Bidhan-Roy auto] ([http://www.acodersjourney.com/2016/02/c-11-auto/ responsibly])
** [https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_headers.html stdc++.h / stdtr1c++.h / extc++.h]
** [https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_headers.html stdc++.h / stdtr1c++.h / extc++.h]
Line 65: Line 65:


=== [https://www.iso.org/obp/ui/#iso:std:iso-iec:13211:-1:ed-1:v1:en Prolog] ===
=== [https://www.iso.org/obp/ui/#iso:std:iso-iec:13211:-1:ed-1:v1:en Prolog] ===
* '''ROPE:'''
==== ROPE ====
** '''Jedi Initiate:'''
* '''Jedi Initiate:'''
*** [https://github.com/vhf/free-programming-books/blob/master/free-programming-books.md#prolog Free Prolog Books]
** [https://github.com/vhf/free-programming-books/blob/master/free-programming-books.md#prolog Free Prolog Books]
*** [https://en.wikipedia.org/wiki/Prolog#External_links Prolog External Links]
** [https://en.wikipedia.org/wiki/Prolog#External_links Prolog External Links]
*** [https://en.wikibooks.org/wiki/Prolog Prolog Wikibook]
** [https://en.wikibooks.org/wiki/Prolog Prolog Wikibook]
** '''Jedi Padawan:'''
* '''Jedi Padawan:'''
*** Deductive [https://en.wikipedia.org/wiki/Database_engine Database] (Datalog, Dedalus, New Pure Logical Query Language)
** Deductive [https://en.wikipedia.org/wiki/Database_engine Database] (Datalog, Dedalus, New Pure Logical Query Language)
**** [https://web.archive.org/web/20120308104055/http://ssdi.di.fct.unl.pt/krr/docs/magicsets.pdf Magic Sets and Other Strange Ways to Implement Logic Programs]
*** [https://web.archive.org/web/20120308104055/http://ssdi.di.fct.unl.pt/krr/docs/magicsets.pdf Magic Sets and Other Strange Ways to Implement Logic Programs]
**** [http://www.cs.cmu.edu/~twelf/guide-1-4/twelf_5.html#SEC31 Tabled Logic Programming]
*** [http://www.cs.cmu.edu/~twelf/guide-1-4/twelf_5.html#SEC31 Tabled Logic Programming]
**** [http://www3.cs.stonybrook.edu/~tswift/webpapers/jlp-95.pdf SLG Resolution for well-founded semantics]
*** [http://www3.cs.stonybrook.edu/~tswift/webpapers/jlp-95.pdf SLG Resolution for well-founded semantics]
*** [https://en.wikipedia.org/wiki/Automated_theorem_proving Deductive Automation]
** [https://en.wikipedia.org/wiki/Automated_theorem_proving Deductive Automation]
*** [https://www.youtube.com/watch?v=BKorP55Aqvg Expert System]
** [https://www.youtube.com/watch?v=BKorP55Aqvg Expert System]
*** [https://en.wikipedia.org/wiki/Progress_in_artificial_intelligence#Sub-human Natural Language Processing]
** [https://en.wikipedia.org/wiki/Progress_in_artificial_intelligence#Sub-human Natural Language Processing]
** '''Jedi Knight:'''
* '''Jedi Knight:'''
*** [https://en.wikipedia.org/wiki/CodeChef Codechef]
** [https://en.wikipedia.org/wiki/CodeChef Codechef]
*** [https://en.wikipedia.org/wiki/SPOJ SPOJ]
** [https://en.wikipedia.org/wiki/SPOJ SPOJ]
*** [https://ipsc.ksp.sk/ Internet Problem Solving Contest]
** [https://ipsc.ksp.sk/ Internet Problem Solving Contest]
*** [https://en.wikipedia.org/wiki/ICFP_Programming_Contest ICFP]
** [https://en.wikipedia.org/wiki/ICFP_Programming_Contest ICFP]
*** [https://en.wikipedia.org/wiki/Google_Code_Jam Google Code Jam]
** [https://en.wikipedia.org/wiki/Google_Code_Jam Google Code Jam]
*** [https://en.wikipedia.org/wiki/Google_Summer_of_Code Google Summer of Code]
** [https://en.wikipedia.org/wiki/Google_Summer_of_Code Google Summer of Code]
*** [https://en.wikipedia.org/wiki/Facebook_Hacker_Cup Facebook Hacker Cup]
** [https://en.wikipedia.org/wiki/Facebook_Hacker_Cup Facebook Hacker Cup]
** '''Jedi Master:'''
* '''Jedi Master:'''
*** Prolog Compiler/Interpreter/REPL
** Prolog Compiler/Interpreter/REPL
*** New Pure Logical Programming Language
** New Pure Logical Programming Language


=== Datalog ===
=== Datalog ===
* '''ROPE:'''
** '''Jedi Initiate:'''
*** [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)]
*** [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://des.sourceforge.net/html/manual.html DES User's Manual]
** '''Jedi Padawan:'''
*** Personal databases?
*** Application databases?
*** Life, the Universe, and Everything?
** '''Jedi Knight:'''
*** Time-based competition?
*** Deductive Detective as a job description?
** '''Jedi Master:'''
*** [https://en.wikipedia.org/wiki/Intelligent_database New] Pure [https://en.wikipedia.org/wiki/Probabilistic_database Logical] Querying [https://en.wikipedia.org/wiki/Information_retrieval_query_language Language] ([https://en.wikipedia.org/wiki/Data_definition_language DDL], [https://en.wikipedia.org/wiki/Data_manipulation_language DML], [https://en.wikipedia.org/wiki/Data_control_language DCL])
* [https://github.com/Shyam-Has-Your-Anomaly-Mitigated/awesome-deduction Awesome Deduction]
* [https://github.com/Shyam-Has-Your-Anomaly-Mitigated/awesome-deduction Awesome Deduction]
==== ROPE ====
* '''Jedi Initiate:'''
** [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)]
** [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://des.sourceforge.net/html/manual.html DES User's Manual]
* '''Jedi Padawan:'''
** Personal databases?
** Application databases?
** Life, the Universe, and Everything?
* '''Jedi Knight:'''
** Time-based competition?
** Deductive Detective as a job description?
* '''Jedi Master:'''
** [https://en.wikipedia.org/wiki/Intelligent_database New] Pure [https://en.wikipedia.org/wiki/Probabilistic_database Logical] Querying [https://en.wikipedia.org/wiki/Information_retrieval_query_language Language] ([https://en.wikipedia.org/wiki/Data_definition_language DDL], [https://en.wikipedia.org/wiki/Data_manipulation_language DML], [https://en.wikipedia.org/wiki/Data_control_language DCL])


=== Haskell ===
=== Haskell ===
* [https://github.com/krispo/awesome-haskell Awesome Haskell]
* [https://github.com/krispo/awesome-haskell Awesome Haskell]
'''CanFP:'''
==== CanFP ====
* [https://www.meetup.com/CanFPG/events/235170383/ Free 3-day Data61 FP/Haskell course] (2016 Nov 14-16)
* [https://www.meetup.com/CanFPG/events/235170383/ Free 3-day Data61 FP/Haskell course & final night con] (2016 Nov 14-16)
** I'm the [https://www.meetup.com/CanFPG/photos/27429707/#456137892 guy in the hoodie]. (tagged)
** I'm the [https://www.meetup.com/CanFPG/photos/27429707/#456137892 guy in the hoodie]. (tagged)
** What I remember:
** '''What I remember:'''
*** '''Day 1 :''' Free salad, and Haskell.
*** '''Day 1 :''' Free salad, and Haskell.
*** '''Day 2 :''' Free pizza, and Haskell.
*** '''Day 2 :''' Free pizza, and Haskell.
Line 139: Line 139:
* [https://www.reddit.com/r/perl6/comments/5j9150/what_do_you_predict_will_become_perl6_best/ The Perl Police]
* [https://www.reddit.com/r/perl6/comments/5j9150/what_do_you_predict_will_become_perl6_best/ The Perl Police]
* [http://web.archive.org/web/20160428105917/http://blogs.perl.org/users/zoffix_znet/2016/01/why-in-the-world-would-anyone-use-perl-6.html Why‽‽‽]
* [http://web.archive.org/web/20160428105917/http://blogs.perl.org/users/zoffix_znet/2016/01/why-in-the-world-would-anyone-use-perl-6.html Why‽‽‽]
* [https://github.com/hachiojipm/awesome-perl Awesome Perl]
* '''[https://github.com/hachiojipm/awesome-perl Awesome Perl:]'''
** [https://metacpan.org/pod/Term::Complete tab-complete.pl]
** [https://metacpan.org/pod/Term::Complete tab-complete.pl]
** [https://metacpan.org/pod/Term::ANSIColor ansi-colour.pl]
** [https://metacpan.org/pod/Term::ANSIColor ansi-colour.pl]
Line 153: Line 153:
* Can be used as [https://en.wikibooks.org/wiki/LaTeX/Plain_TeX inline asm].
* Can be used as [https://en.wikibooks.org/wiki/LaTeX/Plain_TeX inline asm].
* [https://en.wikipedia.org/wiki/DOT_%28graph_description_language%29 DOT] is [https://github.com/NARKOZ/hacker-scripts visually logical].
* [https://en.wikipedia.org/wiki/DOT_%28graph_description_language%29 DOT] is [https://github.com/NARKOZ/hacker-scripts visually logical].
** [http://tex.stackexchange.com/a/63790 Externally]:
** '''[http://tex.stackexchange.com/a/63790 Externally]:'''
*** <code>dot -Tsvg file.dot -o file.svg; inkscape -z -D --file=file.svg --export-pdf=file.pdf;</code>
*** <code>dot -Tsvg file.dot -o file.svg; inkscape -z -D --file=file.svg --export-pdf=file.pdf;</code>
*** [https://www.ctan.org/pkg/miniltx miniltx]
*** [https://www.ctan.org/pkg/miniltx miniltx]

Revision as of 14:54, 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 ∵ I'm mad as a Hatter!.
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

Donate your soul to the open market; Rebellion join YOU wants the Yoda to today! <(°_°)>

  • 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.
  •                If no contest, then seek 3 years of professionalism.
  • Jedi Master  : Build hacking Instructions/Tools (IT, as in M.IT).

( commented treasures )

Legal And Dark Documentation Endorsed Raise

Sell your soul on the black market; just be Darth, and Maul the source, you empirical corporate Bane! C8<]

My Favourite Languages

Assembly

C++

Prolog

ROPE

Datalog

ROPE

Haskell

CanFP

Elm

  • Awesome Elm
  • ...I'm still waiting for them to patch the bloated compilations.

Perl

TeX

My Favourite Tools