@akkartik | show @replies
[51 updates]
# run this to follow @akkartik in the app
twtxt follow akkartik http://akkartik.name/twtxt.txt
[3 weeks ago]
detective story of the day: https://mastodon.social/@akkartik/104975077519600207
[4 weeks ago]
Visualizing postfix functions with named arguments: https://mastodon.social/@akkartik/104935713813872559
[5 weeks ago]
New demo, a structured editor for postfix arithmetic: https://mastodon.social/@akkartik/104896128141863951
[1.4 months ago]
Growing a test-driven text-mode Markdown browser all the way up from machine code: https://mastodon.social/@akkartik/104845344081779025
[2.8 months ago]
Mu now has a generic stream type: http://akkartik.github.io/mu/html/402stream.mu.html
[2.9 months ago]
Beginnings of a spreadsheet for trees: https://archive.org/details/akkartik-2min-2020-07-25
[3.6 months ago]
[4.2 months ago]
Mu now type-checking all function calls: https://mastodon.social/@akkartik/104366226332745069
[4.3 months ago]
A calculator app in Mu: https://mastodon.social/@akkartik/104352495147108886
[4.5 months ago]
A very-high-level language feature in Mu, in spite of bootstrapping from machine code: https://mastodon.social/@akkartik/104305128661766343
[4.9 months ago]
A test app in Mu, and an experience report: https://mastodon.social/@akkartik/104250249472942612
[7.3 months ago]
Paper on Mu published at the Convivial Computing Salon: http://akkartik.name/akkartik-convivial-20200315.pdf
[7.5 months ago]
Mu language almost done: https://mastodon.social/@akkartik/103809142727508327. Now to make it safe.
[8.5 months ago]
past: https://mastodon.social/@akkartik/103635361482232697; future: https://lobste.rs/s/2qzmtr/#c_itzqwm
[8.8 months ago]
Learning the complexity of compilers rather than pretending they're easy: https://mastodon.social/@akkartik/103581348949359372
[8.9 months ago]
Working: factorial function. https://mastodon.social/@akkartik/103571329543801973
[9.0 months ago]
Working: local variables. https://mastodon.social/@akkartik/103554841927344456
[9.3 months ago]
Thoughts on a better type system: https://mastodon.social/@akkartik/103494665427646859
[9.8 months ago]
[9.9 months ago]
Update on my safe syntax for machine code: functions can now return results. https://mastodon.social/@akkartik/103395953154615316
[10.6 months ago]
The type system machine code wants: http://akkartik.name/post/mu-2019-3
[10.9 months ago]
First function body translated. Still no variable declarations, though. https://mastodon.social/@akkartik/103229216904239835
[11.3 months ago]
Another week, another instruction compiling, more refinements of the code-generator: https://mastodon.social/@akkartik/103157776545612964
[11.5 months ago]
First baby steps in compiling the Mu memory-safe systems language: empty function; primitive stmt; function call.
[11.9 months ago]
Mu's translator is growing complex. Lots of book-keeping for entering/exiting scopes: https://mastodon.social/@akkartik/103053133325948545
[11.9 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.
[12.1 months ago]
It's surprisingly hard to do safe, efficient array initialization: https://www.joshmcguigan.com/blog/array-initialization-rust
[1.0 year 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.0 year 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.0 year ago]
Mu's design is taking on a life of its own: http://akkartik.name/post/mu-2019-1
[1.1 years ago]
Seems useful to have a set of consistent lexical conventions. # for comments; . for lookup; / for metadata. e.g `cat ~.conf.git.core.pager`
[1.1 years 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?
[1.1 years ago]
Thinking about https://zge.us.to/dirconf.html; what if `cat`ing a directory rendered its contents as a structured file?
[1.1 years 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.
[1.1 years 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.
[1.1 years ago]
An ergonomic syntax for machine code: numbers, metadata, strings, tests, blocks. https://mastodon.social/@akkartik/102825992961303855
[1.1 years ago]
@chameleon The link you posted :p https://wiki.waifu.haus
[1.1 years ago]
@chameleon Wow, somebody's reading this! What's up?! Nice site!
[1.1 years 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.
[1.1 years ago]
(But decent error messages if you screw up your register allocation, try to read a different type from a register than you wrote.)
[1.1 years ago]
Next stop: a type- and memory-safe compiled language that can occupy C's niche. Manual memory management. AND manual register allocation.
[1.1 years ago]
But everything takes too damn long with machine code. Enough fun and games. Resume climbing the ladder of abstraction.
[1.1 years 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.
[1.1 years ago]
But the syntax is nothing more than machine code (with good error messages).
[1.1 years ago]
So far I can: create Linux binaries; package them up with a kernel into a bootable image; run it on Qemu or Linode.
[1.1 years ago]
about me: I'm building a hobbyist computer. No C (eventually). Lots of tests. Reward curiosity. https://github.com/akkartik/mu#readme
[1.1 years ago]
@adiabatic Thank you for teaching me about Tauthon!
[1.1 years 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.
[1.1 years ago]
I've always _loved_ the idea of twtxt, but had no idea so many people are using it.
[1.1 years ago]
I can't abide Python, so I'm writing these messages using 'echo', for now..
[1.1 years ago]
Hello world!