#### utensil opened issue at 2024-05-28 13:58:

https://github.com/mattduck/gh2md

https://a13xp0p0v.github.io/2023/01/29/mirroring-github-projects.html

#### utensil opened issue at 2024-03-15 01:31:

App: https://giscus.app/

Comments porting done by https://github.com/estruyf/disqus-to-github-discussions

Check comments at https://github.com/discussions/commented

Ref: Yukaii/daily-oops#31

#### utensil opened issue at 2024-02-11 12:42:

- https://github.com/verified-optimization/CvxLean/tree/main/egg-pre-dcp
- https://github.com/opencompl/egg-tactic-code

#### utensil opened issue at 2024-02-04 04:07:

- https://mathweb.ucsd.edu/~justin/Papers/knotes.pdf
- https://fi-le.net/knottingham/ (https://github.com/file-acomplaint/knottingham) : https://arxiv.org/abs/2309.00445
- https://joshuahhh.com/projects/kit/
- https://knotfol.io/ (https://github.com/kmill/knotfolio/tree/master)
- https://loopspace.mathforge.org/HowDidIDoThat/TeX/Knots/
- https://github.com/cseed/knotkit

#### utensil commented at 2024-02-04 07:44:

TTK: IEEE VIS 2020 TTK Tutorial

#### utensil opened issue at 2023-12-23 12:27:

#### utensil opened issue at 2023-09-03 10:30:

- Formalisation and Evaluation of Alan Gewirth’s Proof for the Principle of Generic Consistency in Isabelle/HOL
- The Inconsistency in Godel’s Ontological Argument: A Success Story for AI in Metaphysics
- https://gitlab.com/aossie/ComputationalPhilosophy/
  - https://github.com/FormalTheology/GoedelGod/
- Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
- A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument
- Edward Zalta’s Theory of Abstract Objects in Isabelle/HOL
- Aristotle's Assertoric Syllogistic
- Computational Philosophy
- The computational philosophy: simulation as a core philosophical method
- Sopholab: Experimental computational philosophy
  - Combining Moral Theory, Modal Logic and Mas to Create Well-Behaving Artificial Agents
- Computational Experiments: Past, Present and Future
- An Inquiry into Dialectic Logic

#### utensil opened issue at 2023-08-23 04:15:

Osamu Tezuka's Astro Boy "Robot Spaceship"

## Magma
List of Astro Boy chapters

| No. | Original release date | Original ISBN | English release date | English ISBN| 
| -- | -- | -- | -- | --| 
| 18 | February 3, 2000 | 4-253-06496-5 | August 27, 2003 | 978-1-56971-899-5 | 

- 51 "The Robot Spaceship"
- 28 "Count Bat"017. "Atlas"
- 33 "S.O.S. from the Satellite"
- 23 "The Mysterious Ball" 

Astro Boy Chapter 55 : The Robot Spaceship

Osamu Tezuka Chronology > Astro Boy "Robot Spaceship"

## TV Series

Astro Boy (1963 TV series) episodes

| J# | U# | Original title (English)/English Dub titleOriginal Title (Japanese) | Original Air Date (Japan) | Original Air Date (U.S.) |
| -- | -- | -- | -- | -- |
| 46 | 46 | "The Robot Spaceship" / "The Phantom Space Ship"Transcription: "Robotto Uchū-tei" (Japanese: ロボット宇宙艇) | November 12, 1963 | July 17, 1964 |

The robot spaceship Lever Robot is stolen. Astro Boy is sent to retrieve it, but in the process has his energy stolen.

#### utensil opened issue at 2023-08-23 14:15:

- https://github.com/SodiumIodide/Standard-Model-Lagrangian
- Standard Model Lagrangian (density)
  - http://nuclear.ucdavis.edu/~tgutierr/files/sml.pdf
  - http://nuclear.ucdavis.edu/~tgutierr/files/sml2.pdf
  - https://web.archive.org/web/20080930061343/http://home.broadpark.no/~aklepp/astri/thesis/node52.html -> https://snip.mathpix.com/utensilcandel/notes/sm-1067c8bd-e019-4b9a-b6ae-135bfe0e5090
  - https://web.archive.org/web/20080626142848/http://cosmicvariance.com/2006/11/23/thanksgiving/ -> https://snip.mathpix.com/utensilcandel/notes/3ed0a91c-7e74-4b94-9977-7a8744b03ca6
- Mathematical formulation of the Standard Model
- http://www.physics.ufl.edu/~ramond/JourneysChapter2_CUP.pdf
- https://www.symmetrymagazine.org/article/the-deconstructed-standard-model-equation?language_content_entity=und
- https://www.fe.infn.it/~bettoni/particelle/Strong/SMLagrangian.pdf
- https://nuhroego.ch/programming/latex/

#### utensil opened issue at 2022-10-04 11:39:

* http://outlace.com/Lean_part_1.html
* https://typista.org/lean-for-scala-programmers/
* https://icerm.brown.edu/video_archive/?play=2906

#### utensil commented at 2023-08-30 11:05:

- https://leanprover.github.io/theorem_proving_in_lean4/
- https://github.com/leanprover-community/lean4-metaprogramming-book
- Lean series on writing tactics
- Programming Language Foundations in Lean 4
  - https://plfa.github.io/
  - https://github.com/plfa/plfl
- How To Prove It With Lean - authored with Quarto
- The mechanics of proof
- https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency
- https://github.com/haruhisa-enomoto/mathlib4-all-tactics/blob/main/all-tactics.md
- https://github.com/bridgekat/filter-game#general-tips
- https://github.com/madvorak/lean3-tactic-lean4
- https://github.com/madvorak/lean4-cheatsheet/blob/main/lean-tactics.pdf
- https://github.com/siddhartha-gadgil/proofs-and-programs-2023
- https://leanprover-community.github.io/contribute/naming.html
- https://github.com/leanprover-community/mathlib4/wiki/Porting-wiki#naming-convention
- https://leanprover-community.github.io/extras/tactic_writing.html
- https://github.com/ianjauslin-rutgers/pythagoras4/
- https://ericwieser.me/

#### utensil commented at 2023-11-28 14:18:

Informalize:

- https://leanprover-community.github.io/format_lean/example/sandwich.html
- https://www.imo.universite-paris-saclay.fr/~patrick.massot/Examples/ContinuousFrom.html

15-815 Automated Theorem Proving: https://www.cs.cmu.edu/~fp/courses/99-atp/schedule.html

#### utensil commented at 2023-12-23 10:24:

Lean Phrase book: https://docs.google.com/spreadsheets/u/0/d/1Gsn5al4hlpNc_xKoXdU6XGmMyLiX4q-LFesFVsMlANo/htmlview

#### utensil opened issue at 2022-10-04 11:14:

* https://uvadlc-notebooks.readthedocs.io/
* https://uvadl2c.github.io/

with 

* https://fleuret.org/dlc/
* https://www.cs.cornell.edu/courses/cs4780/2018fa/lectures/
* https://www.rollpie.com/@pie

#### utensil opened issue at 2019-04-09 09:52:

- A New Formalization of Origami in Geometric Algebra
- Origami Code - planar graph library for representing crease patterns and performing origami operations
  - doc
  - code
- A Mathematica module for Conformal Geometric Algebra and Origami Folding
  - code
  - paper
- Origami Fold as Algebraic Graph Rewriting
- O2, O5, and O6 are the only essential axioms
  - paper
- The eighth axiom by exhaustive analysis of all possible incidences
  - paper 
- Origami Folds in Higher-dimension
- Origami and Geometric Constructions
  - article
  - paper
- Euclides vs. Origami
- Computational origami system eos. In Proc
- Huzita–Hatori axioms
- The power of origami
  - Axioms of Origami
- Origami on Wolfram Mathworld

Other resources:

- Proving and Solving in Computational Origami


#### utensil commented at 2019-04-15 13:52:

It turns out Geometric Algebra: a tutorial for graphics programmers and Ganja starterkit : PGA3D P(R*3,0,1) are much more helpful to understand Origami with Geometric Algebra.

#### utensil opened issue at 2018-10-04 08:43:

- https://aperiodical.com/2018/09/michael-atiyah-claims-proof-of-riemann-hypothesis/
- https://math.stackexchange.com/questions/2930742/what-is-the-todds-function-in-atiyahs-paper
- https://www.reddit.com/r/math/comments/9igc4d/atiyahs_lecture_on_the_riemann_hypothesis/e6jqeec/
- https://mathoverflow.net/questions/311280/what-is-the-definition-of-the-function-t-used-in-atiyahs-attempted-proof-of-the/311297#311297
- https://meta.mathoverflow.net/questions/3894/is-there-a-way-to-discuss-the-correctness-of-the-proof-of-the-rh-by-atiyah-in-mo
- https://www.youtube.com/watch?v=jXugkzFW5qY
- https://old.reddit.com/r/math/comments/9ig4ei/atiyahs_computation_of_the_fine_structure/
- https://arxiv.org/pdf/1708.02653.pdf
- https://hal.archives-ouvertes.fr/hal-01804653/document

#### utensil opened issue at 2018-10-04 08:33:

- https://github.com/Amanieu/parking_lot
- https://webkit.org/blog/6161/locking-in-webkit/
- https://plhk.ru/trash/netmap-20160710.pdf
- https://crates.io/crates/bounded-spsc-queue
- the possibility to use boost::interprocess in rust or find an equivalent lib
- implement simple epoll-based stuff in C/C++ style in Rust using https://doc.rust-lang.org/1.7.0/libc/index.html
- stress test like http://kernel.ubuntu.com/~cking/stress-ng/stress-ng.pdf

#### utensil opened issue at 2018-10-04 08:36:

- http://learnyouahaskell.com/ (read for syntax, too verbose on monad)
- https://github.com/anton-k/monads-for-drummers (read, well written)
- bridge between Rust and Haskell 
  - https://hoverbear.org/2014/08/12/option-monads-in-rust/
  - http://xion.io/post/programming/rust-into-haskell.html

#### utensil opened issue at 2018-09-29 09:09:

Add tests to explain and verify them.

- https://www.exploringbinary.com/why-0-point-1-does-not-exist-in-floating-point/
- https://www.exploringbinary.com/floating-point-questions-are-endless-on-stackoverflow-com/
- https://docs.python.org/3/tutorial/floatingpoint.html
- https://floating-point-gui.de/basic/
- https://github.com/vpiotr/decimal_for_cpp
- https://www.boost.org/doc/libs/1_66_0/libs/multiprecision/doc/html/index.html
- https://en.wikipedia.org/wiki/Floating-point_arithmetic#Accuracy_problems

#### utensil commented at 2023-09-03 09:46:

https://egraphs-good.github.io/egglog/?example=herbie

#### utensil opened issue at 2018-09-26 06:22:

