jonjacky

10 ms·

121.
by jonjacky 2y ago
May be of interest: Flip [1][2], a logical framework in Python. A logical framework is a library for defining logics and writing applications such as theorem provers. One Flip application is a proof checker for entering and editing proofs
122.
by jonjacky 2y ago
This 20-page paper on the Java Optimized Processor is quite interesting. It has been implemented on FPGAs: https://www.jopdesign.com/doc/rtarch.pdf via https://www.jopdesign.com/ which includes a link
123.
by jonjacky 2y ago
A related font, Routed Gothic, linked and discussed previously: https://news.ycombinator.com/item?id=30190397
124.
by jonjacky 2y ago
Also of interest, posted here a couple of years ago: ATX-80 – ZX-80 computer clone with ATmega8 processor https://news.ycombinator.com/item?id=29569523 This is not an exact replica like the one linked above, but an ingeni
125.
by jonjacky 2y ago
In HN 4 months ago: https://news.ycombinator.com/item?id=41370020 152 comments, 612 points.
126.
by jonjacky 2y ago
See also The Monospace Web: https://owickstrom.github.io/the-monospace-web/
127.
by jonjacky 2y ago
Click on the [Book] link at the top of the page, then scroll down to the database book -- it's the second one -- and click on the [Read] link.
128.
by jonjacky 2y ago
"Build a Commodore 64 from scratch" using modern parts. Very impressive, long detailed writeup, lots of photos. Suprised it got no comments and only 2 points - maybe because it was posted on Christmas eve. Also posted two years
129.
by jonjacky 2y ago
Compare this to the LGP-30, a "small" (desk-sized) vacuum tube computer of the 1950s. It also had just 16 instructions. It nominally had some registers, but these were just locations on the same magnetic drum that stored all t
130.
by jonjacky 2y ago
Details of what happened here: http://ascii.textfiles.com/archives/5672 via HN: https://news.ycombinator.com/item?id=41288051 There were several more HN threads - just search for 'Living Computer
131.
by jonjacky 2y ago
The standard textbooks by historians are: A History of Modern Computing by Paul Ceruzzi There is a completely rewritten version of this with an additional author: A New History of Modern Computing by Thomas Haigh and Paul Ceruzzi Also:
132.
by jonjacky 2y ago
This is the Tate art museum catalog entry for a computer whose cabinet was designed by Richard Hamilton, the artist who created the famous 1956 pop art collage, "Just what is it that makes today's homes so different, so appealing?
133.
by jonjacky 2y ago
Also, there were other emacses that preceded GNU Emacs and were written from scratch: Bernard Greenberg's MULTICS Emacs, written in MacLisp [1], James Gosling's Unix Emacs, mostly written in C [2], and Daniel Weinreb's Zwei,
134.
by jonjacky 2y ago
The Tulip Creative Computer[1][2] hits most of your points (I'm just a customer). It is definitely not a retro computer. It uses modern technology (ESP32S3 microcontroller with megabytes of flash memory and RAM, USB ports, wifi, col
135.
by jonjacky 2y ago
I think her character Prof. McGonagall in the Harry Potter movies drew heavily on her much earlier role as that other Scottish school teacher, Jean Brodie.
136.
by jonjacky 2y ago
Those wide DECwriters were the standard console terminals for DEC systems in the late 1970s and early 1980s. It is the only kind of terminal shown on the cover and interior of DEC's VAX-11/780 Hardware Handbook [1] (especially se
137.
by jonjacky 2y ago
Maybe kragen's admu, part of his BubbleOS suite: https://gitlab.com/kragen/bubbleos He writes: An ADM-3A terminal emulator called admu, which works well enough to run vim, screen, or tmux in. It displays using Y
138.
by jonjacky 2y ago
Earlier projects with similar motivation: OSKit (1999 - 2002) https://www-old.cs.utah.edu/flux/oskit/ Pintos (up to 2018, used in computer science courses) https://web.stanford.edu/class/c
139.
by jonjacky 2y ago
Old guy here -- I came of age in the PDP-11 era. I thought it was funny, just a gentle parody of a certain Im-being-patient writing style. I am sure the author does not really believe older people can't understand CHERI. One of the o
140.
by jonjacky 2y ago
I see there is a desktop version prebuilt for Mac OS 10.15 or higher, or you can build it for Linux: https://github.com/shorepine/tulipcc/blob/main/docs/tulip_de...
141.
by jonjacky 2y ago
There was a post about it with exactly that title a year ago, and it got no comments until I made one: https://news.ycombinator.com/item?id=34797041 I repeat what I wrote then -- this is very impressive! Especially that i
142.
by jonjacky 2y ago
Yes, it had a variable word length - a number was a string of decimal digits of any length, with a terminator at the end, kind of like a C character string. Machine code including instructions and data was all printable characters, so you c
143.
by jonjacky 2y ago
A later activist group with some similarities: CPSR (Computer Professionals for Social Responsibility) 1983 - 2013 http://cpsr.org/about/history https://en.wikipedia.org/wiki/Computer_Professionals
144.
by jonjacky 2y ago
RAND previously on HN: What is a think tank? (2022): https://news.ycombinator.com/item?id=29829796
145.
by jonjacky 2y ago
Yes! More information about the book: http://www.fredkaplan.info/wizards.htm
146.
by jonjacky 2y ago
Today (Tues Jun 11 2024) the HN black bar appeared in memory of Lynn Conway. Among her many many achievements, she was the administrator of the Strategic Computing Initiative for a while in the 1980s while she was working at DARPA.
147.
by jonjacky 2y ago
Acme, the combination editor, shell, and window manager. Influenced by Oberon, which another comment mentioned. http://acme.cat-v.org/
148.
by jonjacky 2y ago
Computer Power and Human Reason by Joseph Weizenbaum. It's a true classic. Weizenbaum wrote the first AI chat program, Eliza, sixty years ago. I read his book shortly after it came out in 1976, and several times since, most recen
149.
by jonjacky 2y ago
Typing 'MIT Senior House' in the HN search box brings up these, and others. Some of the comments are pertinent to your question. Senior House at MIT Dies, and a Crisis Blooms at Colleges (2017) (wired.com) 112 points by aj7 on Se
150.
by jonjacky 3y ago
Possibly pertinent: PyModel, a modelling system and model checker in and for Python --- the models are coded in standard Python. In addition to analysis, the system can be used as a test case generator and test runner for offline testing a

More ›