Trading FunLists at a Bazaar with Yoneda

New blog post about Day convolution, ends, and Yoneda lemma in the service of Haskell optics

lens  categoryTheory 
5 days ago
https://book.douban.com/subject/26608585/ Work Rules!Insights from Inside Google That Will Transform How You Live and Lead ;;;
9 days ago
Seibel's 1st Law of Debugging

The longer and more ridiculous the debugging session, the stupider the bug will eventually turn out to be.

via https://twitter.com/GabrielG439/status/1044375148952866817
10 days ago
Profunctor Optics In Java
https://redd.it/9m144e ;;;
https://twitter.com/kmett/status/1048801772272275458 Lenses are everywhere it seems ;;;
https://redd.it/9m2o5r Digging reveals profunctor optics in Mineacraft ;;;
https://redd.it/9lyplq minecraft ;;;
10 days ago
What's a senior engineer's job?
https://redd.it/9mze0g The next career step for Senior Software Engineer ;;;
10 days ago
« earlier      
*ql 2js actor ai algebra algorithm android api-design applicative architecture async big-data binder bit blockchain build-system c categorytheory challenge clojure closure code-font color-scheme compiler computation concatenative concurrency conf config container continuation coroutine course cpp cps cryptograph cs dataabstraction database datastructure debugging dependent-type development doc-generator dotnet dsl editor effect elixir emacs encoding erikmeijer erlang errexp event-sourcing expression-problem finance fold formlet fp fpedu fq free-monad front-end frp fsharp fsm gadt gamedev gc generic gis git git-internal golang graphics graphql gui haskell hs-book hs-dev hs-generic hs-webdev httpc idris impl-in-hs implementation information java javascript jit json kv lambda lazy lens linear-algebra linear-type lisp logic lua macos macro mathematics memory misclang modulesystem monad monoid mp music mvc network nix numbertheory ocaml oop organize os parallelism parametricity parsercombinator parsing people physics pkgm pl pprint processcalculus programming purescript python quickcheck quine racket rb-webdev react recursion-schemes regex research rpc ruby rust rx scala scheme scicomp scmimpl scraping semantics serialization server shell sicp slideshow sml sorting staticgen statistics stm storage stream sysadmin sysprog tabular testing tex thread timeline trampoline tutorial tvc type typeclass typography ui-component unix verification virtualization vision visualization vm webapi webapp webarch xmonad

Copy this bookmark: