Cross-posted from http://sdf.org/~sameers/code/
[1] I am also experimenting with p2p and shifting most content from server client model . If you are in to that, checkout
http://localhost:43110/1HzjtGpGskdCz492xHWX2wtQ1591tqhpK3/code
and a test repo :
git clone http://localhost:43110/1HzjtGpGskdCz492xHWX2wtQ1591tqhpK3/basicsDOTc.git
Some formatting missing. check original article for better readability.
References to this article So long as learning to code from OS was concerned, writing custom dot files as I needed helped most. Even for understanding the nuances of perticular languages , e.g. use-package package for DOTemacs has helped me see the point[s] of elisp or writing DOTmbsyncrc helped me in seeing why Python needed classes to talk to database for moving objects.. When it comes to recursive routines as they come in FP , I resort to circuits for representi them.
On that note, I learned about classes and hence modules or frameworks, as I was writing callable bash files for a web service in Bash, nat telnet fellshort,but as I like bash and wrote DOTashrc for it. Calling them recursively (or not) was a matter of of understanding. Hon mentions : sieve scripts for mail filters.
(\Sigma \cup N){*} N (\Sigma \cup N){*} \rightarrow (\Sigma \cup N){*} \S .... \quad\square
The part I actually like
I am more in to analyzing DFA of a regexp for evil inputs or using cantor's diagonal argument to show that one can't write a program to spit (0,1) or halting problem, to show that there can't be a general program to detect errors in a given piece of c++ code or axioms for correctness be it Turing tape or relational algebra. As practical example ; I ll write regex string of package in apt remove command , instead of bash wildcards, so that it can ,say, tell 23 from 24 as it looks up older versions of the package to be removed .
If I have to find divisors, I d rather focus on combinatorics modulo, congruence, peano axioms,then writing a script.
{*}
is Kleene star . This becomes inetersting if you consider Kleene's second recursion theorem.
Things I ve automated yet
Not to suggest that all scripts needed were originally written by me only.
My HTPC
Profiling, package loading & install of my emacs
Numbering in lists on this site (css)
Manual Paper folding in a paper mill.
[1]https://www.quora.com/How-are-programming-language-closures-related-to-closure-in-mathematics/answer/Sameer-Gupta
Top comments (0)