Hiutale

Multi layered evaluation ( 2026-04-25 )

After the previous successful experiments, this will for the new direction. I'll plot down the plan first, then detail it and then reason about why i got here.

Research plan

As at least the direction will be new to me i'll call this a research plan. Some elements will be known, but bringing it all together i think is new, as i . . . .Read whole post


Formalising ideas ( 2026-04-20 )

The previous post on partial evaluation was for too vague for my liking, so i will try to write some mathy looking stuff, in an effort to bring more clarity into the approach that is swirling around.

Formalizing

Let me try and get some symbols out and detail these thoughts. Since the original paper of Futurama talks vaguely ab . . . .Read whole post


Soo green ( 2026-04-09 )

Work on kide-som is is at an end. "All" tests green. And lessons learned.

Small Architecture recap

Kide-som , ie a "version" of kide that compiles SOM, works by transpiling SOM (a stripped down Smalltalk) to go.

This works by transpiling methods to functions, having a general object, using go anonymous functions as bl . . . .Read whole post


Onion boy projects ( 2026-03-28 )

Work on Som has progressed well, i'll summarize below, but my main focus is to look forward, to apply the lessons learned, and expound on the need for a new language at the c level. And bejond that, feelings about Futamuras projection.

Som-st in go

This time, also to save time, i decided on Transpiling, not compiling. I . . . .Read whole post


Executive summary ( 2026-01-29 )

I am in rest mode, watched another of Maxime video and it got me in a pensive mood. So i want to try to get the learned lesson down to the bare minimum. And also seperate the important from the nice.

Elevator talk

Objects have type

The overwhelingly most import thing i learned is that objects . . . .Read whole post


Revisiting booting ( 2026-01-25 )

I have been struggling with the linker. I sort of had a working hack, but in some upgrade it broke, and i couldn't fix it. I lack motivation for the deep c dive. So i will pivot and try another way. And simplify the memory management at the same time.

The previous way

When dealing with assembler, dealing with code at the inst . . . .Read whole post


A new start with quajets ( 2024-11-17 )

It seems i am not done, but while resting i did have some new inspiration, call it clarity. For one, ruby is too big, so i will try to prove the point with som. And the second one come from the quaject realisation, quajects are the way forward.

The ruby size problem

Ruby started out as quite a reasonable little language, but, . . . .Read whole post


And old archives