oxavier

Thanks for asking! I have had pain in my back and and shoulders and hands from being deskbound since I was 18 and it is a constant balancing act to get in enough exercise to offset the work in front of the computer. I have also used standing desks, 500$ ergonomic keyboards, and forced remote work during covid was a godsend because I could take regular breaks to pace my living room while I was worried to be perceived as unfocused if I did this in the open space. Speaking of living room, working on my TV from a distance of 2m alleviated eye strain too, compared to using the laptop screen or even a secondary monitor at my desk.

Believe it or not, it was not practical to take my gear into nature haha. But with the advent of agentic coding (and stt solutions like handy), I can be productive with much less typing and equipment.

I have considered leaving the tech sector because of the aforementioned friction, and just like in my message above, I don't think we are considering the same dilemmas. OP said work vs contemplation, I said indoor work vs outdoor work. You mention productivity trade-offs, but for me working in tech used to feel physically unsustainable.

Cheers

I’m a bit puzzled by this kind of comment, which pops up every time someone mentions getting some work done while out in nature.

What it seems to miss is that we get to walk around while doing some work, not the other way around. The alternative would be being stuck at a desk or in a meeting room, not quietly enjoying nature on a day off.

Strongly agree. I see the need to understand as back pressure on the system that produces code and features: it limits output to what fits into a working mental model. Agents could turn tickets into code much faster, but I am building a product, and it needs someone who holds that model to steer it long term.

And when the job is done, I run retrospectives on old coding-agent sessions to find areas of friction and confusion. I also journal with pen and paper, as it's supposed to bring cognitive benefits, to help me stay on top of things.

I took 'evil' to mean something like 'enormously harmful,' which is hard to dispute. Whether mosquitoes have any intent seems beside the point.

Really appreciate the effort put into a seemingly naive questions, thanks.

Headroom uses RTK under the hood.

I applaud the benchmarking though.

This library serves as the basis of cloture[0] an effort to host Clojure on Common Lisp. I hope to see both projects thrive!

[0] https://github.com/ruricolist/cloture

Looks like v3.0 just dropped, though after a very cursory glance at the release notes, I wonder what motivated the major bump specifically.

I deploy on a single machine with Docker, as my apps are both small scale and non-critical (people pay for them though). Kubero popped up when I researched how I would do a multi-server setup should the need for High Availability arise. It might flatten the learning curve and drop the operational overhead of Kubernetes enough to push me in this direction.

As for running the cluster myself, I probably would try to run K8s on talos.dev as well.

Congrats on an inspiring project!

I will peruse your learning path when I am done with writing my master's thesis. Thanks for putting it together!

Lots of bullet points and keywords about the "What" : provable recursion, next-token prediction, and formal verification... and all items in "What makes it special". Can you provide a practical motivation, even speculative for people like me who have little time? Not necessarily "What use does it have right now", but "The qualitative difference with other models might enable use case XYZ in the future".

I have noticed it is low power and this is great in itself. What does the more rigorous formalism bring to the table? No snark at all, I am fascinated by formal methods, but still looking at them from afar.

Cheers

My work is about inferring solutions to Constraint Satisfaction Problem by using belief propagation in the corresponding constraint network, a few keywords caught my eye here :)

Do you have any illustrative example so I can understand better what you are hinting at?

Cheers

Not exactly the approach your describing, but Futhark[0] offers an alternative to CPU execution, it compiles to CUDA or OpenCL to run on GPU (or multi-threaded CPU).

[0] https://futhark-lang.org/

I find this no-nonsense approach very appealing.

> The more you render from the server, the larger your caches end up. Not doing that for HTML.

Is HTML really that much larger or complex than JSON? Based on the following it seems to be only +10-15% larger (n = 1 dataset obviously).

https://github.com/1cg/html-json-size-comparison

Is the amount of data transfer the main reason to use JSON or do you find Web Components play better with JSON payloads? I could imagine the template string being rendered on the server, fetch()-ed by the client and swapped with this.innerHTML.

Do you manage any amount of cross-component state? It's one use case where JSON would win over "HTML over the wire".

> I suspect that all the free hobbyist FOSS labor artificially depresses dev salaries, hurting everyone else. Otherwise, the FAANGs would have to hire people to replicate what they currently get for free.

The way I see it, FOSS enables a ton of smaller entities to launch products when they would not have the capital otherwise (see: anything built on Django). Those represent a lot of jobs too! This could be the software version of the Jevons Paradox.

Megacorp are a different problem. They do contribute back to the commons, but this seems like a drop from the bucket of the quintillion dollars they represent. Is it fair? That's a moral judgement, because software being FOSS means its legal in any case.

Many thanks!

> Moreover, well-known algorithms for linear programming like simplex and primal-dual methods have straightforward (and illuminating!) combinatorial interpretations when restricted to minimum-weight bipartite matching.

I you have any resource illustrating this point, please share. I would be very interested.

I liked this video [0] about how the Hungarian Algorithm is a particular case of the primal-dual method and I am eager to dig further.

[0] https://www.youtube.com/watch?v=T4TrFA39AJU