Welcome to my blog


  • Weekly links for 2018-11-29

    org-babel-scheme/org-babel-scheme.org at master · jonnay/org-babel-scheme
    This is an example of both using org-babel to tangle output, and how to make a new org-babel mode for a new language.
    Nix · direnv/direnv Wiki
    Direnv now supports nix as part of its stdlib.
    direnv - unclutter your .profile
    direnv is an environment switcher for the shell. It knows how to hook into bash, zsh, tcsh, fish shell and elvish to load or unload environment variables depending on the current directory. This allows project-specific environment variables without cluttering the ~/.profile file.
    Introducing Hooks – React
    Hooks are a new feature proposal that lets you use state and other React features without writing a class. They’re currently in React v16.7.0-alpha and being discussed in an open RFC.
    ustwo/mastermind: Man in the middle testing
    Mastermind is a CLI using mitmproxy that offers an easy way to mock a service (e.g. API, Website) defining rules per URL or URL patterns, defining rules to intercept HTTP(S) requests and mock its responses. By default it makes sure the OSX proxy settings are enabled only when the proxy is running.
  • Weekly links for 2018-11-25

    alphapapa/org-super-agenda: Supercharge your Org daily/weekly agenda by grouping items
    This package lets you “supercharge” your Org daily/weekly agenda. The idea is to group items into sections, rather than having them all in one big list
    gchq/CyberChef: The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
    CyberChef is a simple, intuitive web app for carrying out all manner of "cyber" operations within a web browser. These operations include simple encoding like XOR or Base64, more complex encryption like AES, DES and Blowfish, creating binary and hexdumps, compression and decompression of data, calculating hashes and checksums, IPv6 and X.509 parsing, changing character encodings, and much more.
    granule-project/granule: Granule: a statically typed functional language with graded modal types for fine-grained program reasoning via types
    A functional programming language with a linear type system and fine-grained effects and coeffects via graded modal types.

    A brief introduction to the Granule programming language can be found in this extended abstract presented at TLLA'17. The type system is partly based on the one in "Combining effects and coeffects via grading" (Gaboardi et al. 2016).


    Linearity means that the following is ill-typed:

    dupBroken : forall (a : Type) . a -> (a, a)
    dupBroken x = (x, x)
    However, a graded modality can be employed to explain exactly how many times the parameter here can be used:

    dup : forall (a : Type) . a |2| -> (a, a)
    dup |x| = (x, x)
    Audio Library - Free Music - YouTube
    Audio Library - Free Music showcases music that you can download for FREE and use in your own videos.
    The Markov-chain Monte Carlo Interactive Gallery
    The Markov-chain Monte Carlo Interactive Gallery
  • Weekly links for 2018-07-20

    A Compositional Quantum Programming Language - YouTube
    Quipper is a high-level functional programming language for quantum computing
    git:deck is a unique playing cards deck, where each individual card contains a useful Git command and a brief description explaining it.
    Hypothesis – The Internet, peer reviewed.
    Annotate the web, with anyone, anywhere.
    We’re a nonprofit on a mission to bring an open conversation over the whole web. Use Hypothesis right now to hold discussions, read socially, organize your research, and take personal notes
    Liberapay is a recurrent donations platform.

    We help you fund the creators and projects you appreciate.
    Stop YouTubing your Videos for Free!!! - Muvi
    You’re spending in sending traffic to YouTube, not Your Service
    Your entire marketing campaign is based on driving your potential viewrs to YouTube.com/YourBrand. When you market your YouTube channel, you actually send FREE traffic to YouTube. Your viewers will go to YouTube first and then search for your content/channel, which means YouTube getting free marketing on your expense! Are you sure you want to promote someone else’s brand for Free?
  • Weekly links for 2018-05-31

    In Solidarity with Library Genesis and Sci-hub
    There are many businessmen who own knowledge today. Consider Elsevier, the largest scholarly publisher, whose 37% profit margin1 stands in sharp contrast to the rising fees, expanding student loan debt and poverty-level wages for adjunct faculty. Elsevier owns some of the largest databases of academic material, which are licensed at prices so scandalously high that even Harvard, the richest university of the global north, has complained that it cannot afford them any longer. Robert Darnton, the past director of Harvard Library, says "We faculty do the research, write the papers, referee papers by other researchers, serve on editorial boards, all of it for free … and then we buy back the results of our labour at outrageous prices."2 For all the work supported by public money benefiting scholarly publishers, particularly the peer review that grounds their legitimacy, journal articles are priced such that they prohibit access to science to many academics - and all non-academics - across the world, and render it a token of privilege.3
    string diagram generation for monoidal categories
    Cateno is a system for computational category theory and applications. It provides an interactive calculator for free morphism expressions and string diagram generation for monoidal categories. It also handles concrete categories, and can be used as a typed numerical linear algebra system.
    Binder (beta)
    Have a repository full of Jupyter notebooks? With Binder, open those notebooks in an executable environment, making your code immediately reproducible by anyone, anywhere.
    slides/slides.md at master · Gabriel439/slides
    Nix: under the hood % Gabriel Gonzalez % December 7, 2017
    Gaussian Processes in Practice Workshop
    Bletchley Park 2006 - VideoLectures - VideoLectures.NET
  • Weekly links for 2017-12-03

    zeit/release: Generate changelogs with a single command
    When run, this command line interface automatically generates a new GitHub Release and populates it with the changes (commits) made since the last release.
    danidiaz/streamy: Using Backpack to abstract over the main Haskell streaming libraries.
    Using Backpack to abstract over the main Haskell streaming libraries.
    typicode/hotel: A simple process manager for developers. Start apps from your browser and access them using local .dev domains
    🏩 A simple process manager for developers. Start apps from your browser and access them using local .dev domains
    Storybook Examples

    We write a few stories for our todo list component’s different states.
    Then you can interact with them inside React Storybook
    RunKit: Example Notebooks
    Explore RunKit
    See the interesting things people are creating with RunKit.