@akkartik | show @replies
[73 updates]
# run this to follow @akkartik in the app
twtxt follow akkartik http://akkartik.name/twtxt.txt
[4 weeks ago]
A network-less, read-only browser built up from machine code: https://archive.org/details/akkartik-mu-2021-08-15
[1.6 months ago]
Rendering arbitrary images on the 256-color Mu computer: https://merveilles.town/@akkartik/106671394323266954
[2.8 months ago]
[3.1 months ago]
Sumeet Agarwal solves an Advent problem with Mu: http://akkartik.github.io/mu/html/linux/advent2017/1a.mu.html
[3.3 months ago]
Live-coding Fizzbuzz on the Mu computer's prototyping environment: https://archive.org/details/akkartik-mu-2021-06-09
[4.0 months ago]
New video riffing on some ideas for doing more with animation in debuggers: https://archive.org/details/akkartik-mu-2021-05-17
[4.1 months ago]
My computer now prints a call stack when it crashes: https://merveilles.town/@akkartik/106239831225295745
[4.3 months ago]
Don't called them signed ints and unsigned ints. Call them ints and addresses. https://merveilles.town/@akkartik/106206878251648806
[4.4 months ago]
Lisp macros in the Mu computer: https://merveilles.town/@akkartik/106195814023586904
[4.5 months ago]
How computer sandboxing models have evolved over time: https://merveilles.town/@akkartik/106185773783459627
[4.9 months ago]
Prototyping on the Mu computer, and nudging people to throw the first one away: https://merveilles.town/@akkartik/106112499040193446
[5.3 months ago]
Distinguishing a program's return value from its side effects: https://merveilles.town/@akkartik/106045532928000526
[6.8 months ago]
Drilling into computations in the shell for the Mu computer: https://merveilles.town/@akkartik/105790894303047592
[6.9 months ago]
Mulling switching gears for the Mu shell to a less ambitious Lisp-based language: https://merveilles.town/@akkartik/105771735864653468
[8.2 months ago]
Rendering text on bare-metal x86, with an eye to non-Latin languages: https://merveilles.town/@akkartik/105542032656082045
[8.6 months ago]
2020 wrap-up redux, a Wardley Map for Mu: https://merveilles.town/@akkartik/105476276652369571
[8.7 months ago]
2020 wrap-up: https://merveilles.town/@akkartik/105467785655674076
[8.9 months ago]
Starting to give Mu its own OS: https://merveilles.town/@akkartik/105436432584324552
[9.4 months ago]
New demo and medium-term plans: https://merveilles.town/@akkartik/105338014257369963
[10.2 months ago]
Visualizing programs with side-effects, such as printing to a screen: https://merveilles.town/@akkartik/105201366581271961
[10.8 months ago]
A live-updating postfix shell for the Mu computer: https://mastodon.social/@akkartik/105108305362341204
[11.0 months ago]
Defining functions in my live-updating structured editor for postfix: https://mastodon.social/@akkartik/105071402581806586
[11.6 months ago]
detective story of the day: https://mastodon.social/@akkartik/104975077519600207
[11.8 months ago]
Visualizing postfix functions with named arguments: https://mastodon.social/@akkartik/104935713813872559
[12.0 months ago]
New demo, a structured editor for postfix arithmetic: https://mastodon.social/@akkartik/104896128141863951
[1.0 year ago]
Growing a test-driven text-mode Markdown browser all the way up from machine code: https://mastodon.social/@akkartik/104845344081779025
[1.1 years ago]
Mu now has a generic stream type: http://akkartik.github.io/mu/html/402stream.mu.html
[1.1 years ago]
Beginnings of a spreadsheet for trees: https://archive.org/details/akkartik-2min-2020-07-25
[1.2 years ago]
[1.2 years ago]
Mu now type-checking all function calls: https://mastodon.social/@akkartik/104366226332745069
[1.3 years ago]
A calculator app in Mu: https://mastodon.social/@akkartik/104352495147108886
[1.3 years ago]
A very-high-level language feature in Mu, in spite of bootstrapping from machine code: https://mastodon.social/@akkartik/104305128661766343
[1.3 years ago]
A test app in Mu, and an experience report: https://mastodon.social/@akkartik/104250249472942612
[1.5 years ago]
Paper on Mu published at the Convivial Computing Salon: http://akkartik.name/akkartik-convivial-20200315.pdf
[1.5 years ago]
Mu language almost done: https://mastodon.social/@akkartik/103809142727508327. Now to make it safe.
[1.6 years ago]
past: https://mastodon.social/@akkartik/103635361482232697; future: https://lobste.rs/s/2qzmtr/#c_itzqwm
[1.6 years ago]
Learning the complexity of compilers rather than pretending they're easy: https://mastodon.social/@akkartik/103581348949359372
[1.6 years ago]
Working: factorial function. https://mastodon.social/@akkartik/103571329543801973
[1.6 years ago]
Working: local variables. https://mastodon.social/@akkartik/103554841927344456
[1.7 years ago]
Thoughts on a better type system: https://mastodon.social/@akkartik/103494665427646859
[1.7 years ago]
[1.7 years ago]
Update on my safe syntax for machine code: functions can now return results. https://mastodon.social/@akkartik/103395953154615316
[1.8 years ago]
The type system machine code wants: http://akkartik.name/post/mu-2019-3
[1.8 years ago]
First function body translated. Still no variable declarations, though. https://mastodon.social/@akkartik/103229216904239835
[1.8 years ago]
Another week, another instruction compiling, more refinements of the code-generator: https://mastodon.social/@akkartik/103157776545612964
[1.9 years ago]
First baby steps in compiling the Mu memory-safe systems language: empty function; primitive stmt; function call.
[1.9 years ago]
Mu's translator is growing complex. Lots of book-keeping for entering/exiting scopes: https://mastodon.social/@akkartik/103053133325948545
[1.9 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.9 years ago]
It's surprisingly hard to do safe, efficient array initialization: https://www.joshmcguigan.com/blog/array-initialization-rust
[1.9 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.9 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.9 years ago]
Mu's design is taking on a life of its own: http://akkartik.name/post/mu-2019-1
[2.0 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`
[2.0 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?
[2.0 years ago]
Thinking about https://zge.us.to/dirconf.html; what if `cat`ing a directory rendered its contents as a structured file?
[2.0 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.
[2.0 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.
[2.0 years ago]
An ergonomic syntax for machine code: numbers, metadata, strings, tests, blocks. https://mastodon.social/@akkartik/102825992961303855
[2.0 years ago]
@chameleon The link you posted :p https://wiki.waifu.haus
[2.0 years ago]
@chameleon Wow, somebody's reading this! What's up?! Nice site!
[2.0 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.
[2.0 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.)
[2.0 years ago]
Next stop: a type- and memory-safe compiled language that can occupy C's niche. Manual memory management. AND manual register allocation.
[2.0 years ago]
But everything takes too damn long with machine code. Enough fun and games. Resume climbing the ladder of abstraction.
[2.0 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.
[2.0 years ago]
But the syntax is nothing more than machine code (with good error messages).
[2.0 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.
[2.0 years ago]
about me: I'm building a hobbyist computer. No C (eventually). Lots of tests. Reward curiosity. https://github.com/akkartik/mu#readme
[2.0 years ago]
@adiabatic Thank you for teaching me about Tauthon!
[2.0 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.
[2.0 years ago]
I've always _loved_ the idea of twtxt, but had no idea so many people are using it.
[2.0 years ago]
I can't abide Python, so I'm writing these messages using 'echo', for now..
[2.0 years ago]
Hello world!