Skip to content

Instantly share code, notes, and snippets.

i isomorphisms

Block or report user

Report or block isomorphisms

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@isomorphisms
isomorphisms / gist:3114ab86960656a729a6b4653001aae2
Created Nov 27, 2019
how to pull from docker hub using podman/buildah
View gist:3114ab86960656a729a6b4653001aae2
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 Oct 11, 2019
how to print out time zones for various places in golang.
View foo.go
package main
import (
"log"
"fmt"
"net/http"
"time"
)
type placeError struct {
@isomorphisms
isomorphisms / tz.go
Created Oct 11, 2019
how to print out time zones for various places in golang.
View tz.go
package main
import (
"time"
"fmt"
)
func check(e error) { if( e!= nil) { panic(e) } }
@isomorphisms
isomorphisms / tz.go
Created Oct 11, 2019
How to print out the time in golang.
View tz.go
package main
import (
"log"
"fmt"
"net/http"
"time"
)
type placeError struct {
@isomorphisms
isomorphisms / annoying.filter
Last active Mar 4, 2019
start mutt without having to see bad messages
View annoying.filter
<limit>
!(
~s token ||
~s reward ||
~s data ||
~s feedback ||
~s news ||
~s free ||
~s crunchbase ||
~s "!!" ||
View r.vim
"=============================================================================
" 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 Dec 5, 2017
adzerk example
View adzerk.r
'{"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 Nov 24, 2017
barcodes of constant width at random intervals in D3
View index.html
<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>
View what.is.a.homology.theory.md

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 Dec 18, 2015
What should go in a modern beginner's Linux tutorial?
View linux.md

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"
You can’t perform that action at this time.