syastrov

19 ms·

31.
by syastrov 6y ago
Not having worked with cython, the difference seems to be that cython requires using special types in its annotations as well as not supporting specializing the standard types like ‘list’. Mypy aims to be compatible with the standard Python
32.
by syastrov 6y ago
As a bit of background info, mypyc is “not really” ready for broader use yet. The devs are planning a soft-launch: https://github.com/mypyc/mypyc/issues/780 It is quite promising though, if it becomes more ro
33.
by syastrov 6y ago
Reading this sounds like dejavu. A company I’ve worked with also had a PHP monolith which was supposed to be split up into microservices to improve maintainability. The choice of language was free, and the first ones were, kid you not, writ
34.
by syastrov 6y ago
I’m glad to have contributed to MuseScore 13 (time flies!) years ago. Haven’t tried it in awhile, but glad to see it still going and from what it seems, thriving. The authors are very dedicated.
35.
by syastrov 6y ago
Very cool idea. Trying to parallelize bash scripts can be annoying to do manually, so is not often done.
36.
by syastrov 6y ago
Sorry, but why is GitHub’s blog on HN 3 times today?
37.
by syastrov 6y ago
Use an efficient language like Rust. Work on improving performance/memory usage of slower languages, e.g. Python.
38.
by syastrov 6y ago
Us programmers tend to be very literal-minded, but my understanding is that in some parts of the Middle East, it is common to exaggerate numbers to provide emphasis, where it’s understood that it’s not to be taken literally. So maybe they j
39.
by syastrov 6y ago
Back in the day, we used to use CSV for this :)
40.
by syastrov 7y ago
This is actually something I thought of doing, but you actually did it. It would be amazing if you can find a way to open-source at least part of it. But my application was to be able to use raw SQL queries instead of an ORM in an applicati
41.
by syastrov 7y ago
That cracked me up
42.
by syastrov 7y ago
I think it really depends on how you use the “weird parts”. Some of those let you write code much more concisely and effectively. Used in the wrong context, it’s a unnecessary distraction. It also depends on if you want to write “typical co
43.
by syastrov 8y ago
Django has quite a lot of "magic" as well. There is work being done on a mypy plugin to support this magic in addition to type stubs. It is already quite usable and supports type-checking many common patterns: https://g
44.
by syastrov 8y ago
Mypy performance is quite good in daemon mode for incremental updates. The recently released mypy-mypyc (AOC compiled version) gave me a 6x performance improvement on typechecking a large project.
45.
by syastrov 8y ago
Scala has implemented support for async-await syntax using its experimental macros: https://docs.scala-lang.org/sips/async.html Just an example of how powerful macros can be. They also have an example in their docs abo
46.
by syastrov 8y ago
Makes you think about choosing to write software in C / C++ / other non-memory-safe languages when you need 25000 cores churning away to ensure you don’t make mistakes that could cause serious security issues. It makes me wonder w
47.
by syastrov 8y ago
I think boring could also be described as easily understandable. Kludgy could be interpreted to mean that all possible theoretical scenarios are not handled. Working could mean that the product works for the use cases it was intended for. I
48.
by syastrov 8y ago
Is elasticsearch really the primary data store if they can replay events to reconstruct the data in elasticsearch? It sounds like the primary data store would be the stream of events.
49.
by syastrov 8y ago
This data is begging to be analyzed by machine learning algorithms.
50.
by syastrov 8y ago
Indeed. They admit that it could be done with an traditional relational database but argue that it wouldn’t be able to scale in the same way as with Cloud Spanner. But they are making it sound as though Cloud Spanner has some graph data mod
51.
by syastrov 8y ago
The same applies for any (well-) managed platform (e.g. Heroku).
52.
by syastrov 8y ago
Newton developed the mathematics of calculus to solve physics problems. That goes against Wigner’s hypothesis. I believe that it is difficult to pinpoint where inspiration comes from. However, mathematical rigor can often help. You could al
53.
by syastrov 8y ago
It’s a really important distinction that the invariant has to be an invariant in the real world (e.g. in the problem domain). Programming “right” is context-dependent. Some programmers try to program to some theoretically correct ideal, eve
54.
by syastrov 8y ago
I have heard of property based testing (e.g. QuickCheck). Is the main innovation of Eiffel that the author is referring to that these invariants are written alongside the actual code AND are configurably checked at runtime? Because ordinari
55.
by syastrov 8y ago
I’ve experienced a lot of n+1 queries problems as causes for bad performance. Often times this was a result of wrapping the ORM in abstraction layers (for business logic and fears of being “locked in” to the ORM). We rewrote that part of th
56.
by syastrov 8y ago
Nice write up. I love reading these kinds of postmortems. Unlike a lot of those I read, it sounds like you actually set out with a good set of requirements and really understood the problem. I had a good experience using Prometheus as well
57.
by syastrov 8y ago
I have experienced the same thing myself, but I would explain it differently. Even in science where the focus is actually on proving things, it is difficult to prove causation. I see this more as a question of whether you act on a correlati
58.
by syastrov 8y ago
To be accurate, that’s a very precise time. We don’t know if it’s accurate or not.
59.
by syastrov 10y ago
An enjoyable, short and to the point article with many examples and analogies. But my favorite part was this: "Okay, but what the freq are freqX and freqY?"
60.
Buridan’s Principle (2012) [pdf](research.microsoft.com)
1 points by syastrov 10y ago|0 comments

More ›