Viewing profile — mjoin

also more recently https://dl.acm.org/doi/abs/10.1145/3704268.3742696 "Paragraph justification is based primarily on shrinking or stretching the interword blanks. While the blanks …

what? this runs on all platforms

Thanks

That's nuts

Not in the domain but it looks great :) Congratulations

Exactly. This is the exact stack I envision to be the future in that space. The work of Scott Logic is awesome (and the company looks really nice as well! People and values)

Same. Neovim and plugins I use have been remarkably stable from the start

Thanks a lot for sharing your perspective. This convinces me to give it a proper try!

Unpopular opinion given all the craze around Elixir these days. I find the syntax extremely verbose and hard to read compared to e.g. Python. I was told great things about it by en…

you nailed it

they really know when reading the paper. small world, everyone PI knows who is working on what

what kind of device? also building a medtech start-up in France, would love to discuss

totally agree, a missed opportunity

what do you mean by 'native'? or, in other words, what makes psycopg non-native?

i'm the same. i don't understand why some fellow programmers need multiple monitors: one is already plenty enough for me. (i'm using a tiling window manager, switching back and for…

i live in Paris (born there) and travel almost exclusively by bike, sometimes 15km to cross the entire town. i can testify that this headline is utterly exaggerated: the situation …

in my experience, technical details have been figured out on a whiteboard before, and then it can happen that a PR is just going to be LGTM and merge. not all conversations happen …

interested to hear what other hners think about this. anybody did this for interviewing before? i myself had a beer with my phd supervisor as our first meeting, not sure this reall…

Refs to actual peer reviewed many articles please

Yeah, same boat here!

That way of communicating with your child is some black mirror shit

That's black mirror shit up there

GitHub has been expending its services, diverging from its original intent (e.g. remote visual studio code). I disagree. I think providing that a way to distribute applications thr…

https://coq.inria.fr/ would be a good choice for proof assistance, I believe