henrikeh

21 ms·

151.
by henrikeh 8y ago
Yes. Such notes are standard for development hardware. Items 6.14.* on http://pcbchecklist.com gives an overview of what is typical.
152.
by henrikeh 8y ago
>> [...] solves the same problems without a runtime, and about 3 times the performance. I think you should look more into Ada. The only "runtime" is for the exception handling and bounds checking, both of which can be turned
153.
by henrikeh 8y ago
You are right. That is the title :-)
154.
by henrikeh 8y ago
Since you say “commercial” software I’m confused. Would that exclude medical software, aerospace software? If what you are getting at is that it is not widely used/not used in anything “successful” and thus just a pipe dream, then I un
155.
by henrikeh 8y ago
Not OP, but I’m not really getting what you are asking for?
156.
by henrikeh 8y ago
I recently read through “Designing the user interface with statecharts” by Horrocks. The arguments for are quite compelling, not just in terms of specifying, but also in terms of “designing”. One illuminating example was a calculator applic
157.
by henrikeh 8y ago
It is not about tools. It is about culture and process. Look at something like how SQLite for a real example of living up to the requirements of aviation software: 100 % branch coverage, extensive testing, multiple independent platforms in
158.
by henrikeh 8y ago
>> But that's a different issue of a manufacturer not conforming to the spec they've published for their product. Same as a carabiner failing at a load of 100kg when it's rated for 500kg. Package names are, in some fash
159.
by henrikeh 8y ago
An appendix. A lot of good stuff has begun to happen in this regard. At least KiCad has a large and pretty decent quality collection of footprints; I think other tools are making similar efforts. However, I wish they would make it easy to a
160.
by henrikeh 8y ago
It might seem wasted, but the reality is that a “standard” footprint does not really make sense. Soldering and assembly is not a perfect craft and it requires hundreds of considerations to methods used, environment of use, desired reliabili
161.
by henrikeh 8y ago
In Ada, procedure and function arguments must be annotated with whether they are “in”, “out”, “in out”. “In” can never be modified, “out” has no initial value and “in out” has both initial value and can be modified. Overall if you don’t kno
162.
by henrikeh 8y ago
First of all, we have protocol data such as headers and framing which we might never properly get rid of. People might also send uncompressed data. All practical concerns, but for analysis independent (and even uniform) is not wrong, just r
163.
by henrikeh 8y ago
Ph.d. student in information theory and signal processing here. It is actually a very reasonable assumption for almost all kinds of data -- given that suitable compression is applied. Data, which is well-compressed, is essentially uniformly
164.
by henrikeh 8y ago
Not all of AdaCore’s libraries are in GPL: their drivers are for example in BSD-3: https://github.com/AdaCore/Ada_Drivers_Library/blob/master/R...
165.
by henrikeh 8y ago
Thanks. The idea started since my co-workers each had their own private lists and it sure worked, but I figured that it would be much easier if I could just go to one website and have one solid list. A bit challenge, I think, is that the cu
166.
by henrikeh 8y ago
Thank you! I'm trying to find reasons/explanations behind as many items as possible in order to give more context. In general I'm striving for the list to help informed design, rather than just checking off items :) If you fi
167.
by henrikeh 8y ago
I made http://pcbchecklist.com For electronics there are a lot of small things which should be considered in each design. The must-haves are covered by standards and regulation, but there are many many other considerations which
168.
by henrikeh 8y ago
Yes, Cube autogenerates a lot of code and will overwrite things that don’t follow the inserted markers. The original article even includes an example of using Cube to configure the clocks and then use those configurations together with Rust
169.
by henrikeh 8y ago
Vendor tools for STM provide almost exactly what you wish for for the clock diagram. Example: http://www.emcu.it/STM32clk/STM32clk.html
170.
by henrikeh 8y ago
The datasheet for the components almost always describe the dimensions and often the recommended footprint (landing zone). Depending on the industry different additional standards apply (for example “space grade” have increased focus on rel
171.
by henrikeh 8y ago
The text mentions 2 minutes as the time for “just do it now” tasks. However, Allen recommends finding a thresholds which fits your situation.
172.
by henrikeh 8y ago
One feature I’m sorely missing in pretty much all note taking apps is proper citation/reference handling. As in, working with actual bibliography indexes.
173.
by henrikeh 8y ago
Plugging my own thing: It is not a lot, but I have been compiling a design checklist for electronics design since summer. Right now it is a tool for myself and my work, which puts a priority on being comprehensive; but the licensing is libe
174.
by henrikeh 8y ago
Paying for a compiler isn't really as crazy as it sounds. Companies pay for CI, static analyzers etc. etc. For non-commercial applications it is obviously different.* Yet, I'm genuinely curious, why isn't GCC up to snuff? * E
175.
by henrikeh 8y ago
And it is very true -- Ada never truly gained any foothold in anything but situations where it truly delivered upon a requirement. If anything, I can take solace in the fact that it is very much alive despite the exaggerated rumors of its d
176.
by henrikeh 8y ago
It is disappointing that Ada seems to be completely shunned from all discussions of safe high-level languages despite having both a track record (several successful safety critical systems) and a unique feature set (multiple compilers, prov
177.
by henrikeh 8y ago
A few years back I attended a course on spacecraft operations at ESA. The instructor had a quite inspiring goal for operations: maximizing mission output. He kind of touches upon it in the talk with the TV-SAt 1 situation where operations r
178.
by henrikeh 8y ago
On a tangent: I’d like to hear from someone who has studied law or similar with regards to how to break the ice on such topics? I’d personally love to have “knowledge of” something like copyright law, but I don’t even know how to approach i
179.
by henrikeh 8y ago
A really curious aspect of this list is the “scale”/depth of the various topics. Some are very specific: “Node backends”, “GraphQl”; some are very general: “algorithms”, “functional languages”. It is well established that “knowing more
180.
by henrikeh 8y ago
My goal is to slow down to a more manageable pace and allow for more reflection and dreaming. 2018 was a hectic and eventful year and I am absolutely amazed by how much happened, but I can also feel that I completely neglected the importanc

More ›