Yet Another Bookmarks Service

Viewing mzimmerm's Bookmarks

good delete ,

[https://en.wikipedia.org/wiki/Isomorphism] - - public:mzimmerm
category, good, isomorphism, math - 4 | id:1420400 -

The logarithm function log(x.y) = log(x) + log(y) so it is a group homomorphism R+->R. The exponential function e^(x+y) = e^x . e^y so it too is a homomorphism R->R+ Another note: Formalizing intuition (of existence of natural isomorphism between vector space V and its 'dual dual') is a motivation for the development of category theory.

[https://www.reddit.com/r/emacs/comments/lssz9h/standalone_eshell_script/] - - public:mzimmerm
batch, eshell, eval, good, script - 5 | id:1294379 -

The only known way to run eshell script from shell (outside emacs). This starts emacs UI. Add --batch to run without UI. emacs --debug-init -q --eval “(progn (require 'em-script) (let ((eshell-rc-script \“/tmp/wtf.esh\“)) (eshell)))“

[https://stackoverflow.com/questions/6238331/emacs-shell-scripts-how-to-put-initial-options-into-the-script#6259330] - - public:mzimmerm
emacs, eshell, good, script, shebang, shell - 6 | id:1294365 -

Use shebang + exec emacs --script to run emacs code as a shell script but also as emacs code, for example load-file #! /bin/sh “:“; exec emacs --no-site-file --script “$0“ -- “$@“ # -*-emacs-lisp-*- (print (+ 2 2))

[http://xahlee.info/emacs/emacs/blog.html] - - public:mzimmerm
elisp, emacs, good - 3 | id:1294294 -

Start here, and click on “Practical elisp“ or “Lisp Basics“. Menu on the left

[https://espreso.tv/na-pravomu-berezi-dnipra-v-20-tis-rosiyan-zakinchuetsya-amunitsiya-palne-i-izha-ikh-treba-vzyati-v-polon-general-skshipchak] - - public:mzimmerm
good, ukraine - 2 | id:1276653 -

It was Putin's pride, that bridge, he opened it, it was Russia's pride, that Kerch bridge. And you know when is the best time to destroy that bridge. Wait for the right moment to use that bridge to finish it completely, to sink Russia and the Russian army. Such a nail in the Russian coffin.

With marked bookmarks
| (+) | |

Viewing 1 - 50, 50 links out of 71 links, page: 1

Follow Tags