Here’s an interview with ORCA’s creators:
Great Works in Programming Languages
Classic Papers in Programming Languages and Logic
I didn’t expect such system already exists and is used to design actual legislation.
France is one of the biggest funders of formal methods research!
Allons enfants de Bourbaki,
Le jour de gloire est vérifié
What exactly is “proc_macro_hygiene” ? I never understood what it does / why you need it.
hygiene refers to creating new identifiers without colliding with anything from outside of the macro.
It allows macros behave more like functions with their local variables, rather than like C macros which can grab anything they want.
Cool to see synchronous programming explored again! To my knowledge the other main languages were Esterel, Lustre, and Eve. First two are incredibly niche and the last is now defunct.
This article confirms Blech is influenced by Esterel, Lustre, and others:
Others synchronous languages are ReactiveML (http://rml.lri.fr/), Céu (http://ceu-lang.org/), and HipHop.js (http://hop.inria.fr/home/hiphop/index.html). Céu is closest to Blech in intent.
Although not widespread, I’ll add it’s in commercial use via AbsInt. I wonder how many buyers they have.
Jones’s Forth implementation is one file: https://github.com/nornagon/jonesforth/blob/master/jonesforth.S
Also microkanren a logic programming language https://github.com/jasonhemann/microKanren-DLS-16/blob/master/mk.rkt
I like my data to stay on my computer. I used to use mGSD, but I replaced it with CueKeeper a few years ago and I’ve been using that ever since. In both cases, you download an HTML file locally and then open it in your browser. mGSD stored the data by modifying the HTML file, which modern browsers don’t like. CueKeeper keeps the items in the browser’s IndexedDB storage.
Any way to synchronize CueKeeper’s data between a laptop and a phone?
There are some instructions on how to set up a sync server at https://github.com/talex5/cuekeeper/#running-a-server. However, that’s still experimental. In particular, the UI is not well tested on phones. It would probably need some changes to make it usable.
Before marking the server as finished, I’d first like to switch the data storage to be pure Git-format. Then you could even sync via e.g. GitHub. At the moment, it’s using an obsolete pre-1.0 Irmin format. I’m hoping to have time to look at it before the end of the year and write some migration scripts, so we can upgrade to the latest Irmin without people losing their history.
Finished Talleyrand by Duff Cooper, which I thoroughly enjoyed. Now back to Wolf Hall by Hillary Mantel. Also still reading Designing Data Intensive Applications
If you haven’t read it already, I can recommend Mantel’s A Place of Greater Safety.
Thanks! It’s on my list, I am going through a bit of a French Revolution phase, right now :)
I’ve just finished Elena Ferrante’s Napolitean novels (My Brilliant Friend, etc…). It’s a rollicking 1200 pages about a lifelong friendship between two women who’ve grown up in the same neighborhood. There is a lot of characters who reappear along the 4 books. You also learn about Naples, poverty and domestic violence, political strife in 70’s Italy, feminism, etc…
Ooh, that McPhee book looks interesting…
It’s a very good general history. He tries (maybe successfully) to rehabilitate Robespierre.
Nice. I’ve read and enjoyed The Terror by Andress, and Mantel’s A Place of Greater Safety which although a novel does a good job capturing the tone of the period. Mantel also treats Robespierre somewhat sympathetically.
Thanks - I will check those out.
He did a good job doing this in his: https://www.amazon.com/Robespierre-Macphee-Peter/dp/9873919007
which I enjoyed reading… Fun fact: there are no memorials or monuments to him in France
When you give up on ATS, BTS is a good next step.
In the same goal space, F* is also an interesting up and coming.
Any pointer to BTS ? I cannot find anything
Yeah, even I couldn’t find anything about it.
BTS intro: https://www.youtube.com/watch?v=7C2z4GqqS5E
I’m sorry, I regret what I’ve done. :(