henrikeh

23 ms·

181.
by henrikeh 8y ago
I’m a PhD student in signal processing for fiber optics.
182.
by henrikeh 8y ago
The Ada programming language. We (at my work) have been considering it for a new project and mostly everything has been a pleasant surprise. It is not a language that makes you feel “clever” or “powerful” , but everything has its purpose an
183.
by henrikeh 8y ago
Curious: which language?
184.
by henrikeh 8y ago
I believe it is so, at least here in Denmark where any new hole in the ground is potentially an uncovered settlement. I recently had a chance to visit the dig at “Ringborgen” near Køge. They only dug as little as possible and with a very di
185.
by henrikeh 8y ago
FYI: I believe you have to use the flag -gnatn or -gnatN to inline packages with GNAT. Optimizing your project: https://www.pegasoft.ca/resources/boblap/7.html GNAT: Alphabetical list of all switches: https:&#x2F
186.
Ask HN: What are good examples of “pro” UI?
18 points by henrikeh 8y ago|14 comments
187.
by henrikeh 8y ago
Wolfram Language / Mathematica has “string patterns” which extend the built in pattern language to character-based matching. Within the context of Mathematica is a quite readable and familiar syntax. https://reference.wolfra
188.
by henrikeh 8y ago
Curiosity was too heavy for the airbag-style landing: https://en.m.wikipedia.org/wiki/Mars_Science_Laboratory#Entr...
189.
by henrikeh 8y ago
Can you please provide a source to this?
190.
by henrikeh 8y ago
Geometric constraint solvers are essentially graphical, declarative domain-specific languages for mechanical/physical design. As an example: http://solvespace.com/index.pl
191.
by henrikeh 8y ago
So do you need for images, photos, spreadsheets, PDF files, websites, schematics, board layouts, databases, mechanical drawings and models, neural network models, music masters, audio tracks, video footage and any other file format used by
192.
by henrikeh 8y ago
> I think that'd be useful for commenting but nothing else. But isn’t that a good enough use case? Almost nobody bothers to put proper formatting, diagrams, tables, formulas, references etc in their source code. At best we get ASCII
193.
by henrikeh 8y ago
They kinda are a non-profit. They are, AFAIK, a _forening_ (translates to association), which allow them to collectively own assets and collect donations.
194.
by henrikeh 8y ago
It depends on what you are looking for. Docco and friends seem to only be capable of reversing the relationship between comments and code. However, they don’t allow you to structure the program however you might like independently the need
195.
by henrikeh 8y ago
fpmagic looks quite interesting -- very barebones, but at least its a start! Footwork too looks like a neat project and I especially think the closer connection between code and interaction is beneficial. It is the same thing which impresse
196.
by henrikeh 8y ago
Interestingly I am myself doing a Ph.d. in photonics engineering, but I am almost entirely in signal processing and information theory. Anyway, thanks for the links and the thoughts! Amusingly almost all of the links were already visited! I
197.
by henrikeh 8y ago
A particular flavor of constraint solving is geometric constraint solving, where constraints such as "this line is parallel to this line" and "this line is tangent to this curve". This is widely used in pretty much every
198.
by henrikeh 8y ago
Not everything is written in C. On a project I recently worked on we opted for Linux on the embedded platform to support some 3rd party tools and allow ourselves to work in easier-to-prototype languages. Additionally, the management of the
199.
by henrikeh 8y ago
This is one of the most actively researched fields in computer architecture/engineering. Hard real-time requirements has been been extensively researched for ISAs, compilers, network-on-chips, concurrency models etc etc. Personally, I
200.
by henrikeh 8y ago
Which is a quote based upon a quote by Alan Shepard[0]. [0]: https://en.wikiquote.org/wiki/Alan_Shepard
201.
by henrikeh 8y ago
The technical university of Denmark also transistioned to teaching computer arch using RISC-V. Some of the most popular textbooks are also being converted to RISC-V editions.
202.
by henrikeh 8y ago
Rebol and Mathematica/Wolfram Language are two other that come to mind. Albeit Wolfram is kind of a Lisp. Possibly also Lua and its tables concept.
203.
by henrikeh 8y ago
With const generics ranged integers would be implemented as a user specified check. How viable would it be to implement an optimization step which seeks to minimize the number of these checks?
204.
by henrikeh 8y ago
Note that RISC-V is _not_ an open-source processor, but an open-source instruction set architecture. Which means that anyone can implement the instruction set and thus many different implementations can be made. Most likely there will not b
205.
by henrikeh 8y ago
Do you know how the process was adopted at the employer? What tools would you recommend for the actual tangle process? Noweb?
206.
by henrikeh 8y ago
What programs do you use? Can they make annotations with math typesetting, markup, links and images?
207.
by henrikeh 8y ago
You are replying to the person who proposed the “lose copyright” idea.
208.
by henrikeh 8y ago
But even these are approximations and false gods. Electromagnetism and solid-state physics are more fundamental still.
209.
by henrikeh 8y ago
Are the weights in the NN “relating to an identifiable person who can be directly or indirectly identified in particular by reference to an identifier”? If not, then it isn’t personal information.
210.
by henrikeh 8y ago
It is simple. You have to apply reasonable measures to delete the data. That is vague, for sure, but hopefully you have the engineering skills and domain knowledge to make a good call. Dealing with credit card data? Think a lot about it. De

More ›