Hacker News: dharmatech

New comment by dharmatech in "A perfectable programming language"

dharmatech — Mon, 13 Apr 2026 05:18:30 +0000

I've been messing around with a computer algebra simplifier in Lean:

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

Lean is astonishingly expressive.

New comment by dharmatech in "Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)"

dharmatech — Sun, 12 Apr 2026 17:47:04 +0000

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.

New comment by dharmatech in "LotusNotes"

dharmatech — Thu, 19 Mar 2026 08:08:54 +0000

Ah... Ok, that makes sense.

New comment by dharmatech in "LotusNotes"

dharmatech — Thu, 19 Mar 2026 06:52:17 +0000

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.

New comment by dharmatech in "LotusNotes"

dharmatech — Thu, 19 Mar 2026 06:23:18 +0000

What platform did you run Domino on?

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

New comment by dharmatech in "LotusNotes"

dharmatech — Thu, 19 Mar 2026 06:21:52 +0000

Love stories like this about bespoke systems that might still be running out there somewhere.

New comment by dharmatech in "LotusNotes"

dharmatech — Thu, 19 Mar 2026 06:19:58 +0000

Is there a story behind the old guy in the logo?

New comment by dharmatech in "LotusNotes"

dharmatech — Thu, 19 Mar 2026 06:19:23 +0000

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. ¯ \ _ ( ツ ) _ / ¯

New comment by dharmatech in "LotusNotes"

dharmatech — Thu, 19 Mar 2026 06:08:41 +0000

Just watched your demo here:

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

Pretty cool!

New comment by dharmatech in "Reversing memory loss via gut-brain communication"

dharmatech — Thu, 12 Mar 2026 19:41:59 +0000

The book

"Why Isn't My Brain Working?"

by Datis Kharrazian

published in 2014 talked about this over a decade ago.

New comment by dharmatech in "Show HN: s@: decentralized social networking over static sites"

dharmatech — Thu, 12 Mar 2026 02:00:08 +0000

New comment by dharmatech in "Compiling Prolog to Forth [pdf]"

dharmatech — Sat, 07 Mar 2026 23:12:53 +0000

Two videos on how I explore JONESFORTH with GDB:

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

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

New comment by dharmatech in "Smalltalk's Browser: Unbeatable, yet Not Enough"

dharmatech — Thu, 05 Mar 2026 18:01:10 +0000

Very cool!

Just saw your post to the Common Lisp reddit.

Consider also posting to the larger Lisp reddit.

New comment by dharmatech in "Build Your Own Forth Interpreter"

dharmatech — Tue, 24 Feb 2026 22:00:02 +0000

Video where I demonstrate how I explore JONESFORTH using GDB:

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

2024 Interview with Alan Kay

dharmatech — Mon, 23 Feb 2026 23:54:47 +0000

Article URL: https://www.youtube.com/watch?v=Laqu_WEyajU

Comments URL: https://news.ycombinator.com/item?id=47130817

Points: 8

# Comments: 0

New comment by dharmatech in "Pope tells priests to use their brains, not AI, to write homilies"

dharmatech — Mon, 23 Feb 2026 17:10:22 +0000

Yeah, the Liturgy of the Hours includes many of them. (Four volume prayer set.)

New comment by dharmatech in "R3forth: A concatenative language derived from ColorForth"

dharmatech — Thu, 19 Feb 2026 04:35:53 +0000

How I explore JONESFORTH using a gdb trace file:

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

New comment by dharmatech in "planckforth: Bootstrapping a Forth interpreter from hand-written tiny ELF binary"

dharmatech — Mon, 16 Feb 2026 16:35:39 +0000

Recently published this video about how I explore JONESFORTH using a gdb trace file:

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

Show HN: I debug JONESFORTH with a GDB trace file

dharmatech — Thu, 12 Feb 2026 00:54:47 +0000

Video demonstration of how I explore and debug JONESFORTH using a trace file generated by gdb and custom Python extensions:

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

Do you have any suggestions for FORTH debugging workflow?

My fork of JONESFORTH with all the infrastructure you see in the video:

https://github.com/dharmatech/jonesforth-steps/tree/main/ste...

Reading the JONESFORTH source code is one part of understanding it. But using the debugger is another very helpful part. GDB can be quite fiddly though. The above approach helps to make introspection with GDB more straightforward.

Here's the trace file from the video:

https://github.com/dharmatech/jonesforth-steps/blob/main/ste...

Comments URL: https://news.ycombinator.com/item?id=46983515

Points: 1

# Comments: 0

New comment by dharmatech in "Termux"

dharmatech — Mon, 02 Feb 2026 12:25:17 +0000

An experiment of using Python Textual to implement a phone app intended to run in Termux:

https://youtu.be/sTj1FalZMVw?si=oq7uXCofjTGZO1F4