Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
Steady Hand EEPROM Programmer
After about 6 months, my project is finally complete. It’s the first significant circuit that I’ve designed myself, rather than just implementing someone else’s design:
https://codeberg.org/interrupt_tv/steadyhand
Steady Hand is a digital circuit for programming EEPROMs by hand. It’s inspired by this video by Ben Eater, where he creates a circuit for programming an EEPROM using DIP switches and jumper wires. Steady Hand is much more ergonomic than his design, though it is somewhat more complex.
While Ben Eater provides the “how” inspiration, the “why” inspiration comes from Jeremiah Orians’ stage0 project, and the general concept of bootstrapping: creating a computer software environment from nothing. When building a homebrew computer, one would typically use a significantly more complex modern computer to write the homebrew computer’s software to an EEPROM. I created Steady Hand as a first step towards resolving this problem.
After I’d wired everything up, I was a little afraid something would melt when I plugged it in. While the schematic is separated into smaller modules, the breadboard layout ended up being pretty monolithic. I didn’t do any testing as I was assembling it, so it seemed likely there would be a mistake somewhere. No magic smoke escaped though, and it mostly worked on the first try. There were a few bugs:
The address display was connected backwards, with the most significant digit on the right instead of the left. Easy enough to fix, but the relevant wires were no longer the right lengths to neatly reach their connection points. This trend continued as I had to do further circuit surgeries, leaving things messier than I’d like.
The auto-skip function would cycle endlessly if the byte value to skip matched what was in the write registers. The write registers’ output lines are connected to the EEPROM’s I/O lines in order to be able to write to it. The comparator is also connected to these so that it can compare the EEPROM’s output to the skip value. When it’s time for the multiplexed display to show one of the write nibbles, the EEPROM’s output is disabled and the write registers’ output enabled. This meant that the comparator would now be comparing with the write value instead of the value read from the EEPROM, and would give the signal to skip to the next address.
Disabling the comparator when it’s getting invalid input would have required some additional logic, and at the time I didn’t have any extra gates available. I solved this by using one of the display digit enable lines as the auto-skip function’s clock signal, instead of having it hooked directly to the clock. This ensured that the rising edge would only occur when the comparator had a valid input.
After writing a byte or when auto-skipping past a large number of addresses, the EEPROM would occasionally output FF instead of the byte that was actually stored at that address. It wouldn’t do this with any kind of consistency, but the FF would persist until the address was changed. I thought this was a power issue, but no combination of decoupling capacitors or pull-up resistors would make it go away. After wrestling with it for a long time, I eventually concluded that the AT28C256 just doesn’t like being always enabled. Once I added proper logic to control both the output enable and chip enable lines, the problem went away.
Since I needed at least one more logic IC to solve that last bug, I decided to add a 74HC7266 quad XNOR IC. This allowed me to add a search function alongside the auto-skip function, by just using an XNOR gate to invert the comparator’s output.
I used dupont cables to group related signal lines together, but I’m not sure how I feel about them now. I thought that they’d result in a cleaner layout than if I’d used several additional layers of solid core wire, but I still ended up with a rat’s nest. That was likely inevitable with how densely packed the components are. If I were to redo everything, I’d probably spread them out onto more boards, group them into individual modules, and allow for more redundancy in the glue logic.
Still, I’m happy with how the project turned out overall, and that I can now move onto the next one.
“For what man in the natural state or course of thinking did ever conceive it in his power to reduce the notions of all mankind exactly to the same length, and breadth, and height of his own? Yet this is the first humble and civil design of all innovators in the empire of reason.”*…
A “theory of everything” (a Grand Unified Theory on steriods)– a (still hypothetical) coherent theoretical framework of physics containing and explaining all physical principles– is the holy grail of physicists. Natalie Wolchover checks in on the most recent front-runner in the hunt…
Fifty-eight years after it first appeared, string theory remains the most popular candidate for the “theory of everything,” the unified mathematical framework for all matter and forces in the universe. This is much to the chagrin of its rather vocal critics. “String theory is not dead; it’s undead and now walks around like a zombie eating people’s brains,” the former physicist Sabine Hossenfelder said on her popular YouTube channel in 2024.
String theory is a “failure,” the mathematical physicist and blogger Peter Woit often says. His complaint is not that string theory is wrong — it’s that it’s “not even wrong,” as he titled a 2006 book. The theory says that, on scales of billionths of trillionths of trillionths of a centimeter, extra curled-up spatial dimensions reveal themselves and particles resolve into extended objects — strands and loops of energy — rather than points. But this alleged substructure is too small to detect, probably ever. The prediction is untestable.
A further problem is that uncountably many different configurations of dimensions and strings are permitted at those tiny scales; the theory can give rise to a limitless variety of universes. Amid this vast landscape of solutions, no one can hope to find a precise microscopic configuration that undergirds our particular macroscopic world.
These issues are profound indeed. Yet in my experience, the typical high-energy theorist in a prestigious university physics department still thinks string theory has a good chance of being correct, at least in part. The field has become siloed between those who deem it worth studying and those who don’t.
Recently, a new angle of attack has opened up. An approach called bootstrapping has allowed physicists to calculate that, under various starting assumptions about the universe, a key equation from string theory naturally follows. For some experts, these findings support the notion of “string uniqueness,” the idea that it is the only mathematically consistent quantum description of gravity and everything else.
Responding to one bootstrap paper on her YouTube channel, mere weeks after the “undead” comment, Hossenfelder said it was “string theorists do[ing] something sensible for once.” She added, “I’d say this paper strengthens the argument for string theory.”
Not everyone agrees, but the findings are reviving an important question. “This question of ‘Does string theory describe the world?’ has just been so taboo,” said Cliff Cheung, a physicist at the California Institute of Technology and an author of the paper discussed by Hossenfelder. Now, “people are actually thinking about it for the first time in decades.”
Getting wind of this work, I wanted to drill down on the logic and examine how the string hypothesis is faring these days…
And so she does: “Are Strings Still Our Best Hope for a Theory of Everything?” from @nattyover.bsky.social in @quantamagazine.bsky.social. Eminently worth reading in full.
Compare/contrast with: “Where Some See Strings, She Sees a Space-Time Made of Fractals.”
* Jonathan Swift, A Tale of a Tub
###
As we grapple with Godel, we might spare a thought for Hermann Rorschach; he died on this date in 1922. A psychiatrist and psychoanalyst, his education in art helped to spur the development of a set of inkblots that were used experimentally to measure various unconscious parts of the subject’s personality. Rorschach knew the human tendency to project interpretations and feelings onto ambiguous stimuli and believed that the subjective responses of his subjects enabled him to distinguish among them on the basis of their perceptive abilities, intelligence, and emotional characteristics. His method has come to be known as the Rorschach test, iterations of which have continued to be used over the years to help identify personality, psychotic, and neurological disorders.
Perhaps his insight that we humans tend “to project interpretations and feelings onto ambiguous stimuli” can inform our understanding of physicists trying to construct mental/conceptual models of our reality, which they’ve been doing for a very long time, and of the limitations of that quest.
#bootstrapping #conceptualModels #culture #Godel #HermannRorschach #history #interpretation #KurtGodel #mentalModels #Physics #projection #RorschachTest #Science #stringTheory #theoryOfEverything빗 모양의 시장 전략: 소규모 소프트웨어 기업의 생존법
거대 기업이 지배하는 범용 플랫폼 시장에서 소규모 개발사는 특정 버티컬에만 집중하라는 조언을 받지만 이는 유일한 전략이 아니다.
SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf]
https://research.gold.ac.uk/id/eprint/2336/1/sbcl.pdf
#HackerNews #SBCL #CommonLisp #Bootstrapping #LispProgramming #PDF
Milestone: 500 MRR (£)
Lunary just crossed £500 MRR (£).
Building in public.
Milestone: 100 MRR (£)
Lunary just crossed £100 MRR (£).
Building in public.