Viewing profile — _mouvantsillage

I think that you could check Sozi: https://sozi.baierouge.fr A big rewrite of its documentation is in progress at: http://sozi.guide I have been developing it since 2009 and I thin…

Because Jupyter originates from the IPython project, hence the ipynb (IPython NoteBook) extension. IPython initially was a monolithic project that offered the notebook interface an…

Changing username is allowed. You just need to ask by e-mail (see https://news.ycombinator.com/newsfaq.html ). I did it a few weeks ago and the change was effective a few hours lat…

Now I think I understand what you mean. For many hardware engineers, I think that the message-passing semantics is a conceptual framework for explaining how simulators work. It is …

While simulation is a well-established practice among digital hardware developers, I have the impression that formal verification is still largely ignored. I hope it changes as fre…

All diagrams were created with Inkscape.

My experience in the lower-level aspects of hardware synthesis is limited but I would love to explore this topic. I use proprietary synthesis tools for FPGAs everyday but I do not …

In the "signal-of-vectors vs vector-of-signals" comparison, "vector" refers to the Racket data type used for arrays. It should not be confused with "bit vectors", which are represe…

Author here. This post is part of an ongoing experiment to use Racket as a platform for hardware description languages. Describing a RISC-V core in Racket is a step in this directi…

I thing it was Borland Turbo C++ 3.0 for MS-DOS. It had syntax highlighting, integrated help with full language and API documentation. Which was useful because I didn't have Intern…

I am the author of the question at stackoverflow. The racket topic on SO does not seem very active, so I thought I could get answers here as well.

I didn't know that. I will fix the README of the project as well.

Definitely. This could be the next step in my exploration of programming techniques to solve this problem. I will have a look at your implementation.

The authors of the Gecode solver could explain it better than me, but I think that -O3 and -O4 perform a first pass that pre-compute variable bounds and values, which could reduce …

I agree with that and I definitely will try. As explained in the first comment, one of the motivations for the project was to learn constraint programming. The tablature generator …

Author here. TablaZinc is a proof-of-concept tablature generator for fretted string instruments -- such as the guitar, bass, mandolin, banjo, etc. It is a week-end project that I s…

I think I understand what you mean. A trained guitar player would not need such a tool, and a beginner should probably avoid using it :). My original idea was to explore how I coul…

This article is the first of a series about « midi@3:14 », a home-made MIDI keyboard using a 3x14 Janko layout.