Viewing profile — madarcho

CodeQL was a good help on some projects, but more recently, our team has been increasingly frustrated by the thing to the point of turning it off. The latest drop in the bucket was…

Where is this worry coming from? (I'm curious, not shutting it down) I might be biased from having worked with production F#, but it feels more like functional is making its way in…

The task sounds similar to descriptions in the API space. People figured LLMs would be awesome at annotating API specs with descriptions that are so often missing. Truth is, everyo…

From the wording, they are comparing against all electric vehicles, no specific model year, called to a routine inspection (~MOT). There is a small note explaining that the Model 3…

A pleasant surprise seeing an Alastair Donaldson supported paper. What I liked most at Imperial was the amount of professors pushing for things that sat between the fully theoretic…

Well worth a quick trip to the source to see how it's implemented. After all, how would the author get around to packaging 4B if statements, like the OP?

Almost identical pathway here, except with some Spybotics thrown in around the same time as Bionicle. I sometimes wish Mindstorms had that level of world building...

At Unity, Joachim Ante always stayed very close to the underlying engine and its tech, rather than the broader market strategies and moves. Of course, every situation is unique and…

And we don't necessarily need to step out of the western world to see it. I still remember Authorized Retailers in France before the expansion of Apple stores beyond the US. In Den…

Redistribution of taxes, from areas of high densities to lower density prefectures.

Our attention spans have been ruined by the modern age of the internet! If an audience needs to hold a train of thought for more than three minutes, they're gone. Surprise, anecdot…

I imagine a branding change will be in order before actually delivering anything to users? While I could believe in the artist and their history of fighting off legal challenges, I…

Exactly the same boat. About to switch to a C# role, so not exactly a world of difference, but I am going to miss F#. I can't help but feel that the success of our small team is ma…

I had an excellent talk about talks a couple years ago, and have actively been looking for other _fantastic_ ways to achieve the same, "sticky talk" goals. In particular, it is int…

Hah, this was great! This is actually my first time looking into the platform. It's interesting to have the ability to peek into the "code". Though I initially felt I agreed with a…

I think I might be in a similar boat. I've an interest in Type Theory, but rarely get to really connect day to day work with the fun bits. Interestingly I have never heard of Rober…

It's counter-intuitive, because of social norms we grow up with. I particularly dislike hello-and-hold as described, but I needed a coworker to show me that I was doing this to oth…

And in my team, we would have taken this into account. And that starts with a conversation (like the thread OP implied in their answer). Hopefully the conversation would then avoid…

Talk about it. It may turn out that the societal constraints don't enforce the conflict mined diamond. And you may find out more about what it is that is motivating the choice. But…

Few people buy a house outright. Mortgages make the ordeal a little more in reach. Now as to whether banks grant it or not is a different problem...

Your site seems to target specifically teams with messy docker compose setups. Is there a simplified/supported migration or onboarding path?

It started off original enough I felt. It had an idea of its own, but very quickly just ended up copying the style, without really hitting home. Still, I can't fault the author for…

Our setup is multiple solutions for each service, and most inherit from "Core" parts. This type def file is about 1000 lines (can't count the number of declarations in there). What…

We use Rider (enterprise license) to develop our F# services. Over the past year, the experience kept improving, small tweaks kept coming, and bugs were sorted out. At the moment, …

Do you think the work stops once the baby is born? This is exactly the effort that these parental leave laws tries to cover.