mristin

5 ms·

1.
by mristin 6mo ago
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://industrialdigitaltwin.org/ (Disclaimer: I work on AAS SDKs htt
2.
Show HN: Learn English with pictograms, speech and body pose(github.com)
1 points by mristin 3y ago|0 comments
3.
by mristin 3y ago
Just let the kids play games in foreign languages. That's educational enough for me.
4.
by mristin 3y ago
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 celebrated in the garden. A friend of mine uses
5.
by mristin 3y ago
I'll try to package it for Linux this morning. So far nobody asked for it.
6.
by mristin 5y ago
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 some obvious contracts (so that those are also tested in integ
7.
by mristin 5y ago
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 unit tests are clearer. I tend to limit myself to simple
8.
by mristin 5y ago
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 to declarative code, but then it's easy. (I often compa
9.
by mristin 5y ago
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/method does not need any pre-conditions then the the typ
10.
by mristin 6y ago
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 in into Hypothesis (see the issue [2]). [1]: https:/&#x
11.
by mristin 6y ago
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), which can be quite helpful during the development. [1]:
12.
by mristin 6y ago
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 , see its readme for further references to
13.
by mristin 6y ago
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 enabled in component and e2e tests. The contracts obliviate
14.
by mristin 6y ago
Switzerland faced similar warfare, terror, murder and bloodshed -- it's only in 1848 that Switzerland came to peace.
15.
by mristin 7y ago
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 long as most thinking is done with a pen & pape
16.
by mristin 7y ago
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 Dockers.
17.
by mristin 7y ago
See also Mapry [0], a code generator we particularly made for JSON. [0] https://github.com/Parquery/mapry