Viewing profile — mristin

Have a look at Asset Administration Shells (AAS) -- it is a data exchange format built on top of JSON and XML (and RDF, and OPC UA and Protobuf, etc.). https://industrialdigitaltwi…

Hi HN, We are moving abroad, so my kids (7 and 4 yo) will have to attend classes in English, but they don't know any English (yet). I made two fairly simple language games to motiv…

Just let the kids play games in foreign languages. That's educational enough for me.

XBox doesn't work outside & in the class room. Now, I wouldn't advocate for playing computer games outside -- but this might be a nice gimmick for children's birthdays when celebra…

I'll try to package it for Linux this morning. So far nobody asked for it.

Sorry, I did not express myself clearly. For certain functions you can express all the properties in contracts and have them automatically tested. For other functions, you write so…

P.S. I think the important bit is not to be religious about contracts and tests. Sometimes it's easy to write the contracts and have the function automatically tested, sometimes un…

In my anecdotal experience, it takes very little time for juniors to pick up adding contracts to their code. You need to grasp implication, equivalence, exclusive or, and get used …

Just in case you are looking for an alternative approach: if you write contracts in your code, you might also consider crosshair [1] or icontract-hypothesis [2]. If your function/m…

You can already do that with a family of predicates if you write preconditions in your Python code (see my previous comment [1]). There is an ongoing discussion how to bring this i…

If you use Python and want to infer test strategies from contracts, you might want to check out this library of mine: [1]. There are also plugins for IDEs (Pycharm, VS Code and vim…

Use contracts and propery-based testing. See Hypothesis library in Python (and other laguages). I wrote a library for contracts in Python ( http://github.com/Parquery/icontract , s…

I find the combination between unit tests, component tests and contracts the best. Contracts allow you to test with tons of data you wouldn't have ever generated manually when enab…

Switzerland faced similar warfare, terror, murder and bloodshed -- it's only in 1848 that Switzerland came to peace.

I always wondered where this multiplicative factor of "several times" comes from. In my experience, writing correct software was marginally slower than writing sloppy software as l…

You can use PEX for Python. At my previous job, we used a python script to rsync files -- very, very simple. I think it would have been much more difficult and error-prone with Doc…

See also Mapry [0], a code generator we particularly made for JSON. [0] https://github.com/Parquery/mapry