HNHacker News
TopNewBestAskShowJobs

doppioandante

294 karma · joined December 30, 2015

submissionscomments
doppioandante··on AI Built a Nuke and Still Lost
I came to the same conclusion about AI generated code. When I read code written by a human, just by skimming it, I can get a sense of what purpose the code has, why it was written this way and not another way, what style and mindset the programmer behind it has. AI generated code may sometimes be extremely precise and following all the good practices, but I feel no intent behind it.
doppioandante··on Julia 1.12 highlights
Being able to redefine structs is what I always wanted when prototyping using Revise.jl :) great to have it
doppioandante··on Legendre transform, better explained (2017)
Wow, I've been looking for a meaningful definition of the Legendre transform for ages, thanks for writing this up
doppioandante··on Will Intel's AXG division survive Pat Gelsinger’s axe?
There is ZLUDA, based on oneAPI if I recall correctly: https://github.com/vosen/ZLUDA
doppioandante··on Ask HN: Best beginner friendly linear algebra book?
That is really a wonderful book which I perused when learning linear algebra, maybe a bit on the mathy side for OP expecially as he is asking a book for a "visual learner". Fortunately linear algebra can be grasped intuitively in dimensions above 3 even if it can't be visualized, but maybe I'm biased as it is bread and butter for me now.
doppioandante··on Symbian Source Code
Thank you, this is gold. I have discovered a couple of nokia phones in my drawer and I was wondering how the hell I could develop on them. Since then I have discovered the whole "cooked ROM" scene, which has of course died in the meantime. I hope that archive will answer my questions. Btw, if anyone knows, is a special piece of hardware needed to flash the firmware of a nokia symbian phone?
doppioandante··on Intel deprecates SGX on Core series processors
What is the significance of this when looking at the fact that SGX support has been recently merged into linux main tree?

I was waiting till next Ubuntu LTS to have qemu packaged with SGX support in order to reverse engineer my fingerprint sensor (which is match-on-host, and uses SGX under Windows).

doppioandante··on Stackit: Cloud and Colocation
As a student of both German and English, this mistake looks weird to me, as you are supposed to start the question with the verb in German (Brauchst du ...?), and this acts as a pretty good reminder to translate the question with the do in English.
doppioandante··on Kakoune Code Editor
Ditto. I rarely use multiple cursors in other editors, but I use them _constantly_ in Kakoune. I have been using it for multiple years. The composability of the command language is what makes it shine.
doppioandante··on Xorg-Server 21.1.0
You may be interested in muon: https://git.sr.ht/~lattis/muon/
doppioandante··on Carp – A statically typed Lisp, without a GC, for real-time applications
Do you mind posting some reference on the unpredictability of pause times in rust? I'm interested in real-time systems and I'd love to know more.
doppioandante··on Observability: A New Theory Based on the Group of Invariance
From a quick skim, it certainly looks like advanced mathematics is at use, but control theorists that deal with nonlinear systems have been using this kind of formalism already. Lie groups are even used in robotics to write down kinematics of serial chains.
doppioandante··on Observability: A New Theory Based on the Group of Invariance
The term nonlinear system here must be understood from the point of view of control engineering. In control theory, a system is usually described in a white-box manner by a differential equation and an observation equation: dx/dt = f(x, u, t)

y = h(x, u, t)

x is a vector of the so called state-variables, while y is the output vectors which usually represents what we can measure about the system, u is a function which represents the inputs to the system, and t is the time.

A very useful and simple modeling tool is that of linear time-invariant systems (LTI), where the above equations are specifically

dx/dt = Ax+Bu

y = Cx+Du

where (A,B,C,D) are matrices. Every bit of theory is known about LTI systems: how to control them, global properties, etc. Nonlinear systems are, loosely speaking, dynamical systems which are not linear in the above sense. Depending on the specific nonlinear system form, much less can be said than the linear system case.

doppioandante··on Become Shell Literate
This is exactly how I would have done it, just using my editor of choice (kakoune) instead. I also wrote on Drew's mailing list in case anyone is interested: https://lists.sr.ht/~sircmpwn/public-inbox/%3CCAKW6382rV5iW2...
doppioandante··on TKE: Modern Tcl/Tk-based text editor
A kakoune user made this one: https://delapouite.github.io/kakoune-tv/

