HN Explorer

dharmatech

↗ HN profile [ 78.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Principia Softwarica: Plan 9 Code Explained (youtube.com)
    2 points 0
  2. 9social: A Social Network for Plan9 (youtube.com)
    4 points 0
  3. Show HN: My workflow for using Plan 9 on Windows

    Hey y'all, Here's a walkthrough of how I use the 9front distribution of Plan 9 on Windows: https://www.youtube.com/watch?v=IzEa2L_Pgw0 Topics covered: - 9front distribution of Plan 9 running in qemu on Ubuntu inside WSL…

    2 points 0
  4. 2024 Interview with Alan Kay (youtube.com)
    8 points 0
  5. Show HN: I debug JONESFORTH with a GDB trace file

    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…

    1 points 0
  6. Show HN: Interactive Equation Solver

    Hey HN Here's a demo of an interactive equation solver for sympy/Python: https://youtu.be/O837G7cj5fE?si=6YjfNFviozCLSYut The example is a simple kinematics exercise from a college physics text. I'd be curious to know…

    2 points 0
  7. Navigating the filesystem and Git with single key presses

    Hey y'all, I've been messing around with `termux` on Android lately (Linux environment). It's great, but it can get a little tedious typing out Linux commands on there. So, I've been using this Python script to make…

    1 points 1
  8. Python terminal app as Android Phone app

    I put together a small water consumption app (how much water you drink in a day) in SQLite and Python. Then I wanted to use it on my phone so I made a Kotlin app as a UI for the simple database. Then I wondered, how far…

    5 points 9
  9. Making 8-Bit Music from Scratch at the Commodore 64 Basic Prompt (youtube.com)
    1 points 0
  10. How I convert PowerShell terminal output to HTML (gist.github.com)
    2 points 0
  11. OS shell with rich interactive output (twitter.com)
    1 points 2
  12. PowerShell Script That Calculates SPX Fair Value and Net Liquidity (github.com)
    1 points 0
  13. Net Liquidity = Fed Balance Sheet – RRP – TGA (gist.github.com)
    1 points 0
  14. Econ Graphs – Intuitive interactive visualizations of key concepts in economics (econgraphs.org)
    1 points 2
  15. Squeak 6.0 has been released (old.reddit.com)
    2 points 0
  16. I use coda.io to track my nutrition and vitals (youtube.com)
    1 points 0
  17. Symbolics XL1200 Lisp Machine – Demo and Discussion (youtube.com)
    9 points 1
  18. Using PowerShell, twarc and Emacs Org mode to display Twitter threads (github.com)
    9 points 1
  19. The wild world of non-C operating systems (theregister.com)
    332 points 314
  20. Scraping Tool for All SEC Fails-to-Deliver Data. (Gaming Wall Street) (old.reddit.com)
    1 points 0
  21. Fully statically typed ASP.NET Core views with Object Pages (youtube.com)
    2 points 0
  22. Haskell Methods (github.com)
    4 points 0
  23. Meeteeor Shouwer (9fans.topicbox.com)
    2 points 0
  24. Executable Tutorials (github.com)
    73 points 24
  25. Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean (youtu.be)
    4 points 2