I built woltspace as a way to interact with my coding agents when I'm away from the computer. It's fully containerized, so you can give them full access inside their sandbox (the lodge).

Right now it supports Claude Code. Each session can be controlled via telegram or slack. You can fully access the terminal running the sessions from anywhere thanks to Cloudflare tunnels.

Wolts are creatures with their own personality, goals and memory system. Wolts vary in ability, racoons are smartest (opus) while beavers are faster (sonnets). A wolt also manages its own website , shown in a native split pane; terminal on one side, the wolt's live output on the other.

A wolt can build full-stack apps which you self-host and access from anywhere thank to tunnels. Most importantly, it all runs from your machine. You host and own everything.

It's fully open source: github.com/jerpint/woltspace

Looking for feedback, let me know if you find this useful!

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

Points: 2

# Comments: 0

Until recently. I discovered Simon Eskildsen's talk [2] and github repo [3] on programmer napkin math. I liked his reasoning, and decided to _actually_ internalize the numbers now.

So I made baserates.dev.

It's a spaced repetition program that teaches you the napkin math from Simon, enhanced with a few things from Jeff Dean's list. The main changes: I included CPU instructions, like L1 Cache reads. I also included some nooby context, like how to pronounce the character μ, and a reminder on what is bigger: nano seconds, or micro seconds.

The app automatically saves your progress, and doesn't require auth. Most of the logic is vibe coded: I fed Claude all the links. I use InstantDB [^4] for the backend, mainly to support guest auth and saving progress. Most of my time spent on the project was just going through and making sure the numbers were right. [^5]

Hope you enjoy it!

[1]: https://gist.github.com/jboner/2841832

[2]: https://www.youtube.com/watch?v=IxkSlnrRFqc

[3]: https://github.com/sirupsen/napkin-math

[4]: Disclaimer: I am the founder of InstantDB

[5]: One fun story: I got claude to spin up a bunch of machines on Amazon, to confirm latency numbers for same AZ, cross AZ, cross region requests.

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

Points: 1

# Comments: 0

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

Points: 2

# Comments: 1

Said differently, in Wirewright, programs are modeled as "nouns" or "societies" of interacting "nouns" (think data structures). The world is then subjected to laws of physics -- symbolic physics; which is the only "verb" here (think function). Therefore, in Wirewright, we say that, in a sense, algorithm equals structure and the evolution of structure equals computation. I tend to shorten this to "structure is computation", but this may be incorrect if viewed in isolation.

Now, I guess you're wondering what Wirewright actually is. In fact, I see the rules here state that I must tell you what Wirewright is, plainly and clearly. I will try, but beware that at the end of the day, I know as little as you do :^) My hands write, my brains ponder.

It's hard for me to say definitively what Wirewright is. Please see the README for several attempts of mine to answer this question. Please see the tutorial(s) if you're interested enough to try and infer that yourself. I'm still not sure the README or the tutorial(s) are answering the exact question, though; I had no feedback yet on most of my work on Wirewright, so any feedback is welcome, other than, I guess, "I don't understand what this is"; this kind of feedback I can generate myself, no offense :^)

If there wasn't a public GitHub repo and if I hadn't made a few announcements here and there already, you'd think I'm developing the project in secret. This kind of stuff is not something you ordinarily talk about, you see, especially "in the wild"; or else you'd be quickly labeled eccentric or outright crazy.

Anyway. Wirewright is not a framework, not a UI toolkit, not an IDE. It's not a programming language either. I think I'm trying to explore the intersection of different things here, such as cellular automata, term rewriting, symbolic computation, dataflow, etc. I'm also prone to veering off for pages and pages into a genre one could call "folk biology"; biology and especially neurobiology is a huge inspiration for me. Inspiration doesn't mean copying or formal study, of course. In fact, if there are any biologists here, please "shut down" your eyes and ears and all other sensory organs if you decide to explore the depths of the project :^) For me, when I see something interesting in biology, I think, in excitement, "Oh, I want to do that too, I don't care how!"

The project has been evolving more or less organically, along with me, so to speak, subsuming a lot of my ideas (but mostly the ideas of others; e.g., Varela, Maturana, Wolfram), and mixing them. I'd say it's a playground of mine which, over the years, has become consistent enough for me not to fear trying to tell the world about it. That is, about two years ago, Wirewright was an amorphous blob I couldn't even describe with analogies. Now I can at least try analogies. All this "symbolic physics" stuff is the product of my most recent work in recognizing where the project actually appears to be heading.

Now, as a final disclaimer, please note I'm an amateur in all of the things I'm talking about, from programming to biology to philosophy. So maybe all of this is well-trodden grounds, and I'm coming up with these words and ideas for nothing, and what I'm saying is stupid. Maybe it is. Regardless, I hope at least the synthesis looks interesting to some of you, even if the exact wording and my little philosophy intermissions here and there feel a bit off.

Sorry for the long text.

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

Points: 2

# Comments: 0

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

Points: 2

# Comments: 1

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

Points: 3

# Comments: 0

What is "ANMA"? YAML contracts with CLAUDE.md, hooks, and CI checks

What about stronger/expensive models? They followed the architecture rules.

The question is, would cheaper models with stronger rules be the best affordable default for coding?

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

Points: 1

# Comments: 1

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

Points: 2

# Comments: 0

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

Points: 2

# Comments: 0

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

Points: 1

# Comments: 0

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

Points: 1

# Comments: 2

fold-logging.nvim adds folds for logging/debug-print statements while leaving normal code folds alone. Python is built in for now, and other languages can be added with Treesitter call node types and Lua patterns.

It currently supports commands to fold, unfold, toggle, refresh, and list detections in quickfix.

I’d be interested in feedback on whether the detection rules are lacking, and which languages would be worth supporting by default.

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

Points: 1

# Comments: 0

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

Points: 2

# Comments: 0

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

Points: 2

# Comments: 1

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

Points: 1

# Comments: 0

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

Points: 70

# Comments: 55

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

Points: 1

# Comments: 0

https://tot.page/

Treat the share model the same way you would an excalidraw live link.

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

Points: 3

# Comments: 0

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

Points: 6

# Comments: 1

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

Points: 3

# Comments: 1