m_j_g | 16 days ago | on: Time to Move On – The Reason Relationships End
to the point, that it is reasonable to commit altogether to the choice.
m_j_g's comments
m_j_g | 16 days ago | on: Time to Move On – The Reason Relationships End
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 uncertainty.
Later, when we know more about who we are and what fits, it’s natural to switch less.
m_j_g | 7 months ago | on: Man wearing metallic necklace dies after being sucked into MRI machine
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).
m_j_g | 8 months ago | on: Homotopy Equivalences
vaguely related : synthetic homotopies visualisation tool - https://github.com/marcinjangrzybowski/cubeViz2
m_j_g | 10 months ago | on: How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
Did you played with cubical flavor of Agda?
here is fun project of mine related to it : https://github.com/marcinjangrzybowski/cubeViz2
:)
m_j_g | 3 years ago | on: Ask HN: What's is your go to toolset for simple front end development?
secound, espeicaly together with elm street for generating code from Haskell
m_j_g | 3 years ago | on: Timeline of “foundational” advances in homotopy theory?
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 simplify practical verification effords (apart from obvious usecases of quotients and truncations)
m_j_g | 4 years ago | on: Dbcritic: Constructively criticizing your Postgres schema (using Idris)
It is nice to see practical application of dependently typed language!
m_j_g | 4 years ago | on: Where are we going from here? Software engineering needs formal methods
Contrary, formal methods could (in theory!!) give as way to assess correctness of software regardless of programmer qualifications.
m_j_g | 4 years ago | on: Veritasium: A Physics Prof Bet Me $10k I'm Wrong
previous video that led to wager : https://news.ycombinator.com/item?id=27330412
m_j_g | 4 years ago | on: Homotopy Type Theory
cubical Agda : https://github.com/agda/cubical
is also worth mentioning int this context
m_j_g | 4 years ago | on: Ask HN: Books for Effective Communication
Messages: The Communication Skills Book
Di Matthew McKay, Martha Davis, Patrick Fanning
Basics, without any controversial ideas. This book helped me a lot.
m_j_g | 4 years ago | on: Why we chose Elm for Humio’s web UI
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 Elm simplicity in comparison to haskell is inability to express even simplest typeclases like Ord, or very useful constructions like Lenses.
m_j_g | 4 years ago | on: Ask HN: What under-the-radar technology are you excited about?
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.
m_j_g | 4 years ago | on: Ask HN: What's your absolute favorite tech stack, after having tried others?
tried multiple stacks for last 12 years, for past two years I am enamored with Haskell + Elm
m_j_g | 4 years ago | on: Ask HN: Solo developer, what's your recipe to start working?
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 important for me, because previously, when i had "bad day" i was ending with completely wasted day. Now, even when i am not able to do work myself i am still able to boost significantly someones output.
For solo projects, watching advanced tutorials, or conference talks about technology beneficial for current project gives me sense of progress during days when i am unable to code.
m_j_g | 5 years ago | on: I can only think that modern front end development has failed
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 will be setted for good? Or something new, better will be invented?
m_j_g | 5 years ago | on: How do you stay grounded when writing software no one wants?
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 to polish. Expertise gained that way may be used later, when you finally start working on something meaningful in the future.
m_j_g | 5 years ago | on: Ask HN: What (side-)project are you working on?
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 and 4 dimensions :)
m_j_g | 5 years ago | on: 5 years of leetcode with no progress. I'm giving up
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 skilled, and good candidates, that only small percent of them will get the dream job.
page 1