@akkartik | show @replies
[30 updates]
# run this to follow @akkartik in the app
twtxt follow akkartik http://akkartik.name/twtxt.txt
[5 days ago]
First function body translated. Still no variable declarations, though. https://mastodon.social/@akkartik/103229216904239835
[2 weeks ago]
Another week, another instruction compiling, more refinements of the code-generator: https://mastodon.social/@akkartik/103157776545612964
[4 weeks ago]
First baby steps in compiling the Mu memory-safe systems language: empty function; primitive stmt; function call.
[1.2 months ago]
Mu's translator is growing complex. Lots of book-keeping for entering/exiting scopes: https://mastodon.social/@akkartik/103053133325948545
[1.2 months ago]
Beginnings of a translator for a memory-safe language: http://akkartik.github.io/mu/html/apps/mu.subx.html. Just empty functions so far.
[1.4 months ago]
It's surprisingly hard to do safe, efficient array initialization: https://www.joshmcguigan.com/blog/array-initialization-rust
[1.5 months ago]
I've mostly managed to stick to statically allocated arrays so far, but now I need real ASTs. Just leak memory for the first draft.
[1.5 months ago]
Now that feedback on the design has died down (https://news.ycombinator.com/item?id=21268252; https://lobste.rs/s/xtxlec), back to hacking.
[1.7 months ago]
Mu's design is taking on a life of its own: http://akkartik.name/post/mu-2019-1
[2.1 months ago]
Seems useful to have a set of consistent lexical conventions. # for comments; . for lookup; / for metadata. e.g `cat ~.conf.git.core.pager`
[2.1 months ago]
But sometimes you do want a separation between dirs and files. So maybe the file system has both, but also supports treating files as dirs?
[2.1 months ago]
Thinking about https://zge.us.to/dirconf.html; what if `cat`ing a directory rendered its contents as a structured file?
[2.2 months ago]
After various attempts to grep for Tss and whatnot, current plan is to just try to binary-search writes to protected memory in the kernel.
[2.2 months ago]
Where does https://github.com/ozkl/soso first switch to Ring 3? I want to rip it out and just run everything in Ring 0.
[2.5 months ago]
An ergonomic syntax for machine code: numbers, metadata, strings, tests, blocks. https://mastodon.social/@akkartik/102825992961303855
[2.6 months ago]
@chameleon The link you posted :p https://wiki.waifu.haus
[2.6 months ago]
@chameleon Wow, somebody's reading this! What's up?! Nice site!
[2.6 months ago]
This should take a lot less code for an optimizing C compiler. There'll be no optimizer, but lots of room for the programmer to optimize.
[2.6 months ago]
(But decent error messages if you screw up your register allocation, try to read a different type from a register than you wrote.)
[2.6 months ago]
Next stop: a type- and memory-safe compiled language that can occupy C's niche. Manual memory management. AND manual register allocation.
[2.6 months ago]
But everything takes too damn long with machine code. Enough fun and games. Resume climbing the ladder of abstraction.
[2.6 months ago]
It's taken a year to get here. I want to take a break, do a Lisp interpreter for fun. Just so I can see a computer boot into a Lisp prompt.
[2.6 months ago]
But the syntax is nothing more than machine code (with good error messages).
[2.6 months ago]
So far I can: create Linux binaries; package them up with a kernel into a bootable image; run it on Qemu or Linode.
[2.6 months ago]
about me: I'm building a hobbyist computer. No C (eventually). Lots of tests. Reward curiosity. https://github.com/akkartik/mu#readme
[2.7 months ago]
@adiabatic Thank you for teaching me about Tauthon!
[2.7 months ago]
Today I was reminded of it by a long series of steps that began with an invitation from http://tilde.club. Web surfing at its best.
[2.7 months ago]
I've always _loved_ the idea of twtxt, but had no idea so many people are using it.
[2.7 months ago]
I can't abide Python, so I'm writing these messages using 'echo', for now..
[2.7 months ago]
Hello world!