HN user

dharmatech

721 karma
Posts74
Comments168
View on HN
www.youtube.com 2mo ago

Principia Softwarica: Plan 9 Code Explained

dharmatech
2pts0
www.youtube.com 2mo ago

9social: A Social Network for Plan9

dharmatech
4pts0
news.ycombinator.com 3mo ago

Show HN: My workflow for using Plan 9 on Windows

dharmatech
2pts0
www.youtube.com 4mo ago

2024 Interview with Alan Kay

dharmatech
8pts0
news.ycombinator.com 5mo ago

Show HN: I debug JONESFORTH with a GDB trace file

dharmatech
1pts0
news.ycombinator.com 5mo ago

Show HN: Interactive Equation Solver

dharmatech
2pts0
news.ycombinator.com 7mo ago

Navigating the filesystem and Git with single key presses

dharmatech
1pts1
news.ycombinator.com 7mo ago

Python terminal app as Android Phone app

dharmatech
5pts14
www.youtube.com 1y ago

Making 8-Bit Music from Scratch at the Commodore 64 Basic Prompt

dharmatech
1pts0
gist.github.com 2y ago

How I convert PowerShell terminal output to HTML

dharmatech
2pts0
twitter.com 3y ago

OS shell with rich interactive output

dharmatech
1pts2
github.com 3y ago

PowerShell Script That Calculates SPX Fair Value and Net Liquidity

dharmatech
1pts0
gist.github.com 3y ago

Net Liquidity = Fed Balance Sheet – RRP – TGA

dharmatech
1pts0
www.econgraphs.org 4y ago

Econ Graphs – Intuitive interactive visualizations of key concepts in economics

dharmatech
1pts2
old.reddit.com 4y ago

Squeak 6.0 has been released

dharmatech
2pts0
www.youtube.com 4y ago

I use coda.io to track my nutrition and vitals

dharmatech
1pts0
old.reddit.com 4y ago

How would you remake the web?

dharmatech
4pts0
www.youtube.com 4y ago

Symbolics XL1200 Lisp Machine – Demo and Discussion

dharmatech
9pts1
github.com 4y ago

Using PowerShell, twarc and Emacs Org mode to display Twitter threads

dharmatech
9pts1
www.theregister.com 4y ago

The wild world of non-C operating systems

dharmatech
332pts308
old.reddit.com 4y ago

Scraping Tool for All SEC Fails-to-Deliver Data. (Gaming Wall Street)

dharmatech
1pts0
www.youtube.com 4y ago

Fully statically typed ASP.NET Core views with Object Pages

dharmatech
2pts0
github.com 4y ago

Haskell Methods

dharmatech
4pts0
9fans.topicbox.com 4y ago

Meeteeor Shouwer

dharmatech
2pts0
github.com 5y ago

Executable Tutorials

dharmatech
73pts24
youtu.be 6y ago

Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean

dharmatech
4pts2
news.ycombinator.com 7y ago

Edwin Brady on Chez Scheme

dharmatech
12pts2
offlinefirst.org 7y ago

Offline Camp 2019

dharmatech
1pts0
github.com 7y ago

Solving a physics problem with the Symbolism algebra library for C# on Linux

dharmatech
2pts0
github.com 7y ago

Experimental presentation based user interface for PowerShell

dharmatech
7pts4

Hey Aurornis,

I definitely haven't looked into the underlying models of histamine to see how things work.

My observation is that, when I avoid histamine related foods, I sleep longer and fall asleep faster. The naive model is what led me to try that. But I totally acknowledge that there's likely way more at play under the hood. And I would like to know more about why this works! Or, at least why it works for me.

Thank you for pointing out the complexity of the underlying mechanism.

Very cool!

Here's a demo of a library for interactively eliminating variables from sets of equations:

https://youtu.be/7ysUdxTfKhU?is=lE5o9Besk1XNnggP

Source:

https://github.com/dharmatech/combine-equations.py

The interactive gui part starts at 4:08. Before that is the setup and context of the example.

