dharmatech

4 ms·

31.
by dharmatech 5mo ago
> I love this idea. Thank you for the examples! Thanks for checking it out!
32.
by dharmatech 5mo ago
I love your username! I hope there's a sympy-thagoras out there. ( • ‿ • )
33.
by dharmatech 5mo ago
It's plan9 so: "There's a filesystem for that." ¯ \ _ ( ツ ) _ / ¯
34.
by dharmatech 5mo ago
Our social media should be decentralized and local first, allowing for bespoke clients on any OS. This is an experiment towards that: https://github.com/dharmatech/9social The first client is written for plan9. This ke
35.
Principia Softwarica: Plan 9 Code Explained(youtube.com)
2 points by dharmatech 5mo ago|0 comments
36.
by dharmatech 5mo ago
Ah, awesome! I'll head over to the releases.
37.
by dharmatech 5mo ago
Thanks for checking it out!
38.
by dharmatech 5mo ago
Amazing that it can run in plan9! It would be awesome if go was a first class language on 9front. I.e. ships with it. I've been messing around with a social network for plan9: https://youtube.com/watch?v=q6qVnlCjcAI&amp
39.
by dharmatech 5mo ago
I've been messing around with a decentralized social network where you only see who you choose to follow. It's implemented for plan9, but clients could be made for any OS: https://youtube.com/watch?v=q6qVnlCjcAI
40.
9social: A Social Network for Plan9(youtube.com)
4 points by dharmatech 5mo ago|0 comments
41.
by dharmatech 5mo ago
While reading though this book, I messed around with a basic computer algebra simplifier in Lean: https://github.com/dharmatech/symbolism.lean It's a port of code from C#. Lean is astonishingly expressive.
42.
by dharmatech 5mo ago
How was the process of getting used to the ortholinear keyboard?
43.
by dharmatech 5mo ago
How was the process of getting used to the ortholinear keyboard?
44.
by dharmatech 5mo ago
Their section on Plan 9: https://sdf.org/plan9/ Side note: here's my workflow for running Plan 9 on Windows: https://youtu.be/IzEa2L_Pgw0?si=unM5l2-_i_g-NYKP
45.
Show HN: My workflow for using Plan 9 on Windows
2 points by dharmatech 5mo ago|0 comments
46.
by dharmatech 5mo ago
The ADA compiler for OpenVMS was over $200,000 in the 1990s.
47.
by dharmatech 6mo ago
I've been messing around with a computer algebra simplifier in Lean: https://github.com/dharmatech/symbolism.lean Lean is astonishingly expressive.
48.
by dharmatech 6mo ago
The Oberon user interface inspired Acme on Plan 9. Oberon is a very nice, fun and cozy system and environment for programming. I lived in it for a few months back around 2010 and it was a joy.
49.
by dharmatech 6mo ago
Ah... Ok, that makes sense.
50.
by dharmatech 6mo ago
I like that you can generate new programs from within the system. That's something I miss with Notion. I basically want a Notion but extensible and malleable like Emacs.
51.
by dharmatech 6mo ago
What platform did you run Domino on? If Domino was solid, I'd imagine Domino on AS/400 was near unstoppable.
52.
by dharmatech 6mo ago
Love stories like this about bespoke systems that might still be running out there somewhere.
53.
by dharmatech 6mo ago
Is there a story behind the old guy in the logo?
54.
by dharmatech 6mo ago
Many people seem to associate "ego" with negative connotation. The name gives a weird vibe. But, it's free and it's your project so, whatever. ¯ \ _ ( ツ ) _ / ¯
55.
by dharmatech 6mo ago
Just watched your demo here: https://youtu.be/vB3xo2qn_g4?si=y2udkdfezSR9ktUO Pretty cool!
56.
by dharmatech 7mo ago
The book "Why Isn't My Brain Working?" by Datis Kharrazian published in 2014 talked about this over a decade ago.
57.
by dharmatech 7mo ago
See also org social: https://github.com/tanrax/org-social
58.
by dharmatech 7mo ago
Two videos on how I explore JONESFORTH with GDB: https://youtu.be/E6OgXMJPd9U?si=Dxfla5fWloSpYtfQ https://youtu.be/giLsd-bik6A?si=HOwgyas2WqDsy4LA
59.
by dharmatech 7mo ago
Very cool! Just saw your post to the Common Lisp reddit. Consider also posting to the larger Lisp reddit.
60.
by dharmatech 7mo ago
Video where I demonstrate how I explore JONESFORTH using GDB: https://youtu.be/giLsd-bik6A?si=Gwm3NJdUzyrmmopH

More ›