- Paxos
  - https://zhuanlan.zhihu.com/p/21895686
  - http://rystsov.info/2016/05/01/paxos.html#visualization
- Raft
  - https://raft.github.io/slides/raftuserstudy2013.pdf
  - http://thesecretlivesofdata.com/raft/
  - http://open.qiniudn.com/ecug-2016/thought-of-tidb-tech-choices.pdf
  - https://github.com/pingcap/raft-rs/blob/master/examples/single_mem_node/main.rs
  - https://www.jianshu.com/p/81fe3e4f51a5
  - http://hustcat.github.io/go_raft_in_etcd/
- ZK
  - https://blog.acolyer.org/2015/01/27/zookeeper-wait-free-coordination-for-internet-scale-systems/
  - ZAB: http://www.solinx.co/archives/435
  - ZAB: https://my.oschina.net/u/1378920/blog/914215
  - Raft vs. ZAB: https://my.oschina.net/pingpangkuangmo/blog/782702
- Vs.
  - http://jonathanb.me/DistributedConsensusProtocols.pdf
  - https://zhuanlan.zhihu.com/p/31119178
  - http://baotiao.github.io/2017/11/08/state-machine-vs-primary-backup/
- TLA+
  - https://lamport.azurewebsites.net/tla/summary.pdf
- MySQL MGR
  - http://mysqlhighavailability.com/order-from-chaos-member-coordination-in-group-replication/
  - http://mysqlhighavailability.com/the-king-is-dead-long-live-the-king-our-homegrown-paxos-based-consensus/
  - http://mysqlhighavailability.com/good-leaders-are-game-changers-raft-paxos/
  - https://www.slideshare.net/alfranio1/group-replication-a-journey-to-the-group-communication-core-71845289
  - http://paxos.systems/variants.html
  - Replicated State Machine in Wide-area Networks

#### utensil commented at 2023-08-24 03:21:

- https://github.com/leanprover-community/iris-lean (updated: 3 weeks ago)
  - has: Higher-Order Concurrent Separation Logic
  - ref: https://iris-project.org/
- https://github.com/loganrjmurphy/lean-temporal (updated: Nov 11, 2020)
  - has: LTL (Linear Temporal Logic) + CTL (Computational Tree Logic)
  - ref: Baier, Christel, and Joost-Pieter Katoen. Principles of model checking. MIT press, 2008
- https://github.com/unitb/temporal-logic (updated: Nov 1, 2018)
  - has: LTL + refinement 
  - ref: https://lean-forward.github.io/lean-together/2019/slides/hudon.pdf
  - see also: 
    - its usage in unitb-semantics, ref: https://arxiv.org/abs/1810.10143
    - separation-logic
- https://github.com/GaloisInc/lean-protocol-support/tree/master/galois/temporal (updated: Sep 22, 2017)
  - has: LTL + LTS (Labelled Transition System)
  - ref: Roberto Gorrieri. Process Algebras for Petri Nets: The Alphabetization of Distributed Systems. Springer, 2017

- https://pron.github.io/posts/tlaplus_part1
- https://github.com/HappyCS-Gu/Parallel-Raft-tla
- https://github.com/fpaxos/raft.tla
- https://github.com/uwplse/verdi

#### utensil opened issue at 2018-08-18 05:51:

Includes slides and videos.

#### utensil commented at 2018-08-18 08:08:

- Getting Started
  - Learn Rust in Y Minutes
  - Rust for Rubyists— Idiomatic Patterns in Rust and Ruby
  - Rust By Example
- Ownership & Lifetime
  - C vs. Rust
  - Intro To Rust
  - Rust: Unlocking Systems Programming - Aaron Turon
    - Unraveling Rust Design
  - Ownership System in Rust
  - Intro to the Rust programming language [Video] [Slides]
  - "The Rust Programming Language" - Aaron Turon of Mozilla [Video]
- Better
  - Idiomatic Rust - Writing Concise and Elegant Rust Code [Video] [Slides] by @mre - FOSDEM 2018
  - Idiomatic Rust Libraries [Video] [Slides] by @killercup - Rustfest Kiev 
  - Rust Design Patterns
- Exercises
  - Rust: The Basics
  - rustlings - Small exercises to get you used to reading and writing Rust code
  - Exercism

#### utensil commented at 2018-08-18 12:36:

Closed with https://github.com/utensil/rust-playground/commit/5213a26038c5a48183e28dcb0da0193791fce65b

#### utensil commented at 2019-01-16 02:50:

- https://people.gnome.org/~federico/blog/propagating-errors.html
- http://joeduffyblog.com/2016/02/07/the-error-model/
- https://blogs.gentoo.org/lu_zero/2018/12/30/making-and-using-c-compatible-libraries-in-rust-present-and-future/

#### utensil opened issue at 2017-12-01 14:33:

https://brilliant.org/

#### utensil opened issue at 2017-11-07 06:16:

- https://glitch.com/
- https://www.floydhub.com/
- https://notebooks.azure.com/utensil/libraries
- https://www.mtyun.com/console2/dls/hdfs/

#### utensil commented at 2022-10-04 10:53:

* https://lambdalabs.com/service/gpu-cloud
* https://gradio.app/

#### utensil opened issue at 2017-11-04 15:38:

Other Go AI:

* [ ] https://senseis.xmp.net/?GoPlayingPrograms
* [ ] https://github.com/brilee/MuGo
  - [ ] https://github.com/llSourcell/alphago_demo
* [ ] https://github.com/gcp/leela-zero
* [ ] https://github.com/zakki/Ray
* [ ] https://github.com/Rochester-NRT/RocAlphaGo
* [ ] https://github.com/facebookresearch/darkforestGo
* [ ] https://github.com/peter1591/hearthstone-ai
* [ ] https://github.com/maxpumperla/betago

Go Data:

* [ ] https://github.com/B-C-WANG/AlphaGo-Zero-Paper
* [ ] https://github.com/yenw/computer-go-dataset

AlphaGo Zero related papaers:

* [ ] The Grand Challenge of Computer Go: Monte Carlo Tree Search and Extensions
* [ ] A Survey of Monte Carlo Tree Search Methods

AlphaGo Zero related repos/issues/blogs/discusion:

* [ ] 如何评价 DeepMind 发表在 Nature 上的 AlphaGo Zero？
* [ ] https://github.com/MathAndAlgo/DiscussionBoard/issues/ 2
* [ ] 深入浅出看懂AlphaGo元
* [ ] https://github.com/Yoctol/AlphaGoZero/blob/master/PAPER-NOTE-ZH-TW.md

#### utensil commented at 2017-11-26 07:10:

http://www.gnu.org/software/gnugo/gnugo_19.html
http://www.waterfire.us/joseki.htm
http://gobase.org/studying/articles/matthews/shape_up/Introduction.pdf
https://en.wikipedia.org/wiki/List_of_Go_terms
https://senseis.xmp.net/?BoomerangShape
https://www.sjeng.org/leela.html

#### utensil opened issue at 2017-11-04 14:29:

* [ ] https://github.com/hughperkins/tf-coriander/blob/master/doc/installation.md
* [ ] https://streamhpc.com/blog/2011-12-29/opencl-hardware-support/
* [ ] https://software.intel.com/en-us/intel-opencl
* [ ] https://github.com/clMathLibraries/clBLAS
* [ ] https://github.com/mikeseven/node-opencl
* [ ] http://www.luxrender.net/wiki/LuxMark#Binaries

#### utensil opened issue at 2017-10-07 17:20:

Books and Lectures
----------------------

* http://geocalc.clas.asu.edu/GA_Primer/GA_Primer/index.html
* http://geocalc.clas.asu.edu/html/Intro.html
* http://www.geometricalgebra.net/index.html
* http://www.gaalop.de/ga-computing-lecture/

Papers
----------

* Advances in Applied Clifford Algebras
* Geometric Algebra as a Unifying Language for Physics and Engineering and Its Use in the Study of Gravity
* The Genesis of Geometric Algebra: A Personal Retrospective
* Automatic Multivector Differentiation and Optimization
* https://github.com/spencerparkin/MathPapers

Libraries
----------

* https://github.com/brombo/galgebra
* https://github.com/enkimute/ganja.js
* https://github.com/geogebra/geogebra
* http://www.clucalc.info/
* https://github.com/tingelst/game
* https://github.com/wolftype/versor
* https://github.com/weshoke/versor.js
* http://www.gaalop.de/

People
----------

* Alan Macdonald
* https://github.com/brombo
* https://github.com/spencerparkin
* https://github.com/enkimute
* https://github.com/wolftype
* https://github.com/tingelst

#### utensil commented at 2018-10-04 08:38:

http://geometry.mrao.cam.ac.uk/

#### utensil commented at 2019-03-23 12:49:

- Cohl Furey
  - https://arxiv.org/search/hep-th?searchtype=author&query=Furey- https://www.youtube.com/channel/UCvsmxUuD5ZdOGittaeosXMA
- Ovidiu Cristinel Stoica
  - https://arxiv.org/search/hep-th?searchtype=author&query=Stoica- https://orcid.org/0000-0002-2765-1562
  - https://www.quora.com/profile/Cristi-Stoica
- http://www.math.umd.edu/~wmg/gstom.pdf

#### utensil commented at 2022-10-04 11:11:

* The Geometry of 3DPGA products
* Normalisation, Square roots and the Exponential and Logarithmic maps in geometric algebras <6D
* May The Forque Be With You
* Slide: Plane-Based Geometric Algebra
* Slide: Graphics Applications of Geometric Algebra
* gaalopweb

#### utensil commented at 2023-09-03 09:52:

- https://github.com/tBuLi/kingdon/blob/master/docs/usage.rst
- https://github.com/sudgy/sga/blob/master/sga.hpp
- https://github.com/Lichtso/geometric_algebra
- https://bivector.net/tools.html?p=3&q=0&r=1
- https://nalgebra.org/

#### utensil opened issue at 2017-02-18 07:46:

- https://github.com/gztchan/awesome-design
- https://www.justinmind.com/
- http://uxchecklist.github.io/
- http://uxrecipe.github.io/
- http://www.conceptdraw.com/

#### utensil opened issue at 2017-01-19 06:28:

Mac:

- [ ] https://gitgud.io/unconed/mathbox
- [ ] http://www.softpanorama.org/Tools/Find/using_exec_option_and_xargs_in_find.shtml
- [ ] http://electron.atom.io/docs/development/clang-format/
- [ ] http://macappstore.org/electron/
- [ ] https://github.com/decosoftware/deco-ide
- [ ] https://github.com/rodrigogs/easyvpn
- [ ] https://github.com/react-community/react-navigation
- [ ] https://github.com/bfirsh/whalebrew
- [ ] https://cerebroapp.com/

PC:

