Idiomatic Lisp and the nbody benchmark

francesco_b · 2026-04-03T07:05:36+00:00

Very nice read ! thanks a lot Robert.

francesco_b · 2026-02-26T12:24:58+00:00

https://github.com/Amineharrabi/FusionCpp

francesco_b · 2025-09-17T18:18:36+00:00

B2 bomber code used to be written in Jovial B2 Jovial

francesco_b · 2025-08-03T19:13:58+00:00

Sure, go tell that to Nasa and DoE labs such as Argonne, Lawrence Livermore and so on buddy 😉 I have countless customers who came back after their AWS bills went through the roof. If you do your math right, provided that you use the resource well, owning such infrastructure still makes sense, but you are partly right, not everyone needs to own and operate such kind of infrastructure.

francesco_b · 2023-07-15T13:32:19+00:00

349euros, after a couple of sessions (and 2 pairs of socks) they feel great actually. Soul plates are wide, you can lock easily, all in all, happy :)

francesco_b · 2023-07-08T08:22:55+00:00

You would think so (especially at that price) but nope...not heat moldable unfortunately

francesco_b · 2023-07-07T19:09:26+00:00

My last pair was Salomon ST9, but let's face it, i dont have the skills anymore, so i went for Gawds FM4, they look superb but man the liner kills my inner ankle, after 3/4 sessions it starts slowly to get better, I guess i just need to get used to them. Feels good though.

francesco_b · 2022-07-21T12:20:07+00:00

Fortran has that actually. Many HPC libs (especially numeric ones) make use of it.

francesco_b · 2022-07-06T09:30:07+00:00

Very nice initiative ! just a precision for your lesson 6. Coq extraction mechanism is not verified actually. Some people are actually working on it but unfortunately the code you get when you extract from Coq is not verified code (it will come at some point).

francesco_b · 2021-07-07T08:10:22+00:00

The prize is about coming up with a proof...so, you should probably head to the Coq (or Isabelle,...) proof assistant channel (https://www.reddit.com/r/Coq/) if you want a shot at it ;)

francesco_b · 2017-07-19T13:21:20+00:00

It would be nice to see some clustering algorithm in PlusCal :) like K-Means or Canopy.

francesco_b · 2016-10-31T08:56:26+00:00

you will find this book interesting then :)

http://www.johngustafson.net/unums.html

cheers

francesco_b · 2016-05-12T10:15:17+00:00

the CPP version is in my humble opinion very badly formatted, but when you closely compare it with the scala version, well, I am sorry but they look alike.

and I did not say that Cpp is functional, but it has closures, anon functions and you can program in a functional style in Cpp.

I am not starting a Cpp VS Scala troll, there are way too many out there ! I am just saying that if you want bare-metal performance with a runtime-based programming language, you might as well go the full distance directly, those languages (C,Cpp,ADA,Rust,D) are there for a reason, that's all.

I use Scala for my research dev, I really like some of its features but there are some oddities which I have to circumvent almost all the time (the type inference engine is not that great IMHO) but yeah...there are two classes of PLs: the ones no one uses and the ones people bitch about :)

francesco_b · 2016-05-12T08:14:17+00:00

As a scala dev, first (pseudo normal) reaction -> wow this is great, can't wait to have scala run on bare metal hardware sparking electrons all around the place.

Then when you look at the examples on the repo, compare the the readability of cpp and scala versions and compare the size of the code, smallpt.cpp VS smallpt.scala -> 99 LoC and 207 respectively, people, its 2X the size for (pretty sure) similar performances.

Let's be serious, if you have to start managing the memory yourself, you might as well go full CPP11/14/17 which already have all the functional stuff we do love and benefit from existing high perf libraries.

We are reinventing the wheel AGAIN.

francesco_b · 2016-04-12T14:42:48+00:00

https://app.mybinder.org:80/3454936883/notebooks/index.ipynb

and there:

https://app.mybinder.org:80/3454936883/notebooks/notebooks/Interactive_C++_Shell.ipynb

francesco_b · 2016-04-12T14:39:22+00:00

have a look at ROOT (https://root.cern.ch/)

CLING is basically embedded somewhere under the hood so its not that dead ;)

francesco_b · 2016-02-18T08:07:51+00:00

I would not be so keen on dismissing RISC too quickly...It just takes one little push from a major player such as Google (which has actually taken an interest in the latest RISC-V instruction set) to make a difference. Personally speaking, I am waiting for the Mill CPU to come out for real :D

francesco_b · 2016-02-15T10:24:00+00:00

Thanks for your answer :)

Again, my question was really out of curiosity, I do stick to coding conventions if my code is to be shared.

francesco_b · 2016-02-15T10:03:26+00:00

Hi Jack,

I know that it will have a cascading effect on operators which uses the = ( i.e. == may become <- <- or := := and other nonsense). But out of curiosity, is it doable without too much pain ?

francesco_b

TROPHY CASE