HNHacker News
TopNewBestAskShowJobs

dharmatech

738 karma · joined August 16, 2007

submissionscomments
dharmatech··on The Emacsification of Software
> Nice! This sounds just like what I'd been thinking the system should be like.

Cool! Thanks for checking it out!

dharmatech··on The Emacsification of Software
I agree that owning the data is ideal:

https://news.ycombinator.com/item?id=48129841

dharmatech··on The Emacsification of Software
I absolutely LOVE secure scuttlebutt (SSB).

Their local-first approach inspired that aspect of the 9social design.

However, a big difference is that SSB is a sophisticated protocol.

With 9social, the heavy lifting is done by git and a set of conventions.

dharmatech··on The Emacsification of Software
> You connect to your contacts via P2P, and download/upload updates to your social media network.

Yup, local-first is central to the design.

And, you only see who you explicitly follow.

dharmatech··on The Emacsification of Software
> I love this idea. Thank you for the examples!

Thanks for checking it out!

dharmatech··on The Emacsification of Software
I love your username!

I hope there's a sympy-thagoras out there.

( • ‿ • )

dharmatech··on The Emacsification of Software
It's plan9 so:

"There's a filesystem for that."

¯ \ _ ( ツ ) _ / ¯

dharmatech··on The Emacsification of Software
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 keeps the design honest. (If it can run on plan9/rc/acme...)

Video demo:

https://youtu.be/q6qVnlCjcAI

The current implementation is less than 3000 lines of code.

And speaking of Emacs... 9social was heavily inspired by an Emacs project called Org Social:

https://github.com/tanrax/org-social

dharmatech··on Show HN: I made a Clojure-like language in Go, boots in 7ms
Ah, awesome!

I'll head over to the releases.

dharmatech··on Show HN: I made a Clojure-like language in Go, boots in 7ms
Thanks for checking it out!
dharmatech··on Show HN: I made a Clojure-like language in Go, boots in 7ms
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&si=MBCeM0QdA0WsKAe7

It's all in rc and awk. There are places where go (or clojure!) would have been nice.

dharmatech··on AI slop is killing online communities
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

dharmatech··on “Why not just use Lean?”
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.

dharmatech··on MNT Reform is an open hardware laptop, designed and assembled in Germany
How was the process of getting used to the ortholinear keyboard?
dharmatech··on MNT Reform is an open hardware laptop, designed and assembled in Germany
How was the process of getting used to the ortholinear keyboard?
dharmatech··on SDF Public Access Unix System
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

dharmatech··on Ada, its design, and the language that built the languages
The ADA compiler for OpenVMS was over $200,000 in the 1990s.
dharmatech··on A perfectable programming language
I've been messing around with a computer algebra simplifier in Lean:

https://github.com/dharmatech/symbolism.lean

Lean is astonishingly expressive.

dharmatech··on Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)
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.

dharmatech··on LotusNotes
Ah... Ok, that makes sense.
dharmatech··on LotusNotes
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.

dharmatech··on LotusNotes
What platform did you run Domino on?

If Domino was solid, I'd imagine Domino on AS/400 was near unstoppable.

dharmatech··on LotusNotes
Love stories like this about bespoke systems that might still be running out there somewhere.
dharmatech··on LotusNotes
Is there a story behind the old guy in the logo?
dharmatech··on LotusNotes
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. ¯ \ _ ( ツ ) _ / ¯

dharmatech··on LotusNotes
Just watched your demo here:

https://youtu.be/vB3xo2qn_g4?si=y2udkdfezSR9ktUO

Pretty cool!

dharmatech··on Reversing memory loss via gut-brain communication
The book

"Why Isn't My Brain Working?"

by Datis Kharrazian

published in 2014 talked about this over a decade ago.

dharmatech··on Show HN: s@: decentralized social networking over static sites
See also org social:

https://github.com/tanrax/org-social

dharmatech··on Compiling Prolog to Forth [pdf]
Two videos on how I explore JONESFORTH with GDB:

https://youtu.be/E6OgXMJPd9U?si=Dxfla5fWloSpYtfQ

https://youtu.be/giLsd-bik6A?si=HOwgyas2WqDsy4LA

dharmatech··on Smalltalk's Browser: Unbeatable, yet Not Enough
Very cool!

Just saw your post to the Common Lisp reddit.

Consider also posting to the larger Lisp reddit.

← PreviousPage 2 of 6Next →