If you ever move in the direction of supporting sets of equations and isolating variables, consider using colors to indicate known values and unknown values as is done in this library.

I test this library on exercises you'd find in college physics (motion, constant acceleration, projectile motion, Newton's laws, etc.) since these involve sets of equations and eliminating variables so that you have expressions in terms of known values.

The above demo uses a jupyterlite notebook, so everything runs client side in the browser. No server side kernel necessary.

To use your interactive fluid style in this library to eliminate variables, I could see the user first isolating that variable. Then dragging that variable they want to eliminate over an instance of that variable in another equation. So that's effectively the user saying "replace this variable with this expression".

Your project is really cool.

And, when a project announcement upsets this many people, it's a sign you're on the right path, or at least an interesting one.

; - )

Cool project!

Just for fun, looking at code count as a rough measure of complexity.

rubish: 26,842

rc (plan9 shell): 5,888

To be fair, rubish does a lot more than rc. rc is pretty minimal.

rc source:

https://github.com/9front/9front/tree/front/sys/src/cmd/rc

Measures below:

    $ wc -l `find . -name '*.rb'`
      1124 ./rubish/execution_context.rb
        43 ./rubish/frontend.rb
      260 ./rubish/builtins/hash_directories.rb
      510 ./rubish/builtins/echo_printf.rb
      834 ./rubish/builtins/bind_readline.rb
      182 ./rubish/builtins/directory_stack.rb
      299 ./rubish/builtins/read.rb
      324 ./rubish/builtins/trap.rb
      129 ./rubish/builtins/arithmetic.rb
      862 ./rubish/completion.rb
      988 ./rubish/expansion.rb
      431 ./rubish/completions/git.rb
      114 ./rubish/completions/ssh.rb
      530 ./rubish/completions/bash_helpers.rb
      453 ./rubish/completions/help_parser.rb
      167 ./rubish/ast.rb
        46 ./rubish/frontend/tty.rb
      1179 ./rubish/runtime.rb
      127 ./rubish/lazy_loader.rb
        63 ./rubish/data_define.rb
      1163 ./rubish/runtime/command.rb
      153 ./rubish/runtime/job.rb
      7270 ./rubish/runtime/builtins.rb
      306 ./rubish/config.rb
      2442 ./rubish/repl.rb
      1316 ./rubish/codegen.rb
      1180 ./rubish/lexer.rb
      742 ./rubish/history.rb
      1169 ./rubish/parser.rb
        67 ./rubish/startup_profiler.rb
      848 ./rubish/prompt.rb
        47 ./rubish/data/readline_config.rb
      716 ./rubish/data/builtin_help.rb
      251 ./rubish/data/shell_options.rb
        53 ./rubish/data/completion_data.rb
        5 ./rubish/version.rb
      248 ./rubish/shell_state.rb
      140 ./rubish/arithmetic.rb
        61 ./rubish.rb
    26842 total

rc:
    $ wc -l *.c *.h *.y
      547 code.c
    1173 exec.c
      234 getflags.c
      259 glob.c
      240 havefork.c
      137 here.c
      301 io.c
      436 lex.c
      169 pcmd.c
      78 pfnc.c
      494 plan9.c
      539 simple.c
      74 subr.c
      37 trap.c
      190 tree.c
      420 unix.c
      109 var.c
      85 exec.h
      72 fns.h
        7 getflags.h
      28 io.h
      167 rc.h
      92 syn.y
    5888 total
OpenBSD 7.9 2 months ago

Hey pjmlp (waves),

I know you've been an advocate for OSes and languages that are outside of the mainstream.

I finally got around to living in plan9...

My experiment, a social network for plan9 written in rc and some awk.

https://github.com/dharmatech/9social

how do you manage identity/authentication

Well, each user's profile is just a git repository (possibly on github). So I'd think about identity/authentication in the same way users think about it for their code projects.

If you have specific scenarios you're wondering about, feel free to ask.

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.

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.

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