henrikeh

13 ms·

61.
by henrikeh 6y ago
Ah, thanks for the clarification, it definitely cleared up what you mean. As I understood the suggestion re. file actions it is meant as some sort of interactive completion. So if I type the name of an image file and press tap, I am given t
62.
by henrikeh 6y ago
Can you explain more clearly what you mean? Why does the order of commands or their names have any influence on whether pipes can be used? How do you pipe the output of cp into awk?
63.
by henrikeh 6y ago
For what it is worth, I read it as a neutral statement: it is literally just the official estimate of the impact in terms of time.
64.
by henrikeh 6y ago
Yes, it is from Hamming's "The Art of Doing Science and Engineering". From page 89: > Information Theory was created by C.E.Shannon in the late 1940s. The management of Bell Telephone Labs wanted him to call it “'Comm
65.
by henrikeh 6y ago
Just to be clear. I don't disagree. Albeit information theory is a grand name, "communication" theory would not strike at the general applicability.
66.
by henrikeh 6y ago
Richard Hamming (known for the Hamming code among others) has said that "information theory" ought to be called "communication theory". Obviously, communication theory is a field in itself, but I think the gist of his ar
67.
by henrikeh 6y ago
Except that it the GNAT compiler is part of GCC and GPL with the linking exception. Why not use that? And I don’t get what you mean with “pestering for info”. I’ve once discussed buying their compiler and I was by no means in a F500 (decide
68.
by henrikeh 6y ago
It is indeed a common misconceptions, but here is the official Ada 83 Language Reference Manual on the subject: http://archive.adaic.com/standards/83lrm/html/lrm-02-09.html... > Reserved words differing on
69.
by henrikeh 6y ago
> [...] tiring with the all caps. I guess there is more to like then, since the keywords are case insensitive. The OP doesn’t even use all caps.
70.
by henrikeh 6y ago
I don’t really get what you are saying. Are you talking about automated tools as a better option? Edit: To elaborate a bit, programming is naturally limited by the programmer's imagination, too. But what alternative is offered is a muc
71.
by henrikeh 6y ago
Ada has that. Bounded types and subtyping. For example, the type system is aware of the ranges of allowed values and can statically enforce this. Runtime checking is used by default but can be disabled.
72.
by henrikeh 6y ago
Ada is actually not 1-based. Arrays are accessed using an index type which is defined at declaration. It can be any discrete type, including ranges starting at 0 (or 1, or -1, or anything else which fits the domain).
73.
by henrikeh 6y ago
Or indexed by any discrete type with a defined order, including enums and negative numbers. The latter being quite useful for signal processing. Another thing to the add to the list of good ideas in Ada everyone ought to copy.
74.
by henrikeh 6y ago
https://community.arm.com/developer/ip-products/processors/b... > Javascript uses the double-precision floating-point format for all numbers. However, it needs to convert this common number format to 32-bi
75.
by henrikeh 6y ago
> unittest is an old horse and cart, while pytest is the batmobile. I really wish more was said than just this. Why is it that pytest is often preferred and unittest is considered a bad choice? What is the impact on the quality of the te
76.
by henrikeh 6y ago
You could approach this a number of ways. First, if you can ensure the seed of the generator, then that could be used on a case by case basis. But this tricky, since it introduces a subtle dependency on the implementation of biasedcoin. Ano
77.
by henrikeh 6y ago
Bulgarian also has a question particle (li or ли). In many cases questions are phrased by simply inserting “li” next to the focus of the question.
78.
by henrikeh 6y ago
It should be said that the methods were developed before he joined SpaceX and were used at NASA / JPL for at least on Mars mission.
79.
by henrikeh 6y ago
I don’t think it is fair to say that Apollo could have been pulled off by a few kind of people. It was a massive undertaking spanning almost all fields of science and engineering. Just read a book like _Stages to Saturn_ to see what an unde
80.
by henrikeh 6y ago
Just tested it and it worked fine. Note that your function takes too many parameters in its definition and that functions can't be passed as parameters by name. It is definitely not as elegant as the built-in facility in J, but definit
81.
by henrikeh 6y ago
Yes, the symbolic functions can be made "retroactively". The various conventional functions are overloaded with the symbolic input. >> syms x >> f = @(x) log(sqrt(x)).^2 f = function_handle with value:
82.
by henrikeh 6y ago
That can definitely be implemented in Matlab with the symbolic math toolbox. But interesting nonetheless.
83.
by henrikeh 6y ago
> It is completely impossible to implement something like "under" in matlab. I’m a little curious about this. Does J have a notion of the relationship between certain functions and their inverse? What is it that enables “under”
84.
by henrikeh 6y ago
The GNAT compiler (part of GCC) supports both static and dynamic linking.
85.
by henrikeh 6y ago
Sorry if I come off as pedantic, but what makes it look dodgy? Is it just the polish and alignment? I use it daily and I just find it functional, but I’m also very used to it.
86.
by henrikeh 6y ago
I’m sorry for being dense, but I don’t quite understand the issue. From the workflow of downloading Anki and adding to the default deck, how do the settings and knobs factor into it? I’m not here to just argue. I am legitimately interested.
87.
by henrikeh 6y ago
I’m always curious about the “Anki should be prettier” comment. I use Anki a lot, so I’m not in the best position to judge its first-hand impression. But, what would you say should change? Both in terms of visuals and interaction? Genuinely
88.
by henrikeh 6y ago
I’ve used flashcards quite extensively during my studies (electrical engineering and telecom engineering) and I continue to use it for technical subjects; albeit with reduced intensity. Spaced repetition systems are not just about “rote” me
89.
by henrikeh 6y ago
I think casting is an important part of documenting and encoding intent. Especially in embedded systems.
90.
by henrikeh 6y ago
This post touches upon a subject that I really wish was more adopted: having alternate syntaxes for the sake of _clarity_. Syntax "bread" to the syntax sugar. For example, regular expressions and date strings can be written in a n

More ›