Skip to content

Instantly share code, notes, and snippets.

@isomorphisms
isomorphisms / gist:3114ab86960656a729a6b4653001aae2
Created November 27, 2019 06:08
how to pull from docker hub using podman/buildah
On void linux.
Under `/etc/containers/` there is a file called `registries.conf`. It is complemented by `man 5 containers-registries.conf`.
Change (for me lines 11-12) which say
[registries.search]
registries = []
@isomorphisms
isomorphisms / foo.go
Created October 11, 2019 23:17
how to print out time zones for various places in golang.
package main
import (
"log"
"fmt"
"net/http"
"time"
)
type placeError struct {
@isomorphisms
isomorphisms / tz.go
Created October 11, 2019 23:16
how to print out time zones for various places in golang.
package main
import (
"time"
"fmt"
)
func check(e error) { if( e!= nil) { panic(e) } }
@isomorphisms
isomorphisms / tz.go
Created October 11, 2019 23:12
How to print out the time in golang.
package main
import (
"log"
"fmt"
"net/http"
"time"
)
type placeError struct {
@isomorphisms
isomorphisms / annoying.filter
Last active March 4, 2019 01:15
start mutt without having to see bad messages
<limit>
!(
~s token ||
~s reward ||
~s data ||
~s feedback ||
~s news ||
~s free ||
~s crunchbase ||
~s "!!" ||
"=============================================================================
" What Is This: Prettify .Rmd and .R scripts in vim
" Who made it?: Vincent Barbroux
" https://github.com/Twinside/vim-haskellConceal/blob/master/after/syntax/haskell.vim
" ideas imported also from: https://alok.github.io/2018/04/26/using-vim-s-conceal-to-make-languages-more-tolerable/
" Who adapted it? isomorphisms@sdf.org
" Last change: 10 Oct 2018
" Require:
" set nocompatible
" somewhere on your .vimrc
@isomorphisms
isomorphisms / adzerk.r
Last active December 5, 2017 08:19
adzerk example
'{"placements":[{"divName":"div1","networkId":23,"siteId":667480,"adTypes":[5]}],"user":{"key":"abc"}}' -> adzerk.json
'http://engine.adzerk.net/api/v2' -> adzerk.url
require(jsonlite)
fromJSON( adzerk.example )
require(httr)
@isomorphisms
isomorphisms / index.html
Last active November 24, 2017 05:39
barcodes of constant width at random intervals in D3
<html>
<head>
<script src="https://d3js.org/d3.v4.min.js"></script>
<script>
d3.select("svg").selectAll("rect").data(["1em","5em","7em","13em"]).enter().append("rect").attr("x", (d) => { return d; })
</script>

What is "a" homology "theory"?

It’s impossible to get far in reading 20th-century mathematics without encountering the word cohomology. Cohomology & schemes are the subject of Hartshorne’s classic, where you can find out (Appendix C) that the Weil conjectures were resolved by defining a thing called l-adic cohomology.

hartshorne on weil conjectures hartshorne on weil conjectures

Schemes are like varieties = cycles. And cohomology is a way (ok, apparently various

@isomorphisms
isomorphisms / linux.md
Last active December 18, 2015 21:33
What should go in a modern beginner's Linux tutorial?

If, at any time, somebody says "X is hard to remember": alias.

Always show the command in the most useful 1-3 contexts, with the most usual flags.

######Assuming Ubuntu:

basics

  • opening a terminal, echo, rev, tac
  • computers can do things we can't: factor 345354699
  • where's my stuff? find ~/Downloads -name "*Frozen*mp4"