taolson

5 ms·

1.
by taolson 16d ago
Yes, that's an even better picture! Austrian air-force version, right?
2.
by taolson 16d ago
I still consider the Saab Draken one of the most beautiful aircraft ever designed: https://en.wikipedia.org/wiki/Saab_35_Draken Especially the top view: https://www.flyajetfighter.com/wp-content/up
3.
by taolson 24d ago
Another interesting lisp-like language by Ian Piumarta is Maru, currently hosted here: https://github.com/attila-lendvai/maru
4.
by taolson 1mo ago
You're probably thinking of Ian Piumarta's COLA project (Combined Object Lambda Architecture), which had parts named after cola soft-drinks (Coke was a lisp-like language, Pepsi was a Smalltalk-like language, and Jolt was an early
5.
by taolson 1mo ago
Congrats to the Squeak 6.1 team! I was an early contributor to Squeak from when Alan Kay's group was at Apple (I see that SameGame, the first game implemented in Morphic is still in the image), and still enjoy following the progress o
6.
by taolson 1mo ago
Since your language is very "rust-like", what made you choose Ocaml as the implementation language?
7.
by taolson 1mo ago
The FPU in the 29050 was based on the Am29325 bit-slice family FPU; an extra write port was added to the register file to allow for asynchronous FPU result writeback, which allowed the parallel operation. gr2 and gr3 were used in the 29050
8.
by taolson 1mo ago
The registers could also be partitioned into fixed sizes and protected, to allow for a banked register file that allowed for amazingly fast context switches in RTOS systems.
9.
by taolson 1mo ago
> Well that was basically an am29000 but with an x86 instruction decoder front end. The K5 was based upon a 29K-family design, but it was actually an un-released superscalar project code-named "Jaguar", rather than just a 29K w
10.
by taolson 1mo ago
Yep, it wound up as the main CPU in a bunch of laser-printers, as well as Apple's 8*24GC QuickDraw accelerator card for the Macintosh, and as part of the flight-control computer on Boeing 777s, among many other embedded system designs.
11.
by taolson 1mo ago
Wow, blast from the past! I was on the architecture / micro-architecture team for the 29K and 29050, and your story of writing and debugging the emulator brought up similar memories of working on the performance simulator for these ch
12.
by taolson 2mo ago
Fun fact I learned from a Func Prog podcast: the name Steel Bank is a play on it's origin as Carnegie-Mellon Common Lisp (Carnegie made his fortune in Steel, while Mellon did so with Banks): https://www.sbcl.org/history
13.
by taolson 3mo ago
We actually did this in my freshman dorm room, as the paint color almost exactly matched the original Crest "green".
14.
by taolson 4mo ago
I remember a visit by Gasseé and a team of BeBox engineers to the PowerPC design center in Austin, where they demo'ed the yet-to-be released early version of the BeBox and OS. We were all duly impressed by the speed and responsiveness
15.
by taolson 5mo ago
Sorry, I meant "Haskell / Miranda style syntax" -- e.g. curried functions, concise syntax with little boilerplate, etc. The word type is too overloaded ;-)
16.
by taolson 5mo ago
Nice to see another language with Haskell / Miranda type syntax, but the vibe-coded implementation sure shows: e.g. src/Compiler/Infer.sky isUpperStart: isUpperStart : String -> Bool isUpperStart name = c
17.
by taolson 6mo ago
An example where this is useful is to help inline otherwise recursive functions, by writing the function to take some useful parameters first, then return a recursive function which takes the remaining parameters. This allows the function
18.
Show HN: Admiran: a pure, lazy functional language and self-hosting compiler(github.com)
2 points by taolson 6mo ago|0 comments
19.
by taolson 7mo ago
Yes, the open-source release he did is what introduced me to Miranda. I rewrote a lot of my previous Haskell solutions to Advent of Code puzzles with it, and liked it so much I decided to try to improve on it ;-) That's what led to Ad
20.
by taolson 7mo ago
Don't know if my language is considered Lil' enough for this, but it's a pure, lazy functional language based upon Miranda (progenitor language to Haskell) that compiles to x86-64 asm. ~6700 SLOC for the (self-hosted!) compi
21.
by taolson 7mo ago
Either newt was already in the list, or it got added. We talked a bit about using our languages for AoC 2024 -- looks like you've been keeping busy working on it!
22.
by taolson 7mo ago
The logo for Smalltalk-80, and later Squeak, came from the Robert Tinney cover of the Byte issue which introduced Smalltalk. The story behind it is documented here: https://wiki.squeak.org/squeak/3459
23.
by taolson 8mo ago
Also this one, which originally came from Usenet days: https://old.reddit.com/r/talesfromtechsupport/comments/cp48t...
24.
by taolson 8mo ago
The author includes some easter-eggs (printing random facts about Zen and various C constructs) which trigger randomly -- check out the file src/zen/zen_facts.c in the repository...
25.
by taolson 10mo ago
>I made my own, with a Haskell+Bash flavor and a REPL that reloads with each keystroke That was impressive! Do you have a public repo with your language, anywhere?
26.
by taolson 10mo ago
Yes, there are some cool solutions using laziness that aren't immediately obvious. For example, in 2015 and 2024 there were problems involving circuits of gates that were elegantly solved using the Löb function: https://git
27.
by taolson 10mo ago
AoC has been a highlight of the season for me since the beginning in 2015. I experimented with many languages over the years, zeroing in on Haskell, then Miranda as my language of choice. Finally, I decided to write my own language to do
28.
by taolson 10mo ago
Along that line, an over-engineered fizzBuzz using lazy list operations: https://github.com/taolson/Admiran/blob/main/examples/fizzBu...
29.
by taolson 10mo ago
Prolog's constraint solving and unification are exactly what is required for solving type-checking constraints in a Hindley-Milner type system.
30.
by taolson 10mo ago
>something AMD noted IIRC in the original K5 with its AMD29050-derived core Just a small nitpick: I've seen the K5/29050 connection mentioned in a number of places, but the K5 was actually based upon an un-released superscalar

More ›