jonjacky (u/jonjacky)

Readit News

jonjacky commented on Carnap – A formal logic framework for Haskell carnap.io/... · Posted by u/ravenical

cartucho1 · 2 days ago

For something similar, but in Python, I made this a while ago:

https://logics.readthedocs.io/en/latest/

GUI here:

https://taut-logic.com/

jonjacky · 2 days ago

I, too, made something similar in Python -- but simpler and less polished:

https://jon-jacky.github.io/FLiP/www/

https://github.com/jon-jacky/FLiP/

jonjacky commented on E.W.Dijkstra Archive cs.utexas.edu/~EWD/welcom... · Posted by u/surprisetalk

KPGv2 · 3 days ago

> and no corrections

There of course could have been 100 corrections. He just threw those papers out and started again. Which is what we old timers did when we wrote things that we wanted to look nice. I did this with every math assignment at uni: do the work, get it right, then hand-copy a legible version to hand in.

jonjacky · 3 days ago

Oh sure, he might have made several, or many, drafts on scratch paper. But even then it is impressive. Many of these are around 12 pages of hand written text and math in ink with no corrections -- he famously used a Mont Blanc fountain pen. How many people could do that at all, even if they were copying from a rough draft? And there are so many -- more than 1300 EwDs!

jonjacky commented on E.W.Dijkstra Archive cs.utexas.edu/~EWD/welcom... · Posted by u/surprisetalk

jonjacky · 4 days ago

Many of these EWD notes are hand written with a lot of mathematical notation, and no corrections. For example:

https://www.cs.utexas.edu/~EWD/ewd10xx/EWD1063.PDF

I am reminded of Salieri's reaction to Mozart's manuscripts in the movie Amadeus.

jonjacky commented on Luddite List docs.google.com/spreadshe... · Posted by u/paulorlando

paulorlando · 6 days ago

Hey, I was just planning a blog post. I write about a mix of this kind of thing and for the first time am soliciting input before writing the post.

jonjacky · 6 days ago

I look forward to the blog post.

jonjacky commented on Luddite List docs.google.com/spreadshe... · Posted by u/paulorlando

jonjacky · 7 days ago

It looks like these are notes for a research project leading to a paper, a thesis, or even a book. Is there any more information about that?

jonjacky commented on Kpython – A MicroPython Sidecar for the Linux Kernel (Experimental) github.com/pymergetic/kpy... · Posted by u/kpython

jonjacky · 12 days ago

Possibly of interest: 'Linux kernel MicroPython port', last updated four years ago.

https://github.com/Jongy/micropython/tree/linux-kernel/ports...

https://medium.com/@yon.goldschmidt/running-python-in-the-li...

jonjacky commented on Firsts: Computing from the Paul G. Allen Collection onlineonly.christies.com/... · Posted by u/cameron_b

jonjacky · 16 days ago

This makes me sad because I recall seeing many of these at the late lamented Living Computer Museum in Seattle. Here we see its collection being auctioned off piecemeal.

The back story is here:

https://news.ycombinator.com/item?id=42309025 Ask HN: Why did no one save the Living Computers museum in Seattle? 73 points by superconduct123 on Dec 3, 2024 | ... | 78 comments

jonjacky commented on HiRTOS: A high-integrity multi-core RTOS kernel written in SPARK Ada github.com/jgrivera67/HiR... · Posted by u/jacques_chester

jonjacky · 17 days ago

A surprise, from the README:

"HiRTOS is formally specified using the Z notation. The Z specification can be found here [link]."

I used Z years ago. I haven't seen any new work in Z for many years -- but the linked specification is dated in 2024.

Also, "The HiRTOS thread scheduler is formally specified in TLA+/Pluscal. The TLA+/Pluscal specification can be found here [link] It was model-checked using the TLC model checker. The sucessful TLC run [link] took more than 7 hours"

jonjacky commented on Show HN: Rhubarb – C89 Libraries in Latin github.com/farant/rhubarb... · Posted by u/water_badger

jonjacky · 22 days ago

This same author's Aquinas OS also looks interesting -- although it is not in Latin.

https://github.com/farant/aquinas

jonjacky commented on Show HN: Rhubarb – C89 Libraries in Latin github.com/farant/rhubarb... · Posted by u/water_badger

jonjacky · 23 days ago

Very impressive - there is a lot of work here! But why? They explain it in docs/latina.h.md |

In include/latina.h, they use the C preprocessor to redefine the C keywords in Latin. Also, many numeric constants -- instead of 4096 you write MMMMXCVI.

The other files in docs explain each library routine in English, but the code samples are in Latin. The source files - a lot of them! - are in include and lib. The code is all in Latin, including the error messages and comments.

u/jonjacky

KarmaCake day905July 15, 2009

About

https://jon-jacky.github.io/home/

View Original