Welcome to my blog
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.
Weekly links for 2017-10-26
- The Programming Languages Zoo
- The Programming Languages Zoo is a collection of miniature programming languages which demonstrates various concepts and techniques used in programming language design and implementation. It is a good starting point for those who would like to implement their own programming language, or just learn how it is done.
- Emacs Major mode for working with Dhall configuration language
Weekly links for 2017-09-18
- This project aims to create a next-generation live programming environment that radically improves the programming experience
- firehol/netdata: Get control of your servers. Simple. Effective. Awesome! https://my-netdata.io/
- netdata is a system for distributed real-time performance and health monitoring. It provides unparalleled insights, in real-time, of everything happening on the system it runs (including applications such as web and database servers), using modern interactive web dashboards.
- Same Stats, Different Graphs: Generating Datasets with Varied Appearance and Identical Statistics through Simulated Annealing | Autodesk Research
- Why Momentum Really Works
- Really nice illustrated mathematics on the web
- sweirich/pi-forall: A demo implementation of a simple dependently-typed language
- Pi-Forall language
This language implementation is designed to accompany four lectures at OPLSS during Summer 2014. Notes for these lectures are included in the distribution:
Weekly links for 2017-03-23
- Emacs loaded packages exploration tools
- Exploring your loaded emacs libraries (spacemacs)
- Quantomatic :: Home
- Quantomatic is a diagrammatic proof assistant, meaning it provides machine-support for reasoning with diagrammatic languages
- Madoko Reference
- brick: A declarative terminal user interface library
- Write terminal applications painlessly with brick! You write an event handler and a drawing function and the library does the rest.
- Kwang's Haskell Blog - Build your Haskell project continuously
- Build your Haskell project continuously
- Notes - typerole - June 3, 2018
- Design - part 2 - Putting types to work - April 12, 2017
- Design - part 1 - controlling export with modules and types - April 9, 2017
- Test post, let's draw stuff - March 27, 2017
- Directed Acyclic Graphs - February 3, 2017