I have not been able to get usable executables out of Chez, even on Linux, although it's nice and fast when used the normal way.

The best way I've found to make a standalone executable is to compile my scheme program into a .boot file and embed it, along with Chez's .boot files, into a small C program that then calls the scheme program.

All of the necessary functions to create such a C program documented here: https://cisco.github.io/ChezScheme/csug10.0/foreign.html#./f...

The relevant functions for this applictation are:

Sscheme_init

Sregister_boot_file_bytes

Sbuild_heap

Senable_expeditor (if you want to use Chez's builtin REPL)

Sscheme_start

Sscheme_deinit

I'd post an example program, but I've not got access to my development machine at the moment.

Thank you! I wonder how much extra work it is to use Racket code in such a program. (Because that was what I wanted to do.)

What does TigerBeetle stand on the CAP theorem? Sounds like it's AP?

CAP defines availability physically: “requests to a non-failing node receive a response”. TigerBeetle ensures logical availability: as long as clients can reach a majority, requests complete with strict serializability, preserving safety and liveness under partitions.

cf. Durability and the Art of Consensus: https://www.youtube.com/watch?v=tRgvaqpQPwE

could have*

Wait, is this written by an AI?

100%

Yes. The dead giveaway is multiple paragraphs of bullshit where one sentence would suffice. People ain't got time for that.

That is the giveaway for some of the high-profile LLMs. The ones I run locally with ollama can be VERY close to perfectly human, subtle typos and all

What’s your local setup? I run llama3:8b and it works well

> I used Scala for interactively inspect functions in jar you don't have source code.

How do you do that? I've only used javap on the command line for this.

Of course I first decompile using cfr. And then use scala REPL to load the jar and call functions to see the effect and find the parts interesting for further analysis.

Hey Alan, you once said that lisp is the greatest single programming language ever designed. Recently, with all the emergence of statically typed languages like Haskell and Scala, has that changed? Why do you think after being around for so long, lisp isn't as popular as mainstream languages like Java, C or Python? And lastly, what are your thoughts on MIT's switch to use Python instead of Scheme to teach their undergraduate CS program?

I should clarify this. I didn't exactly mean as a language to program in, but as (a) a "building material" and (b) especially as an "artifact to think with". Once you grok it, most issues in programming languages (including today) are much more thinkable (and criticizable).

The second question requires too long an answer for this forum.

Would it be better on a ML ? I remember long topics on FONC.

The one thing that makes LISP great is the "functions are data" formulation.

Many of the "current best paradigms" of Computer Science are actually fads. LISP was a fad of the 1980s. Java was a fad of the 1990s. NoSQL databases are a current fad. It doesn't mean that one is better than another. It's human nature to think that new technology must be better than old technology. In fact, the programming environment on the LISP machines of the 1980s was far better than anything we had till the early 2000s, despite being "old".

I think you are missing what was/is special about Lisp. It's "the idea of Lisp" (and see other places in this AMA where I've said a few more words).

The "idea of Java" is not special (and it's not clear that you could even say there is an "idea of Java").

It's most likely due to the country's brush with SARS and avian flu. http://www.bbc.com/news/world-asia-china-21680682

> Yesterday a lead programmer at a major financial institution told me that he liked that style so much, he'd incorporated it into his company's OCaml system, and they use it in their production systems (lots of high-volume trading).

Hmm...Jane Street?

I have a bunch of programming language theory papers here: https://github.com/jsyeo/Research-Papers.

PRs welcome.

Who is al?

He was a famous Arabic mathematician, a pioneer of algebra and algorithms (both named after him).

(Just kidding. I also didn't know the answer, not having read SICP, this would be my guess, but I believe axblount is right.)

Author lists often end with "et al" which is Latin for "and others."

I'm going to name my kid "al Arthur Alexander", so he can claim authorship credit for thousands of writings, and also for millions of highscores in arcade cabinets everywhere.