dharmatech

7 ms·

31.
by dharmatech 4mo ago
I love your username! I hope there's a sympy-thagoras out there. ( • ‿ • )
32.
by dharmatech 4mo ago
It's plan9 so: "There's a filesystem for that." ¯ \ _ ( ツ ) _ / ¯
33.
by dharmatech 4mo 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
34.
Principia Softwarica: Plan 9 Code Explained(youtube.com)
2 points by dharmatech 4mo ago|0 comments
35.
by dharmatech 4mo ago
Ah, awesome! I'll head over to the releases.
36.
by dharmatech 4mo ago
Thanks for checking it out!
37.
by dharmatech 4mo 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
38.
by dharmatech 4mo 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
39.
9social: A Social Network for Plan9(youtube.com)
4 points by dharmatech 5mo ago|0 comments
40.
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.
41.
by dharmatech 5mo ago
How was the process of getting used to the ortholinear keyboard?
42.
by dharmatech 5mo ago
How was the process of getting used to the ortholinear keyboard?
43.
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
44.
Show HN: My workflow for using Plan 9 on Windows
2 points by dharmatech 5mo ago|0 comments
45.
by dharmatech 5mo ago
The ADA compiler for OpenVMS was over $200,000 in the 1990s.
46.
by dharmatech 5mo ago
I've been messing around with a computer algebra simplifier in Lean: https://github.com/dharmatech/symbolism.lean Lean is astonishingly expressive.
47.
by dharmatech 5mo 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.
48.
by dharmatech 6mo ago
Ah... Ok, that makes sense.
49.
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.
50.
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.
51.
by dharmatech 6mo ago
Love stories like this about bespoke systems that might still be running out there somewhere.
52.
by dharmatech 6mo ago
Is there a story behind the old guy in the logo?
53.
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. ¯ \ _ ( ツ ) _ / ¯
54.
by dharmatech 6mo ago
Just watched your demo here: https://youtu.be/vB3xo2qn_g4?si=y2udkdfezSR9ktUO Pretty cool!
55.
by dharmatech 6mo ago
The book "Why Isn't My Brain Working?" by Datis Kharrazian published in 2014 talked about this over a decade ago.
56.
by dharmatech 6mo ago
See also org social: https://github.com/tanrax/org-social
57.
by dharmatech 6mo ago
Two videos on how I explore JONESFORTH with GDB: https://youtu.be/E6OgXMJPd9U?si=Dxfla5fWloSpYtfQ https://youtu.be/giLsd-bik6A?si=HOwgyas2WqDsy4LA
58.
by dharmatech 7mo ago
Very cool! Just saw your post to the Common Lisp reddit. Consider also posting to the larger Lisp reddit.
59.
by dharmatech 7mo ago
Video where I demonstrate how I explore JONESFORTH using GDB: https://youtu.be/giLsd-bik6A?si=Gwm3NJdUzyrmmopH
60.
2024 Interview with Alan Kay(youtube.com)
8 points by dharmatech 7mo ago|0 comments

More ›