Viewing profile — m_j_g

to the point, that it is reasonable to commit altogether to the choice.

This made me think of the secretary problem. Early in life it makes sense to move on more easily, not because we value people or partners less, but because we’re still figuring out…

In Poland you can get one without doctors referal (for CT you need one because of ionizing radiation exposure), it cost between 100-200$ in normal, reputable hospital (not one like…

vaguely related : synthetic homotopies visualisation tool - https://github.com/marcinjangrzybowski/cubeViz2

Did you played with cubical flavor of Agda? here is fun project of mine related to it : https://github.com/marcinjangrzybowski/cubeViz2 :)

secound, espeicaly together with elm street for generating code from Haskell

From my experience ability to turn equivalences to equlities and vice versa is very usefull. Without this you are ending in setoid hell - intracable mess of isomorphism. I suspect …

It is nice to see practical application of dependently typed language!

Contrary, formal methods could (in theory!!) give as way to assess correctness of software regardless of programmer qualifications.

previous video that led to wager : https://news.ycombinator.com/item?id=27330412

cubical Agda : https://github.com/agda/cubical is also worth mentioning int this context

Messages: The Communication Skills Book Di Matthew McKay, Martha Davis, Patrick Fanning Basics, without any controversial ideas. This book helped me a lot.

I am very happy with Elm on frontend. When working with Haskell I tend to generate most of frontend types for Elm directly from haskell with elm-street ( https://hackage.haskell.or…

Dependent types and homotopy type theory for general purpose programming. I am definitely excited about it, but not really sure if those hopes will ever materialize as some useful …

tried multiple stacks for last 12 years, for past two years I am enamored with Haskell + Elm

Some time ago i discovered, that when I am unable to write code, I am still able to engage in less demanding but still very beneficial activity for my project: Pair programming wit…

I think that this branch of engineering is still in its infancy (like electrical engineering int the times of edison). I am courius how front end development will look when dust wi…

If you want to keep this job, but looking for some motivation: Maybe try to focus on developing good (expert level) craftmanship? If overall quality of project is poor, it maybe ev…

https://raw.githack.com/marcinjangrzybowski/cubeViz/master/m... Visual editor for cubical-agda code, currently I am rewriting it in haskell and integrating with emacs. New version …

Because of the structure of labor market, for highly competitive jobs luck is also very important: https://www.youtube.com/watch?v=3LopI4YeC4I It does not meant that merit do not p…

I am fan of some niche technologies, I would love the functionality of “white list”, which would show “new stories” on the main page if new story contains some specific keyword fro…

Since I've got a "emacs pinky", I started to using this, and really like it: https://www.amazon.com/iKKEGOL-Triple-Keyboard-Control-Hospi...

https://raw.githack.com/marcinjangrzybowski/cubeViz/master/m... ' Visual editor for cubical-agda code, currently I am rewriting it in haskell and integrating with emacs. New versio…