- [ ] http://www.nature.com/news/quantum-computers-ready-to-leap-out-of-the-lab-in-2017-1.21239
- [ ] https://gitlab.com/thomasl/tensorflow-for-poets
- [ ] http://playground.tensorflow.org/
- [ ] http://sourcey.com/libsourcey/examples/
- [ ] http://fileadmin.cs.lth.se/cs/Personal/Calle_Lejdfors/pygpu/
- [ ] https://pypi.python.org/pypi/gpustat/0.2.0
- [ ] https://ubuntuforums.org/showthread.php?t=238672
- [ ] Chop wood, carry water by Rick fields
- [ ] http://users.ices.utexas.edu/~hughes/news-items.html
- [ ] Isogeometric Analysis:  Past, Present, Future
- [ ] http://www.thefreedictionary.com/ergo
- [ ] Deep-Learning-Based Classification for DTM Extraction from ALS Point Cloud
- [ ] https://www.amazon.cn/s/ref=lp_2045366051_nr_n_7?fst=as- [ ] https://github.com/BabylonJS/Babylon.js
- [ ] https://github.com/stackgl/headless-gl
- [ ] https://simulatedgreg.gitbooks.io/electron-vue/content/index.html
- [ ] https://github.com/kennethreitz/python-guide
- [ ] http://www.thegeekstuff.com/2010/05/unix-background-job/
- [ ] https://github.com/verekia/js-stack-from-scratch
- [ ] ...

DL:

- [ ] http://lasagne.readthedocs.io/en/latest/index.html
- [ ] https://github.com/songrotek/Deep-Learning-Papers-Reading-Roadmap
- [ ] Multiple Object Class Detection & Localization with Deep Learning (CNN)
- [ ] Ordinal Regression with Multiple Output CNN for Age Estimation
- [ ] https://github.com/gliese581gg/YOLO_tensorflow
- [ ] http://pjreddie.com/darknet/
- [ ] https://github.com/sunshineatnoon/Darknet.keras
- [ ] http://pjreddie.com/darknet/yolo/

online IDE:

- https://codesandbox.io/docs/

#### utensil opened issue at 2016-12-17 06:55:

* http://www.dam.brown.edu/people/mumford/blog/2014/Grothendieck.html
* http://www.nature.com/nature/journal/v517/n7534/full/517272a.html

#### utensil opened issue at 2016-11-29 03:44:



#### utensil commented at 2023-08-29 05:51:

```
sudo docker run --gpus all --name llm --shm-size=8g -p 1111:1111 nvcr.io/nvidia/pytorch:22.12-py3 bash -c 'sleep infinity'
sudo docker exec -it llm bash
```

#### utensil opened issue at 2016-11-25 06:51:

https://msdn.microsoft.com/en-us/library/ee621251.aspx

#### utensil opened issue at 2016-11-20 13:03:

# 2008年人生规划

人生始终是我所不懂得的东西，人生里境遇的流转始终令我讶异。2008，这个注定是多事之秋的年份，站在它面前的我，竟是另一个我。2007，所记取的，所流失的，所有隽永的凝刻，所脱落的，所建立的，所有眼中的光芒。心中的星辰依然如蒲公英般散布于头顶的苍穹，一样晶莹的感激又从心尖滴下。2008里，生活着、前行着的我。

#### utensil opened issue at 2016-10-02 07:46:

- http://linggle.com/#
- links from http://so.chongbuluo.com/
- http://devdocs.io/
- links from http://shedingkong.lofter.com/

#### utensil opened issue at 2016-09-14 15:01:

2013-07-07 写于母校老校区：

徐风草荷香，迟波逸思漾。

叶雨洒苔阶，抚卷掩幽肠。

《补天》2013-11-19

每每功亏谁知苦，夙愿得偿笑颜开。

累年残疾一朝愈，流失用户还复来。

2016-09-26

战时

弛弓引势砺筋骨，
逐猎令出箭夺的。
就材起灶拼白刃，
莫待兵成恨狼藉。

2015-10-17

花开招展冬日春，
琉璃如镜映影只。
心思渴望逾墙去，
此身仍在樊笼中。


2016-10-18 18:52
疹热

反侧眠未安，
煎熬口难言。
楚泪湿枕席，
内焚红耳弯。
父母千重忧，
诊者一言宽。
轻身脱漩涡，
复得天伦欢。

#### utensil opened issue at 2016-09-06 08:25:

#### utensil opened issue at 2016-09-03 07:35:

- https://www.google.com/culturalinstitute/beta/
- https://gallerix.asia/

#### utensil opened issue at 2016-09-01 12:34:

- https://github.com/liangqi/zhsc-qt
- https://github.com/GITenberg/Chinese-Poems_37938
- https://github.com/GITenberg/A-Hundred-and-Seventy-Chinese-Poems_42290
- https://github.com/charsunny/PoemApp
- https://github.com/rainrambler/PoemStar
- https://github.com/lijiancheng0614/poem_generator
- https://github.com/hx364/Chinese_Poem_RNN
- https://github.com/ManfredVon/Poem
- https://github.com/todototry/AncientChinesePoemsDB
- https://github.com/XingxingZhang/rnnpg
- https://github.com/fumin/ntm
- https://github.com/ckmarkoh/AcrosticPoem
- https://github.com/mozillazg/python-pinyin
- https://github.com/letiantian/Pinyin2Hanzi
- https://github.com/hotoo/pinyin
- https://github.com/overtrue/pinyin
- https://github.com/stuxuhai/jpinyin
- https://github.com/letiantian/ChineseTone
- https://github.com/letiantian/mini-pinyin
- https://github.com/iensu/pinyinizer

#### utensil opened issue at 2016-08-19 08:21:

- [ ] http://www.willvillanueva.com/the-node-js-profiling-guide-that-hasnt-existed-finding-the-cause-of-a-memory-leak-using-heap-snapshots-part-3/
- [ ] https://github.com/bnoordhuis/node-heapdump
- [ ] https://strongloop.com/strongblog/how-to-heap-snapshots/
- [ ] https://github.com/node-inspector/v8-profiler/blob/master/src/heap_profiler.cc
- [ ] https://addyosmani.com/blog/taming-the-unicorn-easing-javascript-memory-profiling-in-devtools/
- [ ] https://developer.chrome.com/devtools/docs/memory-analysis-101

#### utensil opened issue at 2016-08-14 08:04:

- http://uxmastery.com/how-to-create-a-customer-journey-map/
- http://bigdoor.com/blog/2013/11/01/a-quick-guide-to-customer-journey-mapping/
- http://visual.ly/customer-journey-map

#### utensil opened issue at 2016-08-12 16:03:

https://github.com/fatedier/frp

#### utensil opened issue at 2016-08-12 16:05:

- https://github.com/tiny-dnn/tiny-dnn
- https://github.com/edgarriba/DeepRosetta

#### utensil opened issue at 2016-07-18 02:35:

https://www.pinterest.com/explore/thai-alphabet/

#### utensil opened issue at 2016-07-06 02:19:

#### utensil opened issue at 2016-06-29 06:06:

- https://greggshorthand.blogspot.com/2015/11/for-those-shorthand-history-enthusiasts.html
- http://alfabetter.blogspot.com/2014/11/some-information-about-forkner.html

#### utensil opened issue at 2016-06-23 02:47:

See http://dev.mysql.com/doc/refman/5.7/en/charset-collation-effect.html .

``` bash
echo -n 德|iconv -f 'utf-8' -t 'GBK'|xxd -p
b5c2
echo -n 得|iconv -f 'utf-8' -t 'GBK'|xxd -p
b5c3
```

#### utensil opened issue at 2016-06-19 14:44:

See Chrestomathy.

#### utensil opened issue at 2016-06-16 07:27:

Just like in http://blog.interfacevision.com/design/design-visual-progarmming-languages-snapshots/ .

Some that I prefer:

Alice:

!image

MIT App Inventor:

!image

Hopscotch:

!image

See also http://hopscotch-curriculum-files.s3.amazonaws.com/Hopscotch
Modkit:

!image

Scratch:

!image

Snap!:

!image

StroyCode:

!image

Tynker:

!image

#### utensil opened issue at 2016-06-10 10:08:

Aside from https://gym.openai.com/docs :

Consider symbolic arithmetic, `12 + 34 - 56`. Feed every digit and operator as a scalar. Get out digits. It's easy to generate different permutations of inputs and calculate correct outputs. 

Can DL or Nupic learn this?

#### utensil opened issue at 2016-06-10 07:34:

- https://harvardneuro.wordpress.com/2016/02/25/the-neurobiology-of-dreaming/
- http://neurosciencenews.com/consciousness-lucid-dreaming-3363/
- http://scienceblogs.com/cortex/2006/12/19/the-neuroscience-of-dreaming/

Papers:
- [ ] Synaptic Mechanisms of Memory Consolidation during Sleep Slow Oscillations.
- [ ] The Benefits of Targeted Memory Reactivation for Consolidation in Sleep are Contingent on Memory Accuracy and Direct Cue-Memory Associations.
- [ ] Coordinated memory replay in the visual cortex and hippocampus during sleep

#### utensil opened issue at 2016-06-05 13:37:

- http://www.banjx.com/

See also: http://stackoverflow.com/questions/2607425/is-google-s-cdn-for-jquery-available-in-china/22060903#22060903

#### utensil opened issue at 2016-06-05 13:12:

Literature consumption(Continuously updating...):
- [ ] The Gardener
- [ ] No Fear Shakespeare
- [ ] Quotes for Captain Malcolm 'Mal' Reynolds

#### utensil opened issue at 2016-06-01 05:55:

- https://www.box.com/pricing/
- https://drive.google.com/drive/my-drive
- https://getsync.com/buy/pricing

#### utensil opened issue at 2016-05-28 08:22:

## Knowledge source
- wikipedia, use https://dumps.wikimedia.org/ , enwiki is around 12G
- zhihu, use https://github.com/egrcc/zhihu-python , see also https://github.com/simoncos/zhihu-analysis-python
- google/bing/yahoo search results
- khan/coursera/udacity classes
- scholar search results
- stackoverflow and quora answers 
- sougou search result for zhihu answers and wechat articles
- ......
## NLP process
- https://en.wikipedia.org/wiki/Automatic_summarization
- TextRank: Bringing Order into Texts
- Viterbi algorithm
- Wordnet
- Topic model, see also https://github.com/bigartm/bigartm-book
- https://github.com/tensorflow/models/tree/master/research/syntaxnet
- https://github.com/fxsjy/jieba
- https://github.com/yozhao/IKAnalyzer
- ICTCLAS, see https://github.com/xunyuw/ICTCLASDemo
- http://utensil.github.io/tech/2011/10/26/chinses-segment.html
- TF-IDF, see also https://github.com/nkottary/Help.jl
## WeChat bot

https://github.com/liuwons/wxBot
## Rule-based chat bot

https://github.com/node-webot/webot


