m_j_g

6 ms·

1.
by m_j_g 7mo ago
to the point, that it is reasonable to commit altogether to the choice.
2.
by m_j_g 7mo ago
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 ourselves and how the world works. There’s just more uncert
3.
by m_j_g 1y ago
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 from the street view).
4.
by m_j_g 1y ago
vaguely related : synthetic homotopies visualisation tool - https://github.com/marcinjangrzybowski/cubeViz2
5.
by m_j_g 1y ago
Did you played with cubical flavor of Agda? here is fun project of mine related to it : https://github.com/marcinjangrzybowski/cubeViz2 :)
6.
by m_j_g 4y ago
secound, espeicaly together with elm street for generating code from Haskell
7.
by m_j_g 4y ago
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 that also Higher Inductive Types have lots of potential to s
8.
by m_j_g 5y ago
It is nice to see practical application of dependently typed language!
9.
by m_j_g 5y ago
Contrary, formal methods could (in theory!!) give as way to assess correctness of software regardless of programmer qualifications.
10.
by m_j_g 5y ago
previous video that led to wager : https://news.ycombinator.com/item?id=27330412
11.
Veritasium: A Physics Prof Bet Me $10k I'm Wrong(youtube.com)
33 points by m_j_g 5y ago|2 comments
12.
by m_j_g 5y ago
cubical Agda : https://github.com/agda/cubical is also worth mentioning int this context
13.
by m_j_g 5y ago
Messages: The Communication Skills Book Di Matthew McKay, Martha Davis, Patrick Fanning Basics, without any controversial ideas. This book helped me a lot.
14.
by m_j_g 5y ago
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.org/package/elm-street ) The downside of
15.
by m_j_g 5y ago
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 (even in the limited scope) technology.
16.
by m_j_g 5y ago
tried multiple stacks for last 12 years, for past two years I am enamored with Haskell + Elm
17.
by m_j_g 5y ago
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 with less experienced members of the team. It was very importan
18.
by m_j_g 5y ago
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 will settle, maybe in 50 years? Maybe todays, heated disucions
19.
by m_j_g 5y ago
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 even be possible to find some narrow aspect which is possible
20.
by m_j_g 6y ago
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 will allow to edit code in 3
21.
by m_j_g 6y ago
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 play role, simply there is so many highly sk
22.
by m_j_g 6y ago
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 from predefined set (ideally not only in title but also in cont
23.
by m_j_g 6y ago
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...
24.
by m_j_g 6y ago
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 will allow to edit cod
25.
by m_j_g 6y ago
I have very similar story, it was mind-blowing to me how methylphenidate pharmacotherapy helped me not only with procrastination but also gave me capacity to work on anxiety/depression and interpersonal issues. In no way I want to adve
26.
Wire Strike Protection System(en.wikipedia.org)
1 points by m_j_g 6y ago|0 comments
27.
How I made a €2 ACTUATOR(youtube.com)
1 points by m_j_g 6y ago|0 comments
28.
by m_j_g 6y ago
Did you tried to incorporate cubical agda into some real world development? For me it is cool to let internal machinery handle isomorphism between different types, but cubical agda library is still much smaller than std agda library ;/
29.
The Unbearable Loneliness of Being Right on the Internet with CD (2017)(youtube.com)
1 points by m_j_g 6y ago|0 comments
30.
by m_j_g 6y ago
more homotopy than topology, but still may be interesitng to you: https://staff.math.su.se/anders.mortberg/papers/cubicalsynth...

More ›