It shows the solution to vimgolfs inside kakoune, with number of keystrokes

doppioandante··on Spatial: A High Level Programming Language for FPGAs
Are you going to track the progress somewhere? I'm interested in helping
doppioandante··on LimeSDR Mini – An open, full-duplex, USB stick radio for femtocells and more
Is this a good way to get into SDR or is this device too much for a total beginner? I'm taking a telecommunications course later this year and this topic looks really interesting.
doppioandante··on The earliest known versions of Dennis Ritchie's first C compiler
How was this compiler bootstrapped?
doppioandante··on Guide to Italian Bakeries
I don't think that parent wanted to be pretentious, as an Italian I was confused by the article too, then I realized that it's a description of the italian sweets that you can find in a certain part of the US. It seems natural to me that someone would try to skew the usually US-centric view of HN by stating their experience.
doppioandante··on Guide to Italian Bakeries
Panettone is the correct spelling.
doppioandante··on Ask HN: What are the OSS alternatives to iOS/Android?
Read this one:

https://what.thedailywtf.com/topic/15001/enlightened/2

doppioandante··on Growing Ubuntu for Cloud and IoT, Rather Than Phone and Convergence
Unity has often been criticized because it was a Canonical thing and didn't leverage Wayland, but it's another world compared to Gnome shell. I couldn't like gnome shell no matter what.

I was using Gnome shell on a old eeepc. The interface is dumbed down and you have to install a bunch of extensions to make it as functional as Unity.

What was worse is that the launcher automatically triggered the search function, and that slowed down the pc to a crawl. I'm using KDE on it now and, even though less stable, it has a decent interface and it is surprisingly snappy.

doppioandante··on Ikutaro Kakehashi, founder of Roland, has died
What do you mean? 'i' is like in 'India' while 'e' is like in 'enter' but more contracted (otherwise it would be more like an ä). Maybe you're talking about 'ie', but that is a diphthong and is spelled out as a long i.
doppioandante··on Vim's 25th anniversary and the release of Vim 8
Two main differences for who comes from vim in my opinion:

1) Editing model based on (multiple) selections. Instead of moving around and issuing verbs on objects, as in vim, you are always selecting something and the command (delete, change, yank and so on) comes afterwards.

It may not seem very different from vim, but the huge advantage is the feedback that you get from the editor.

2) Scripting kakoune is totally different from scripting vim and somewhat harder. If you need something in vim, you write your vim script and that's it. You can't do this in kakoune because the editor language is not a programming language, but only allows you to communicate with the system.

This is the reason why POSIX is a hard dependency, every script in kakoune usually relies on POSIX binutils to do things.

I've been learning to use UNIX more since I've started to use kakoune.

doppioandante··on ‘Abusing’ the C switch statement – beauty is in the eye of the beholder
Can you make an example?
doppioandante··on King – man + woman is queen; but why?
Well, if I had to give it any meaning I would probably choose the word with the smaller distance from the one that was computed (provided that a sensed scalar product exists here). Closure under linear combinations is not a problem if you separate the "word vector" from the actual word. With the same reasoning as above 0.999999king would still be king.

The fundamental problem is that linearity is probably not that accurate in representing words relationships, but I don't think this is the goal.

doppioandante··on Quantum computers ready to leap out of the lab in 2017
I have been told that D-Wave is not actually a quantum computer but a quantum annealer, but I don't know the difference.
doppioandante··on Why Kakoune – The quest for a better code editor
It's a new caledonian word, see https://github.com/mawww/kakoune/blob/master/doc/manpages/fa...
doppioandante··on Why Kakoune – The quest for a better code editor
FAQ on various things and what the name means:

https://github.com/mawww/kakoune/blob/master/doc/manpages/fa...

doppioandante··on Why Kakoune – The quest for a better code editor
It is written from scratch in a very modern C++ style, I advise every C++ programmer to look at it. Also the code is quite well organized.
Page 1 of 2Next →