#### utensil commented at 2017-10-11 12:40:

https://github.com/Breakend/DialogDatasets

#### utensil opened issue at 2016-05-28 07:23:

- http://www.tsinghua.edu.cn/publish/cs/8207/2014/20140305132115249838379/20140305132115249838379_.html
- http://www.math.stonybrook.edu/~ccg2007/


#### utensil commented at 2023-09-12 11:35:

https://cn.comsol.com/multiphysics/finite-element-method

#### utensil opened issue at 2016-05-28 08:46:

- password:  bcrypt, PBKDF2
- digest: md5, sha1,sha256
- sym encryption: des, 3des, aes(128, 192 and 256), twofish(see http://keepass.info/) and Block cipher mode of operation
- RSA, DSA
- https://github.com/crypto101/book
- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.7274&rep=rep1&type=pdf


#### utensil commented at 2016-07-05 13:35:

Introduce basic encoding/decoding first:
- meta characters in protocol design
- url encode and variants
- base64 and variants

#### utensil commented at 2016-07-22 07:01:

https://github.com/FallibleInc/security-guide-for-developers

#### utensil commented at 2017-02-25 08:23:

http://www.2uo.de/myths-about-urandom/

#### utensil commented at 2017-02-27 13:04:

- https://github.com/zbetcheckin/Security_list
- https://github.com/PaulSec/awesome-sec-talks
- https://github.com/sbilly/awesome-security
- https://github.com/carpedm20/awesome-hacking
- https://github.com/danielmiessler/SecLists
- https://github.com/teesloane/Auth-Boss

#### utensil commented at 2017-03-09 04:59:

https://github.com/forter/security-101-for-saas-startups
https://github.com/Hacker0x01/hacker101

#### utensil opened issue at 2016-05-27 04:29:

http://www.cricode.com/3212.html


#### utensil commented at 2016-05-28 08:50:

Related to #42 an #62

#### utensil commented at 2016-06-06 07:39:

https://github.com/parkjs814/AlgorithmVisualizer

#### utensil commented at 2016-06-08 11:00:

https://github.com/raywenderlich/swift-algorithm-club

#### utensil commented at 2017-11-13 05:47:

https://www.toptal.com/developers/sorting-algorithms/
http://panthema.net/2013/sound-of-sorting/

#### utensil commented at 2017-11-16 15:09:

https://github.com/keon/algorithms
https://github.com/OpenGenus/cosmos

#### utensil opened issue at 2016-05-25 07:31:

Some key points:
- acceptance of uncertainty
- breakthrough of ideology
- unity of mathematical methods from different areas
- experimental phenomenon that can't be explained or current explanations is ugly or contain unexplained parameters: dark energy
- astronomy and condensed physics, the universe reveals itself by many layers, just like designed for interpretation
- limitations on high energy physics posed by society
- against perturbation theory, prefer structure
- geometric algebra, manifold, topology, holographic principle, gauge theory, knot theory, category theory...
- M-theory


#### utensil commented at 2016-05-27 16:38:

From http://www.sns.ias.edu/witten/ :
- http://www.sns.ias.edu/ckfinder/userfiles/files/Reflections(3).pdf
- http://www.sns.ias.edu/ckfinder/userfiles/files/Knot-Article-Spring2011(2).pdf
- http://www.sns.ias.edu/ckfinder/userfiles/files/2015_Phys_Today.pdf

#### utensil commented at 2022-10-04 10:52:

Follow some Physics-ish blogs:

* https://robwilson1.wordpress.com/
* https://thematterofspace.com/
* https://tritonstation.com/2022/08/11/by-the-wayside/
* https://golem.ph.utexas.edu/category/
* https://www.nasa.gov/webbfirstimages

#### utensil opened issue at 2016-05-24 15:45:

- [ ] Category Theory for Scientists
- [ ] Geometry and Quantum Field Theory
- [ ] Introduction to Topology
- [ ] Applied Geometric Algebra
- [ ] Geometry of Manifolds
- [ ] The Early Universe
- [ ] String Theory for Undergraduates
- [ ] Video Demonstrations in Lasers and Optics
- [ ] Physics Demonstration Videos
- [ ] Algebraic Topology
- [ ] Algebraic Topology II
- [ ] Introduction to Analysis
- [ ] Algebraic Geometry
- [ ] Adventures in Advanced Symbolic Programming
- [ ] Quantum Physics I
- [ ] Quantum Physics II
- [ ] Effective Field Theory
- [ ] Linear Algebra, see also zh_cn version

---
- [ ] Seminar in Geometry
- [ ] Behavior of Algorithms
- [ ] Introduction to Algorithms
- [ ] Quantum Computation
- [ ] Quantum Information Science
- [ ] Calculus with Applications
- [ ] Introduction to Modeling and Simulation
- [ ] Mechanics of Material Systems: An Energy Approach
- [ ] Electromagnetics and Applications
- [ ] Unified Engineering I, II, III, & IV
- [ ] Introductory Quantum Mechanics I
- [ ] Introductory Quantum Mechanics II
- [ ] Applied Quantum and Statistical Physics
- [ ] Quantum Complexity Theory
- [ ] Quantum Theory I
- [ ] Quantum Theory II
- [ ] Relativistic Quantum Field Theory I
- [ ] Relativistic Quantum Field Theory II
- [ ] Relativistic Quantum Field Theory III
- [ ] Theory of Solids I
- [ ] Theory of Solids II
- [ ] Many-Body Theory for Condensed Matter Systems
- [ ] String Theory and Holographic Duality
- [ ] String Theory
- [ ] Computational Quantum Mechanics of Molecular and Extended Systems
- [ ] Classical Mechanics: A Computational Approach
- [ ] Topics in Fluid Dynamics
- [ ] Exploring Black Holes: General Relativity & Astrophysics
- [ ] Systems Biology

#### utensil opened issue at 2016-05-21 00:04:

#### utensil opened issue at 2016-05-20 06:16:

https://www.overleaf.com/dash

#### utensil opened issue at 2016-05-19 17:16:

## Papers
- https://www.base-search.net/
- CS: http://dblp.uni-trier.de/
- Philosophy: http://plato.stanford.edu/
- Stat: http://www.ats.ucla.edu/stat/
- ScienceDirect? http://www.sciencedirect.com/
- http://www.goole.com/
## Articles & Journals
- http://www.findarticles.com/
- Math: http://www.ams.org/mathscinet/
## Books
- http://gen.lib.rus.ec/
- http://en.booksee.org/
- http://bookzz.org/
## Data
- http://www.tjsql.com/
## ?
- https://workflowy.com/
- https://www.archive.org/

#### utensil opened issue at 2016-05-17 16:14:

ML Top:
- [ ] Deep Learning School 2016: Individual Talks
- [ ] Online Course on Neural Networks
- [ ] https://github.com/fchollet/keras-resources
- [ ] http://scikit-learn.org/stable/user_guide.html
- [ ] https://github.com/lamblin/bayareadlschool
- [ ] http://deeplearning.net/datasets
- [ ] https://github.com/alrojo/tensorflow-tutorial
- [ ] Deep Learning Summer School, Montreal 2016
- [ ] Unsupervised Feature Learning and Deep Learning
- [ ] CS224d: Deep Learning for Natural Language Processing
- [ ]  CS231n: Convolutional Neural Networks for Visual Recognition
- [ ] https://github.com/baidu-research/ba-dls-deepspeech
- [ ] https://github.com/tiny-dnn/tiny-dnn
- [ ] https://github.com/dennybritz/reinforcement-learning
- [ ] https://github.com/Tetrachrome/subpixel
- [ ] https://github.com/mxgmn/WaveFunctionCollapse
- [ ] https://github.com/SullyChen/Nvidia-Autopilot-TensorFlow
- [ ] https://github.com/thoughtfulml/examples-in-python
- [ ] http://statweb.stanford.edu/~tibs/ElemStatLearn/
- [ ] https://github.com/johnmyleswhite/ML_for_Hackers
- [ ] http://lamda.nju.edu.cn/weixs/project/CNNTricks/CNNTricks.html
- [ ] https://github.com/ZuzooVn/machine-learning-for-software-engineers
- [ ] https://github.com/rushter/MLAlgorithms
- [ ] http://www.scipy-lectures.org/advanced/image_processing/index.html
- [ ] https://zhuanlan.zhihu.com/p/22129946
- [ ] http://conflict.lshtm.ac.uk/index.htm
- [ ] https://arxiv.org/abs/1404.7828
- [ ] http://www.jeremydjacksonphd.com/category/deep-learning/
- [ ] http://distill.pub/2016/misread-tsne/
- [ ] http://playground.tensorflow.org/
- [ ] http://projector.tensorflow.org/
- [ ] http://ai.berkeley.edu/home.html
- [ ] https://en.wikipedia.org/wiki/Topological_data_analysis
- [ ] https://www.youtube.com/subscription_manager
- [ ] http://rll.berkeley.edu/deeprlcourse/#syllabus ( https://zhuanlan.zhihu.com/p/24721292 )
- [ ] https://deepmind.com/blog/wavenet-generative-model-raw-audio/
- [ ] https://github.com/tensorflow/magenta/blob/master/magenta/reviews/pixelrnn.md
- [ ] https://gist.github.com/shagunsodhani/e741ebd5ba0e0fc0f49d7836e30891a7
- [ ] https://deepmind.com/blog/differentiable-neural-computers/
- [ ] https://deepmind.com/blog/deepmind-round-up-2016/
- [ ] https://github.com/phreeza/keras-GAN
- [ ] https://github.com/dustinvtran/ml-videos
- [ ] https://github.com/oxford-cs-deepnlp-2017/lectures
- [ ] https://github.com/rhnvrm/universe-coaster-racer-challenge
- [ ] https://github.com/random-forests/tutorials
- [ ] Machine Learning Recipes with Josh Gordon
- [ ] Reinforcement Learning: An Introduction 
- [ ] https://github.com/eriklindernoren/ML-From-Scratch
- [ ] https://github.com/stanfordnlp/cs224n-winter17-notes
- [ ] https://medium.com/@ageitgey/machine-learning-is-fun-part-4-modern-face-recognition-with-deep-learning-c3cffc121d78#.7tyqpjz6q

ML:
- [ ] 【从零单排——数学白痴也能玩机器学习】
- [ ] 深度学习入门必看的书和论文？有哪些必备的技能需学习？
- [ ] 机器视觉、图像处理、机器学习领域相关代码和工程项目和数据集 集合
- [ ] CNN(卷积神经网络)、RNN(循环神经网络)、DNN(深度神经网络)的内部网络结构有什么区别？
- [ ] 简单解释一下sparse autoencoder, sparse coding和restricted boltzmann machine的关系？
- [ ] 在 Deep Learning / Machine Learning 领域，C++ 应如何学习？
- [ ] C++ neural network library
- [ ] theano
- [ ] TensorFlow
- [ ] torch7
- [ ] EXPLAINING AND HARNESSING ADVERSARIAL EXAMPLES and 
  The Flaw Lurking In Every Deep Neural Net
- [ ] https://github.com/rasbt/python-machine-learning-book
- [ ] https://github.com/terryum/awesome-deep-learning-papers
- [ ] https://github.com/sjchoi86/dl_tutorials
- [ ] http://mp.weixin.qq.com/s?__biz=MzA3MTU0MzcyMQ==&mid=2447602671&idx=1&sn=700ffa7c1a01daa9b5550cc173609925&scene=1&
- [ ] https://zhuanlan.zhihu.com/p/22308032
- [ ] https://zhuanlan.zhihu.com/p/22107715
- [ ] https://www.quora.com/What-are-the-best-resources-to-learn-about-deep-learning

NLP:
- [ ] A Convolutional Neural Network for Modelling Sentences
- [ ] 基于深度学习的自然语言处理在2016年有哪些值得期待的发展？
- [ ] 一个玩得停不下来的Google神器：Ngram
- [ ] 如何评价SyntaxNet？

CV:
- [ ] 学习了哪些知识，计算机视觉才算入门？
- [ ] CS231n课程笔记翻译：图像分类笔记
- [ ] 学习SLAM需要哪些预备知识？

CG:
- [ ] Vulkan - 高性能渲染

Others:
- [ ] https://github.com/vic317yeh/One-Click-to-Be-Pro
- [ ] https://github.com/geekan/one-python
- [ ] https://zhuanlan.zhihu.com/p/22308870
- [ ] https://zhuanlan.zhihu.com/p/20092285
- [ ] https://zhuanlan.zhihu.com/p/22126107


#### utensil commented at 2016-06-01 11:59:

Nupic:
- [ ] Search for the right paper about HTM
- [ ] Spatial Pooler Algorithm Implementation and Pseudocode
- [ ] Temporal Memory Algorithm Implementation and Pseudocode
- [ ] Continuous online sequence learning with an unsupervised neural network model
- [ ] Understanding LSTM Networks
- [ ] HTM.Julia
- [ ] Bare-Bone HTM
- [ ] HTM CLA Flow Chart Diagrams

#### utensil commented at 2016-06-05 13:16:

QM:
- [ ] Single-world interpretations of quantum theory cannot be self-consistent

#### utensil commented at 2017-11-04 15:43:

Deep Learning - The Straight Dope:

http://gluon.mxnet.io/

https://zhuanlan.zhihu.com/p/28648399

#### utensil commented at 2017-11-11 14:50:

* https://github.com/karpathy/convnetjs
* http://cs.stanford.edu/people/karpathy/convnetjs/demo/classify2d.html
* http://www.cs.ubc.ca/~van/papers/2016-TOG-deepRL/index.html
* https://github.com/janesjanes/sketchy
* http://scs.ryerson.ca/~aharley/vis/conv/
* http://cs.stanford.edu/people/karpathy/convnetjs/demo/cifar10.html
* https://deepart.io/
* https://www.youtube.com/playlist?list=PLiaHhY2iBX9hdHaRr6b7XevZtgZRa1PoU
* https://www.youtube.com/playlist?list=PLE6Wd9FR--EfW8dtjAuPoTuPcqmOV53Fu
* http://swanintelligence.com/first-steps-with-neural-nets-in-keras.html
* http://neuralnetworksanddeeplearning.com/
* http://www.deeplearningbook.org/
* http://boxcar2d.com/index.html
* https://www.flickr.com/photos/syntopia/6791724773/in/photostream/
* http://blog.hvidtfeldts.net/index.php/2012/01/knots-and-polyhedra/
* http://blog.mathteachersresource.com/?p=670
* http://www.gitxiv.com/
* http://colah.github.io/posts/2014-03-NN-Manifolds-Topology/
* https://github.com/colah/Visualizing-Deep-Learning

* https://distill.pub/2017/feature-visualization/
* https://github.com/ChristosChristofidis/awesome-deep-learning#videos-and-lectures
* https://github.com/guillaume-chevalier/Awesome-Deep-Learning-Resources#youtube
* https://github.com/kjw0612/awesome-deep-vision#videos

#### utensil commented at 2017-11-16 15:08:

Datasets:

- All
  - https://github.com/caesar0301/awesome-public-datasets
  - http://academictorrents.com/
- CV
  - http://deeplearning.net/datasets
- Go
  - https://github.com/yenw/computer-go-dataset
- NLP
  - http://universaldependencies.org/
  - https://github.com/Breakend/DialogDatasets

#### utensil commented at 2017-11-16 15:33:

Notebooks:

- http://scikit-learn.org/dev/_static/ml_map.png
- https://github.com/donnemartin/data-science-ipython-notebooks
- https://github.com/jakevdp/PythonDataScienceHandbook

Foundation:
- https://github.com/rushter/MLAlgorithms/
- https://github.com/eriklindernoren/ML-From-Scratch

#### utensil commented at 2017-11-17 01:36:

https://en.wikipedia.org/wiki/Arg_max
https://tex.stackexchange.com/questions/5223/command-for-argmin-or-argmax
https://en.wikibooks.org/wiki/LaTeX/Advanced_Mathematics
https://www.cs.ubc.ca/~schmidtm/Documents/2016_540_Argmax.pdf
https://raw.githubusercontent.com/scikit-learn/scikit-learn/master/doc/modules/linear_model.rst

#### utensil opened issue at 2016-05-17 14:42:

- https://github.com/belluzj/fantasque-sans
- https://github.com/adobe-fonts/source-code-pro
- https://github.com/tonsky/FiraCode
- http://be5invis.github.io/Iosevka/
- http://input.fontbureau.com/
- https://github.com/adobe-fonts/source-han-sans
- https://github.com/google/fonts
- https://www.zhihu.com/question/20455297

#### utensil opened issue at 2016-05-13 02:27:

http://insights.thoughtworkers.org/reading-radar-2016/

#### utensil opened issue at 2016-05-11 12:58:

- https://arxiv.org/
- http://vixra.org/
- https://blog.vixra.org/category/crackpots-who-were-right/
- https://www.quora.com/Are-there-any-serious-papers-on-viXra
- https://www.quora.com/What-are-alternatives-to-arXiv-org-for-technical-writings


#### utensil commented at 2016-05-20 02:17:

- http://arxitics.com/
- http://www.arxiv-sanity.com/
- https://medium.com/the-physics-arxiv-blog
- http://bigartm.org/

#### utensil commented at 2016-05-25 08:38:

https://scirate.com/

#### utensil commented at 2016-06-07 03:25:

https://weavi.com/95944/

#### utensil opened issue at 2016-05-11 12:48:

http://rogerdudler.github.io/git-guide/ is not exactly complete, and some commands are seldom used.
- https://www.perforce.com/blog/141218/git-beyond-basics-using-shallow-clones
- http://stackoverflow.com/questions/20280726/how-to-git-clone-a-specific-tag
- https://github.com/git-tips/tips

#### utensil opened issue at 2016-05-11 13:03:

- https://www.grammarly.com/
- www.gingersoftware.com/
- http://www.1checker.com/
- https://github.com/textlint/textlint
- https://www.zhihu.com/question/34147404
- http://lang-8.com/
- http://dict.cnki.net/


#### utensil commented at 2016-06-07 03:19:

- http://linggle.com/
- http://www.netspeak.org/
- http://www.thesaurus.net/

#### utensil opened issue at 2016-05-09 06:52:

- https://www.mendeley.com/
- https://www.zotero.org/
- https://www.citethisforme.com/
- https://www.refme.com/


#### utensil commented at 2016-06-07 03:21:

Tools to generate papers:
- http://thatsmathematics.com/mathgen/
- https://pdos.csail.mit.edu/archive/scigen/

#### utensil opened issue at 2016-05-09 06:09:

- https://quantumexperience.ng.bluemix.net/qstage/#/tutorial?sectionId=c59b3710b928891a1420190148a72cce
- https://www.quora.com/What-are-the-best-books-to-start-learning-about-Quantum-Computing


#### utensil commented at 2016-05-10 15:03:

!image

!image

!image

!image

#### utensil opened issue at 2016-05-07 09:04:

- http://unix.stackexchange.com/questions/72320/how-can-i-hook-on-to-one-terminals-output-from-another-terminal
- http://stackoverflow.com/questions/2080918/where-are-core-dumps-written-in-mac-os-x
- http://dtrace.org/blogs/brendan/2011/10/10/top-10-dtrace-scripts-for-mac-os-x/

#### utensil opened issue at 2016-04-30 15:54:



#### utensil commented at 2023-08-22 13:35:

Close in favor of private repo https://github.com/utensil/poems which:

1. collects my poems
2. adds vague background for each poem
3. adds an article about how I author poems
4. uses LaTeX package xpinyin to add Pinyin for poems

#### utensil opened issue at 2016-04-29 12:30:

- https://en.wikipedia.org/wiki/Phonetic_algorithm
- http://www.postgresql.org/docs/9.5/static/fuzzystrmatch.html
- The Hidden Risks of Soundex-Based Name Searching ftp://public.dhe.ibm.com/software/data/mdm/soundex.pdf

#### utensil opened issue at 2016-04-28 16:21:

- https://api.github.com/users/utensil/events
- https://www.githubarchive.org/
- https://githubcontributions.io/user/utensil


#### utensil commented at 2016-04-28 16:36:

- https://githubcontributions.io/api/user/utensil
- https://githubcontributions.io/api/user/utensil/events/1 to https://githubcontributions.io/api/user/utensil/events/39

#### utensil opened issue at 2016-04-26 11:18:

- http://mobaxterm.mobatek.net/features.html
- https://www.netsarang.com/products/xsh_detail.html
- http://www.syntevo.com/smartsynchronize/features
- https://www.devart.com/codecompare/
- http://diffuse.sourceforge.net/download.html

#### utensil opened issue at 2016-04-24 11:19:

## Install Python, INotebook and Julia

```
# Install miniconda from http://conda.pydata.org/miniconda.html
# And then
conda install numpy scipy ipython jupyter matplotlib
jupyter notebook
# See https://caskroom.github.io/
brew tap caskroom/cask
brew cask install julia
```
## Julia-Python bridge

``` julia
julia> Pkg.add("PyCall")
INFO: Initializing package repository /Users/utensil/.julia/v0.4
INFO: Cloning METADATA from git://github.com/JuliaLang/METADATA.jl
# The first time takes a long time to do git clone......
julia> using PyCall
INFO: Precompiling module PyCall...

julia> @pyimport numpy.random as nr

julia> nr.rand(3,4)
3x4 Array{Float64,2}:
 0.104454  0.847609  0.810417  0.939161
 0.266673  0.186059  0.651118  0.861648
 0.720235  0.164573  0.448754  0.183331

Pkg.add("IJulia")
using IJulia
notebook()
```


#### utensil commented at 2016-04-24 13:16:

## More Packages

``` julia
# Math
for pkg in ["Mocha", "Distributions", "DataFrames", "JuMP", "Graphs", "GLM", "GeneticAlgorithms", "ControlSystems", "DiscriminantAnalysis", "HTSLIB"]
    Pkg.add(pkg)
end

# Faster
for pkg in ["ParallelAccelerator","NLopt", "Optim"]
    Pkg.add(pkg)
end

# Vis
for pkg in ["Escher", "Plots", "Gadfly", "PyPlot", "GR", "Immerse", "UnicodePlots", "Qwt", "PlotlyJS", "Interact", "Mux", "GLVisualize", "Blink"]
    Pkg.add(pkg)
end

# Utility
# brew install llvm
for pkg in ["Reactive", "Maker", "FactCheck", "BuildExecutable", "Clang"]
    Pkg.add(pkg)
end
```

#### utensil commented at 2016-04-24 13:16:

## Related links

### Learn
- https://github.com/svaksha/Julia.jl
- https://github.com/utensil-star/awesome-julia
- http://learnxinyminutes.com/docs/julia
- http://rogerluo.cc/slides/contents/lqcc.html#/

### Community
- http://pkg.julialang.org/pulse.html
- http://julialang.cn/

### Misc
- http://www.mkdocs.org/
- http://stackoverflow.com/questions/2607425/is-google-s-cdn-for-jquery-available-in-china/22060903#22060903

#### utensil commented at 2016-04-27 09:26:

## CUDA related

See https://gist.github.com/mlhales/5785725

``` julia
Pkg.add("CUDArt")
using CUDArt
Pkg.test("CUDArt")
```

#### utensil commented at 2016-04-28 17:21:

For atom:

```
apm install uber-juno
```

In Julia:

``` julia
Pkg.add("Atom")
```

#### utensil commented at 2016-04-29 14:18:

For JuMP:

``` julia
for pkg in ["GLPKMathProgInterface", "Cbc", "Clp"]
    Pkg.add(pkg)
end
```

#### utensil commented at 2016-04-30 15:44:

Work continues at https://github.com/utensil/julia-playground/

#### utensil opened issue at 2016-04-15 14:33:

## Toolchain

such as:
- http://www3.ntu.edu.sg/home/ehchua/programming/cpp/gcc_make.html
- http://www.csee.umbc.edu/courses/undergraduate/202/fall04/Projects/CommonErrors.shtml
- https://www.gnu.org/software/make/manual/html_node/Implicit-Rules.html#Implicit-Rules
- https://www.gnu.org/software/make/manual/html_node/Implicit-Variables.html
- https://www.gnu.org/prep/standards/html_node/Makefile-Conventions.html
- http://www.oreilly.com/openbook/make3/book/ch07.pdf
## QA

such as:
- character encoding: UTF-8
- coding standard: https://github.com/utensil/behind-programming/blob/master/cpp_coding_standards.md
- formatting: astyle/clang-format
- compile: CMake
- static/dynamic analyze:
  - clang-analyzer
  - cppcheck
  - valgrind
  - perf
- test: Google Test
- doc: Doxygen
## Design
- soft restart
- multi-queue networking
- http://www.kegel.com/c10k.html
- libuv-like async io/idle connection
- interprocess and interthread comunication cost
- typical synchronize situation and solution/double buffer
- process, thread and coroutine
- logging
- load so
- rpc/serialize: thrift/capnproto
- service route
- ha/lvs/dns-like
- auto-heal
- leader-follower-arbitor/remote lock
- mq
- adaptive timeout
- compression
- cache beyond kv/local to global
- call chain/volume
- errorcode/assert
- accounting
- dup/db delay switch
- semi-static route
- master-slave fail-tolerant system
- gradient sharding system


#### utensil commented at 2016-04-15 14:36:

C10M
- https://news.ycombinator.com/item?id=7250505
- https://github.com/clowwindy/Awesome-Networking/pull/3/files
- http://www.cs.dartmouth.edu/~sergey/cs108/2013/C10M-Defending-the-Internet-at-Scale-Dartmouth-2013.pdf
- http://www.erlang-factory.com/upload/presentations/558/efsf2012-whatsapp-scaling.pdf
- http://highscalability.com/blog/2013/5/13/the-secret-to-10-million-concurrent-connections-the-kernel-i.html

#### utensil opened issue at 2016-04-08 08:46:

- http://monosnap.com/welcome
- https://github.com/keycastr/keycastr


#### utensil commented at 2016-04-15 14:10:

Monosnap is great. Closing.

#### utensil opened issue at 2016-03-20 08:59:

http://chenshuo.com/book/url.html

#### utensil opened issue at 2016-03-19 08:55:

https://www.staticgen.com/ : 
- http://moox.io/statinamic/
- http://stackticjs.github.io/stacktic/
- http://docpad.org/
- https://hexo.io/
- http://www.metalsmith.io/
- http://harpjs.com/

#### utensil opened issue at 2016-03-18 05:29:

- https://www.thomas-krenn.com/en/wiki/Category:Linux


#### utensil commented at 2016-06-10 09:19:

Close in favor of #53 .

#### utensil opened issue at 2016-03-18 05:37:

- MySQL Server& Percona Server
- A Guided Tour Of The MySQL Source Code
- MySQL Internals Manual
- mysql-annotation

#### utensil opened issue at 2015-12-29 15:58:



#### utensil commented at 2016-04-30 15:46:

This issue is outdated. See https://github.com/utensil/behind-programming/blob/master/front_end_dev_guide.md for the work-in-progress . And also https://github.com/utensil/behind-programming/blob/master/backend_js_dev_guide.md .

#### utensil opened issue at 2015-05-22 06:10:

- [ ] https://leetcode.com/
- [ ] http://www.testdome.com/
- [ ] http://www.practice.geeksforgeeks.org/

#### utensil opened issue at 2015-04-23 07:28:



#### utensil commented at 2015-04-23 08:19:

Fixed by a49e3a4fbc825fa86aa974941a45a67dfbd8c4a1 .

#### utensil opened issue at 2015-04-23 07:28:



#### utensil commented at 2016-04-30 16:14:

Latest poems are committed .

#### utensil opened issue at 2015-04-23 10:44:

https://stamplay.com/

#### utensil opened issue at 2015-04-23 10:57:

#### utensil opened issue at 2015-04-22 14:29:



#### utensil commented at 2015-05-17 14:59:

- https://github.com/tylingsoft/markdown-plus/blob/master/markdown-plus.js
- https://github.com/medialize/URI.js
- https://github.com/Dynalon/mdwiki/tree/master/js/ts

#### utensil commented at 2016-05-28 08:48:

Close since https://github.com/utensil/umd-wiki is already under construction.

#### utensil opened issue at 2015-04-22 14:27:



#### utensil commented at 2015-04-23 07:29:

Use http://idothing.com/ instead.

#### utensil opened issue at 2015-04-22 14:17:

#### utensil opened issue at 2015-04-22 14:28:



#### utensil commented at 2016-05-17 16:23:

See the deprecated Rep Star

#### utensil opened issue at 2015-04-21 11:15:

- http://www.haifux.org/lectures.html
- http://people.ee.ethz.ch/~arkeller/linux/kernel_user_space_howto.html
- http://stackoverflow.com/a/4385424/200764
- http://man7.org/linux/man-pages/man7/socket.7.html
- http://www.cs.unh.edu/cnrg/people/gherrin/linux-net.html
- https://github.com/fastos/fastsocket
- http://pubs.opengroup.org/onlinepubs/009695399/functions/read.html


#### utensil commented at 2015-04-21 11:17:

- http://people.ee.ethz.ch/~arkeller/linux/kernel_user_space_howto.html
- http://stackoverflow.com/a/4385424/200764
- http://man7.org/linux/man-pages/man7/socket.7.html
- http://www.cs.unh.edu/cnrg/people/gherrin/linux-net.html
- https://www.thomas-krenn.com/en/wiki/Category:Linux

#### utensil opened issue at 2015-04-15 03:52:

Just like:
- https://github.com/mdo/config
- https://github.com/thcipriani/dotfile-boilerplate
- https://github.com/Bash-it/bash-it


#### utensil commented at 2015-04-15 03:52:

Subliem Text:
- http://wesbos.com/sublime-text-5-visual-tweaks/
- https://github.com/JaredCubilla/sublime
- http://robdodson.me/hacking-the-path-variable-in-sublime-text/
- http://sublimetext.info/docs/en/reference/build_systems.html

#### utensil commented at 2015-04-15 07:57:

$ npm config set proxy http://server:port
$ npm config set https-proxy http://server:port

#### utensil commented at 2016-04-30 15:51:

Making good progress at utensil/config. Closing.

#### utensil opened issue at 2015-04-14 13:01:

- https://www.transifex.com/discourse/discourse-org/
- https://crowdin.com/
- https://www.oneskyapp.com/
- https://weblate.org/zh-hans/
- http://zanata.org/about/
- http://www.omegat.org/en/documentation.php


#### utensil commented at 2015-05-16 05:55:

See also:
- http://formatjs.io/
- http://i18next.com/

#### utensil opened issue at 2015-04-09 14:21:

middleman-blog can not keep a constant order of blogs written in the same day, which is the case for writings and tech. Need to use a script to date them correctly.

#### utensil opened issue at 2015-04-09 15:29:

#### utensil opened issue at 2015-04-09 14:40:

#### utensil opened issue at 2015-04-09 12:38:

- https://inkscape.org/zh/
- https://github.com/sprang/Inkpad
- http://webchemy.org/
- http://kleki.com/
- http://www.wacom.com/zh-cn/products/stylus/intuos-creative-stylus-2
- http://www.bohemiancoding.com/sketch/


#### utensil commented at 2015-04-23 07:30:

Prefer Inkscape and learning.

#### utensil opened issue at 2015-04-09 16:50:

#### utensil opened issue at 2015-04-08 03:38:

- master-slave fail-tolerant system
- gradient sharding system


#### utensil commented at 2016-04-30 15:49:

Concentrate on #69

#### utensil opened issue at 2015-04-06 14:46:

https://app.astralapp.com/


#### utensil commented at 2023-08-22 13:18:

Close in favor of https://github.com/utensil/awesome-stars/

#### utensil opened issue at 2015-03-30 01:24:

- https://github.com/stackgl/shader-school
- https://github.com/stackgl/webgl-workshop


#### utensil commented at 2015-04-07 11:37:

- https://github.com/greggman/webgl-fundamentals

#### utensil opened issue at 2015-03-30 01:33:

- Read 《挑战程序设计竞赛》
- Write a blog to summarize
- Do some interested exercises

#### utensil opened issue at 2015-03-30 01:26:

- deduction of rotation and reflaction
- generalize to higher dimension
- visualize with three.js
- implement in glsl as a glslify module


#### utensil commented at 2016-06-08 11:03:

https://github.com/mosra/magnum

#### utensil opened issue at 2015-03-28 15:32:

#### utensil opened issue at 2015-03-18 09:50:

- The Book of Shaders
- openFrameworks 

#### utensil opened issue at 2015-03-13 07:43:

There are some projects that still hosting on Google Code, like:

https://code.google.com/p/akjava-android-project/

https://code.google.com/p/android-cmake/

https://code.google.com/p/android-sdk-ui-demos/

https://code.google.com/p/android-smspopup/

https://code.google.com/p/android-wired-tether/

https://code.google.com/p/androidscreencast/

https://code.google.com/p/angleproject/

https://code.google.com/p/apps-for-android/

https://code.google.com/p/au-to-do/

https://code.google.com/p/autosuggest4j/

https://code.google.com/p/byte-unixbench/

https://code.google.com/p/cages/

https://code.google.com/p/chromiumembedded/

http://magpcss.org/ceforum/viewtopic.php?f=10&t=12759

https://code.google.com/p/connectbot/

https://code.google.com/p/dea/

https://code.google.com/p/dnsproxycn/

https://code.google.com/p/droidapps/

https://code.google.com/p/duplexpipe/

https://code.google.com/p/easyb/

https://code.google.com/p/edb-debugger/

#### utensil opened issue at 2015-03-12 10:46:

Investigate Capstone Engine

#### utensil opened issue at 2015-03-04 11:34:



#### utensil commented at 2016-06-10 09:17:

It's done on 2016-01-23.

#### utensil opened issue at 2015-03-04 12:42:

Distributed Algorithms

#### utensil opened issue at 2015-02-23 12:31:

# 星际穿越
- http://www.guokr.com/article/439479/
- http://www.guokr.com/article/439477/
- http://www.zhihu.com/question/25630267
- http://www.guokr.com/article/439559/
- http://www.wired.com/2014/10/astrophysics-interstellar-black-hole/
- http://www.universetoday.com/115562/the-physics-behind-intellstellars-visual-effects-was-so-good-it-lead-to-a-scientific-discovery/
- http://adsabs.harvard.edu/cgi-bin/nph-ref_query?bibcode=1973ApJ…183..237C&refs=CITATIONS&db_key=AST
- http://www.spacetimetravel.org/galerie/galerie.html


#### utensil commented at 2015-03-01 10:46:

http://arxiv.org/abs/1501.00835

#### utensil commented at 2015-03-03 06:11:

- Gravitational Lensing by Spinning Black Holes in Astrophysics, and in the Movie Interstellar
- Visualizing Interstellar’s Wormhole  by Kip S. Thorne
- GRAVITATIONAL LENSING BY WORMHOLES
- Exact geometric optics in a Morris-Thorne wormhole spacetime
- Wormholes, Gamma Ray Bursts and the Amount of Negative Mass in the Universe

#### utensil commented at 2015-03-05 05:44:

The Science of Interstellar

#### utensil commented at 2015-03-11 11:04:

https://github.com/rantonels/starless

#### utensil opened issue at 2015-02-14 07:08:

http://www.pluminjs.com/

https://github.com/nodebox/opentype.js

#### utensil opened issue at 2015-02-03 07:48:

- http://docs.ansible.com/list_of_monitoring_modules.html
- https://www.datadoghq.com/
- http://www.zhihu.com/question/19973178
- http://www.programmer.com.cn/11477/
- http://blog.dataloop.io/2014/01/30/what-we-learnt-talking-to-60-companies-about-monitoring/
- http://graphite.wikidot.com/
- https://www.icinga.org/
- https://airbrake.io/
- http://bigpanda.io/
- http://newrelic.com/

#### utensil opened issue at 2015-01-23 07:39:

- http://people.seas.harvard.edu/~apw/stress/
- http://kernel.ubuntu.com/~cking/stress-ng/


#### utensil commented at 2016-02-25 03:02:

- http://linux.die.net/man/1/pidstat
- http://unix.stackexchange.com/a/84345/145128
- http://www.thegeekstuff.com/2011/03/linux-performance-monitoring-intro/
- https://criticalblue.com/news/wp-content/uploads/2013/12/linux_scheduler_notes_final.pdf
- http://blog.tsunanet.net/2010/11/how-long-does-it-take-to-make-context.html
- http://www.cnblogs.com/mindwind/p/5946586.html

#### utensil opened issue at 2015-01-10 12:40:

https://github.com/jsxgraph/jsxgraph

#### utensil opened issue at 2014-12-25 06:32:

Evolving Objects (EO): an Evolutionary Computation Framework http://eodev.sourceforge.net/


#### utensil commented at 2014-12-25 06:49:

Also https://github.com/andrometa/neu

#### utensil commented at 2014-12-25 08:15:

Also http://libccv.org/

#### utensil opened issue at 2014-12-21 13:03:

- http://avisynth.nl/index.php/Main_Page
- http://avslib.sourceforge.net/
- http://www.tfcc.cn/dvdrip/2006-3-16_18-05-32_1309.html
- http://www.tfcc.cn/dvdrip/2004-9-7_15-40-21_9606.html
- http://www.tfcc.cn/dvdrip/2006-3-16_18-02-51_5420.html


#### utensil commented at 2015-01-14 06:13:

http://stackoverflow.com/questions/3937387/rotating-videos-with-ffmpeg

#### utensil opened issue at 2014-11-12 05:09:

- Sunflower
- idea blue-orange
- RubyK
- Monokai Sublime Text 3
- Vibrant Ink
- railscasts_grey_comments


#### utensil commented at 2015-01-03 02:22:

Settled on "railscasts_grey_comments"

#### utensil opened issue at 2014-10-29 03:40:

- http://mchouza.wordpress.com/2011/02/21/gpgpu-with-webgl-solving-laplaces-equation/
- http://www.ibiblio.org/e-notes/webgl/gpu/contents.htm
- http://stackoverflow.com/a/22359571/200764


#### utensil commented at 2014-11-13 05:23:

https://github.com/arrayfire/arrayfire

#### utensil commented at 2014-11-13 05:32:

See also:
- https://github.com/gre/glsl.js
- https://github.com/daw42/glslcookbook

#### utensil commented at 2015-01-21 04:06:

http://www.madebyevan.com/webgl-water/

#### utensil opened issue at 2014-10-27 06:36:

Investigate https://github.com/cazala/synaptic :
- https://github.com/cazala/synaptic/wiki/Neural-Networks-101
- http://www.overcomplete.net/papers/nn2012.pdf

More Arch:
- Neural Turing Machines
- https://github.com/iandanforth/nupic-js and https://github.com/WalnutiQ/WalnutiQ#important-brain-theories-in-use

Reimplement using:
- https://github.com/toji/gl-matrix
- https://github.com/sjkaliski/numbers.js
- https://github.com/josdejong/mathjs
- https://github.com/chandlerprall/Physijs

#### utensil opened issue at 2014-10-22 08:02:

Neural Darwinism and Reentry (neural circuitry)

#### utensil opened issue at 2014-09-26 05:03:



#### utensil commented at 2019-04-01 13:55:

https://www.preposterousuniverse.com/grnotes/

#### utensil opened issue at 2014-09-23 04:52:

By https://github.com/willianjusten/awesome-svg

#### utensil opened issue at 2014-09-22 05:37:

See also http://pozadi.github.io/kefir/

#### utensil opened issue at 2014-09-16 12:33:

See also:
- http://www.lego.com/en/mindstorms
- http://www.lego.com/zh-cn/mindstorms/funzone/mobile-apps/3d-builder/
- https://github.com/ev3dev/ev3dev
- http://www.ros.org/core-components/
- http://www.microsoft.com/en-us/download/details.aspx?id=29081 and http://msdn.microsoft.com/en-us/library/bb483027.aspx
- http://www.simplysim.net/index.php?p=gallery&id=11
- http://www.robotvirtualworlds.com/virtualnxt/


#### utensil commented at 2014-09-17 09:07:

- http://www.intorobotics.com/robotics-simulation-softwares-with-3d-modeling-and-programming-support/
- http://gazebosim.org/#getstarted
- http://en.wikipedia.org/wiki/Robotics_simulator
- http://stackoverflow.com/questions/2533321/robotics-simulator
- http://simbad.sourceforge.net/
- http://playerstage.sourceforge.net/
- http://cylonjs.com/
- http://gort.io/

#### utensil commented at 2014-09-17 14:20:

- http://www.urbiforge.org/
- https://github.com/robotology/yarp
- http://orca-robotics.sourceforge.net/orca_doc_overview.html

#### utensil commented at 2014-10-04 09:52:

http://www.robotc.net/

#### utensil commented at 2014-10-04 09:52:

RVW serves the purpose, closing.

#### utensil opened issue at 2014-09-16 12:06:

Investigate Khan Academy.

#### utensil opened issue at 2014-09-16 03:41:

See https://github.com/Khan/KaTeX .

Goals to evaluate:
- [x] Smaller footprint
- [x] Faster rendering
- [ ] Wider support for LaTeX


#### utensil commented at 2014-09-16 12:06:

It has very limited support for LaTeX symbols. Let's wait and see and close it for now.

#### utensil commented at 2015-04-06 14:45:

- http://fontforge.github.io/en-US/
- https://css-tricks.com/snippets/css/a-guide-to-flexbox/
- http://www.fontsquirrel.com/tools/webfont-generator
- http://www.fontspring.com/matcherator
- https://tex.stackexchange.com/questions/58098/what-are-all-the-font-styles-i-can-use-in-math-mode/58124#58124?newreg=aa564d2908604fd3bf441c71040d7401
- https://lists.w3.org/Archives/Public/www-amaya-dev/2000Apr/att-0041/Readme.pdf
- http://asciimath.org/
- http://www.intmath.com/cg5/katex-mathjax-comparison.php?processor=KaTex

#### utensil commented at 2015-04-06 14:57:

- http://www.pluminjs.com/
- http://code.andreaskoller.com/libraries/fontastic/#examples
- https://www.scribbletone.com/typefaces/ff-chartwell

#### utensil commented at 2016-10-18 13:07:

- http://algebra.js.org/
- CindyJS/CindyJS
- Khan/KaTeX/issues/305
- https://gitgud.io/unconed/mathbox

#### utensil commented at 2017-11-16 15:23:

https://github.com/Jam3/math-as-code
https://github.com/parpalak/upmath.me

#### utensil commented at 2017-11-18 15:13:

https://github.com/xiaohanyu/awesome-tikz
https://github.com/walmes/Tikz
https://github.com/MartinThoma/LaTeX-examples/tree/master/tikz
https://tex.stackexchange.com/questions/158668/nice-scientific-pictures-show-off

#### utensil commented at 2023-08-22 13:22:

Evaluated by http://utensil-site.github.io/available-in-katex/ .

Close in favor of MathJax 3 .

#### utensil opened issue at 2014-09-10 05:56:

https://github.com/neovim/neovim


#### utensil commented at 2014-09-10 05:57:

Especially https://waffle.io and http://neovim.org/doc/reports/clang/

#### utensil opened issue at 2014-09-04 14:15:

Part of #3 

Related to :
- Physics, Topology, Logic and Computation: A Rosetta Stone
- New Structures for Physics III,  see also New Structures for Physics
- A survey of graphical languages for monoidal categories
- Categories for the practicing physicist
- Introducing categories to the practicing physicist

More Papers:
- Categorical algebra
- Monoidal categories in, and linking, geometry and algebra
- Higher Operads, Higher Categories
- A Spin Network Primer
- A Survey of Definitions of n-Category
- Towards an n-category of cobordisms
- ‘What is a Thing?’: Topos Theory in the Foundations of Physics , see Appendix 2 first
- Category theory for dummies
- Manifesting the Quantum World

Books:
- Group Theory
- Geometry, Topology and Physics, Second Edition


#### utensil commented at 2014-09-04 14:25:

## Glossary
- category: 范畴
- morphism: 态射，数学上,一个态射(morphism)是两个数学结构之间保持结构的过程的一种抽象。
- homomorphism: 同态
- homset: the space of homomorphisms from X to Y in the category category, i.e.
- identity morphism: 单位态射
- isomorphism: 同构
- cobordism: 配边
- Tang_k: 切？
- codimensional: 余维数的
- monoidal: 么半群的
- cartesian: 笛卡尔的
- bounded: 有界
- quandary: 窘境
- disjoint union: 不交并
- isotopy classes: 合痕类
- `framed' tangles: 有框缠结？
- ribbon: 缎带？
- functor: 函子
- natural transformations: 自然变换
- natural isomorphism: 自然等价
- group: 群

#### utensil commented at 2015-03-30 01:40:

On https://github.com/utensil/utensil.github.com/tree/13-category-theory

#### utensil opened issue at 2014-08-30 12:31:

- [ ] Investigate sysdig
- [ ] 20 Command Line Tools to Monitor Linux Performance
- [ ] Performance analysis tools based on Linux perf_events (aka perf) and ftrace


#### utensil commented at 2016-06-15 03:57:

```
 dstat -cmndpyr
----total-cpu-usage---- ------memory-usage----- -net/total- -dsk/total- ---procs--- ---system-- --io/total-
usr sys idl wai hiq siq| used  buff  cach  free| recv  send| read  writ|run blk new| int   csw | read  writ
```

```
dstat --ipc --lock --socket --unix
--sysv-ipc- ---file-locks-- ------sockets------ --unix-sockets-
msg sem shm|pos lck rea wri|tot tcp udp raw frg|dgm str lis act
```

```
strace -T -r -F -c -p PID
Process PIDattached - interrupt to quit
^CProcess PID detached
------ ----------- ----------- --------- --------- ----------------
```

```
perf top -a -e cycles:u -p PID
perf  record -e cycles:u -a -p PID -g
perf report
```

Zoom: GUI for perf

```
#
zoom run --time_limit 60 --start immediate  --process `pgrep PROC_NAME` --thread_time_trigger 10 --trace_thread_scheduler --profile_driver perf
# system wide
zoom run --time_limit 10 --start immediate
```

```
pstack `pgrep TARGET_PROCESS_NAME`|grep Proc -B 4|awk -f ./thr.awk |column -t
```

where `thr.awk` is:

```awk
BEGIN {

}

/Thread/ {
    tid = gensub(/\)|:/, "", "g", $6)
}

