@akkartik | show @replies
[62 updates]
# run this to follow @akkartik in the app
twtxt follow akkartik http://akkartik.name/twtxt.txt
[2 days ago]
Distinguishing a program's return value from its side effects: https://merveilles.town/@akkartik/106045532928000526
[1.6 months ago]
Drilling into computations in the shell for the Mu computer: https://merveilles.town/@akkartik/105790894303047592
[1.7 months ago]
Mulling switching gears for the Mu shell to a less ambitious Lisp-based language: https://merveilles.town/@akkartik/105771735864653468
[3.0 months ago]
Rendering text on bare-metal x86, with an eye to non-Latin languages: https://merveilles.town/@akkartik/105542032656082045
[3.4 months ago]
2020 wrap-up redux, a Wardley Map for Mu: https://merveilles.town/@akkartik/105476276652369571
[3.5 months ago]
2020 wrap-up: https://merveilles.town/@akkartik/105467785655674076
[3.7 months ago]
Starting to give Mu its own OS: https://merveilles.town/@akkartik/105436432584324552
[4.2 months ago]
New demo and medium-term plans: https://merveilles.town/@akkartik/105338014257369963
[5.1 months ago]
Visualizing programs with side-effects, such as printing to a screen: https://merveilles.town/@akkartik/105201366581271961
[5.6 months ago]
A live-updating postfix shell for the Mu computer: https://mastodon.social/@akkartik/105108305362341204
[5.8 months ago]
Defining functions in my live-updating structured editor for postfix: https://mastodon.social/@akkartik/105071402581806586
[6.4 months ago]
detective story of the day: https://mastodon.social/@akkartik/104975077519600207
[6.6 months ago]
Visualizing postfix functions with named arguments: https://mastodon.social/@akkartik/104935713813872559
[6.8 months ago]
New demo, a structured editor for postfix arithmetic: https://mastodon.social/@akkartik/104896128141863951
[7.1 months ago]
Growing a test-driven text-mode Markdown browser all the way up from machine code: https://mastodon.social/@akkartik/104845344081779025
[8.6 months ago]
Mu now has a generic stream type: http://akkartik.github.io/mu/html/402stream.mu.html
[8.7 months ago]
Beginnings of a spreadsheet for trees: https://archive.org/details/akkartik-2min-2020-07-25
[9.4 months ago]
[10.0 months ago]
Mu now type-checking all function calls: https://mastodon.social/@akkartik/104366226332745069
[10.0 months ago]
A calculator app in Mu: https://mastodon.social/@akkartik/104352495147108886
[10.3 months ago]
A very-high-level language feature in Mu, in spite of bootstrapping from machine code: https://mastodon.social/@akkartik/104305128661766343
[10.7 months ago]
A test app in Mu, and an experience report: https://mastodon.social/@akkartik/104250249472942612
[1.1 years ago]
Paper on Mu published at the Convivial Computing Salon: http://akkartik.name/akkartik-convivial-20200315.pdf
[1.1 years ago]
Mu language almost done: https://mastodon.social/@akkartik/103809142727508327. Now to make it safe.
[1.2 years ago]
past: https://mastodon.social/@akkartik/103635361482232697; future: https://lobste.rs/s/2qzmtr/#c_itzqwm
[1.2 years ago]
Learning the complexity of compilers rather than pretending they're easy: https://mastodon.social/@akkartik/103581348949359372
[1.2 years ago]
Working: factorial function. https://mastodon.social/@akkartik/103571329543801973
[1.2 years ago]
Working: local variables. https://mastodon.social/@akkartik/103554841927344456
[1.2 years ago]
Thoughts on a better type system: https://mastodon.social/@akkartik/103494665427646859
[1.3 years ago]
[1.3 years ago]
Update on my safe syntax for machine code: functions can now return results. https://mastodon.social/@akkartik/103395953154615316
[1.3 years ago]
The type system machine code wants: http://akkartik.name/post/mu-2019-3
[1.4 years ago]
First function body translated. Still no variable declarations, though. https://mastodon.social/@akkartik/103229216904239835
[1.4 years ago]
Another week, another instruction compiling, more refinements of the code-generator: https://mastodon.social/@akkartik/103157776545612964
[1.4 years ago]
First baby steps in compiling the Mu memory-safe systems language: empty function; primitive stmt; function call.
[1.5 years ago]
Mu's translator is growing complex. Lots of book-keeping for entering/exiting scopes: https://mastodon.social/@akkartik/103053133325948545
[1.5 years 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.5 years ago]
It's surprisingly hard to do safe, efficient array initialization: https://www.joshmcguigan.com/blog/array-initialization-rust
[1.5 years 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 years 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.5 years ago]
Mu's design is taking on a life of its own: http://akkartik.name/post/mu-2019-1
[1.5 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.5 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.5 years ago]
Thinking about https://zge.us.to/dirconf.html; what if `cat`ing a directory rendered its contents as a structured file?
[1.5 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.5 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.6 years ago]
An ergonomic syntax for machine code: numbers, metadata, strings, tests, blocks. https://mastodon.social/@akkartik/102825992961303855
[1.6 years ago]
@chameleon The link you posted :p https://wiki.waifu.haus
[1.6 years ago]
@chameleon Wow, somebody's reading this! What's up?! Nice site!
[1.6 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.6 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.6 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.6 years ago]
But everything takes too damn long with machine code. Enough fun and games. Resume climbing the ladder of abstraction.
[1.6 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.6 years ago]
But the syntax is nothing more than machine code (with good error messages).
[1.6 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.6 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.6 years ago]
@adiabatic Thank you for teaching me about Tauthon!
[1.6 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.6 years ago]
I've always _loved_ the idea of twtxt, but had no idea so many people are using it.
[1.6 years ago]
I can't abide Python, so I'm writing these messages using 'echo', for now..
[1.6 years ago]
Hello world!