/#1/ {
    doing = $4
    old_tids = doings[doing]
    doings[doing] = sprintf("%s %s", old_tids, tid)
}

/Proc/ {
    proc_name = gensub(/\(void\*\)/, "", "g", $4)
    old_doings = procs[proc_name]
    procs[proc_name]= sprintf("%s %s", old_doings, doing)
}

END {
    for(proc_name in procs) {
        proc_doing = procs[proc_name]
        # print proc_name, ":\n"
        split(proc_doing, proc_doings, " ")
        for(i in proc_doings) {
                        stat[proc_doings[i]] +=1
                }
                row_first = proc_name
                for(fun in stat) {
                        print row_first, fun, stat[fun], "\n"
                        row_first = "_"
                }
                for(fun in stat) {
                        delete stat[fun]
                }
        }
}
```

#### utensil commented at 2016-06-15 04:08:

Debug tools:
- GDB dashboard
- Record and Replay Framework
- Immunity Debugger

#### utensil opened issue at 2014-08-29 07:57:

Digest "Readings in Databases"

#### utensil opened issue at 2014-08-26 00:54:

Investigate Audacity, Sonic Visualiser,  Essentia and Gaia.

#### utensil opened issue at 2014-08-26 00:58:

Investigate Eigen, Manifold ToolKit, GTSAM and Pteros.

#### utensil opened issue at 2014-08-17 01:51:

See https://github.com/utensil/mathematica-notebooks

Also see:
- https://github.com/windsteiger/Theorema
- https://github.com/langit/analytica and http://math.andrej.com/data/analytica.pdf


#### utensil commented at 2014-08-26 01:00:

The existing Wolfram Mathematica notebooks are organized. Moving forward to creating new ones. Closing this.

#### utensil opened issue at 2014-08-15 08:35:

Besides mentioned in:

https://github.com/utensil/mdwiki-gimmicks#planned-gimmicks

Should also cover:
- UML drawing: http://www.nomnoml.com/
- JointJS: http://jointjs.com/download
- dagre-d3: http://cpettitt.github.io/project/dagre-d3/latest/demo/etl-status.html
  - http://onehackoranother.com/projects/jquery/tipsy/


#### utensil commented at 2014-08-26 01:03:

Should publish the newly written network flow visualizer written using dagre-d3 .

nomnoml and JointJS are poor for my purpose.

#### utensil commented at 2014-09-10 06:12:

Also consider
- https://gephi.github.io/
- https://github.com/anvaka/ngraph
- http://fabricjs.com/

#### utensil commented at 2014-09-10 08:09:

Also https://github.com/anvaka/graph-drawing-libraries

#### utensil commented at 2014-09-11 05:20:

https://github.com/ecomfe/echarts

#### utensil commented at 2014-09-22 05:38:

https://github.com/andreaferretti/paths-js

#### utensil commented at 2015-02-01 14:54:

https://github.com/cytoscape/cytoscape.js

#### utensil commented at 2015-02-14 07:07:

https://github.com/jbmouret/matplotlib_for_papers

#### utensil commented at 2015-02-15 03:08:

http://paperjs.org/

#### utensil commented at 2015-03-30 01:19:

https://github.com/jsxgraph/jsxgraph

closes #28

#### utensil commented at 2016-05-07 09:05:

UML:
- http://plantuml.com/sequence.html
- node-plantuml

#### utensil commented at 2017-11-16 15:16:

https://github.com/mwaskom/seaborn
https://github.com/lightning-viz
https://github.com/Bogdan-Lyashenko/js-code-to-svg-flowchart
https://github.com/NeXTs/Clusterize.js
https://github.com/densitydesign/raw

#### utensil opened issue at 2014-08-12 01:31:

- http://www.inference.phy.cam.ac.uk/itila/book.html
- http://www.inference.phy.cam.ac.uk/itprnn_lectures/

#### utensil opened issue at 2014-08-12 05:03:

http://centoshelp.org/resources/repos/ 

http://tecadmin.net/top-5-yum-repositories-for-centos-rhel-systems/
http://www.rackspace.com/knowledge_center/article/installing-rhel-epel-repo-on-centos-5x-or-6x

https://www.centos.org/docs/5/html/yum/sn-yum-proxy-server.html

http://linuxers.org/tutorial/wget-proxy-how-run-wget-behind-proxy-server

`rpm --httpproxy`

https://store.continuum.io/cshop/anaconda/

http://09c8d0b2229f813c1b93-c95ac804525aac4b6dba79b00b39d1d3.r79.cf1.rackcdn.com/Anaconda-2.0.1-Linux-x86_64.sh


#### utensil commented at 2014-08-26 01:02:

Completed by using https://github.com/numenta/nupic-linux64 .

#### utensil opened issue at 2014-08-11 05:35:

- http://www.kaggle.com/c/higgs-boson/
- http://higgsml.lal.in2p3.fr/


#### utensil commented at 2014-08-26 01:05:

Monday, September 15, 2014: Final submission deadline.

#### utensil commented at 2014-09-16 12:08:

> This competition has completed. You can still submit an entry to see what your score would have been.

#### utensil opened issue at 2014-08-10 08:07:

- Classical Mechanics: many useful notes, exercises
- Network Theory: great blog entries and slides 

Interested papers:
- A Prehistory of n-Categorical Physics
- Physics, Topology, Logic and Computation: A Rosetta Stone


#### utensil commented at 2019-03-27 14:44:

- https://github.com/joerenes/Baez-Muniain-solutions
- https://ncatlab.org/brucebartlett/published/BaezMunian
- http://michaelnielsen.org/blog/principles.pdf
- http://michaelnielsen.org/blog/yang_mills.pdf
- https://www.amazon.com/dp/1441982663/ref=rdr_ext_tmb
- http://math.ucr.edu/home/baez/errata.html
- https://www.edge.org/q2008/q08_5.html#baez
- https://www.quantamagazine.org/how-anyon-particles-emerge-from-quantum-knots-20170228/

#### utensil commented at 2019-04-01 14:15:

- http://bjlkeng.github.io/posts/manifolds/
- http://bjlkeng.github.io/posts/tensors-tensors-tensors/
- https://liavas.net/#teaching
- https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

#### utensil opened issue at 2014-07-19 07:40:

圈量子引力的哲学是仅从广义相对论和量子理论的基本原理出发，在没有试验指引的情况下，让理论自由的生长，但要求任何数学结构都是严格的定义完好的。人们随之发现，广义相对论的背景不依赖性对量子物理的数学结构的影响是极为深刻的（量子场代数的建立极大的依赖于度规背景）。http://url.cn/BN8YDr
2013年4月1日 21:41 阅读(268) 全部转播和评论(1)

在圈量子引力的圈子里，Rovelli的《Quantum Gravity》与Thiemann的《MODERN CANONICAL QUANTUM GENERAL RELATIVITY》构成了一套完整的专著。前者着重于一个包含了广义相对论与量子理论的完整的物理理论应该是什么样子的。而Thiemann的书严格而精确的建立了这样的物理所需要的数学结构。

Currently it's a work-in-progress.