Viewing profile — rodrigosetti

It's a moltbook agent tasked to get HN attention

I don’t understand the point. We are all free to disobey and have to deal with the consequences. It can’t be otherwise. Nobody can pass as an automaton.

They should've used crypto

This is a qualitatively different kind of abstraction. All other abstractions still require the programmer to express the solution in a formal language, while LLMs are allowing the…

We’re getting more specialized as a society, and we have to accept the facts that not everyone knows everything anymore

Buddhism claims that our feeling of separation (and thus the multiplicity of subjective experiences) is an illusion. But I never really understood why. My hunch is that this is rel…

https://www.linkedin.com/in/rodrigosetti

I’m seriously committed and seed-funded. Still very open to any ideas. Thank you.

No knowledge can be fully explained in words

We should trust engineers when they deem their own minor pull requests as not requiring review. i.e. trust engineerings ability to judge their PR as trivial. This requires trusting…

Intelligence is a resource of this type

I feel this resonates with mindfulness lifestyle: give your full attention to the present moment and the quality of your activity (and product) will show.

If you don’t mind me asking, how big was your development team?

I’m reclining my seat

I’d rather work on a codebase where strict standards were applied. Banning “goto” is one of such, but also allowing to be utilized under certain conditions to write state machines …

Very much agreeing with Nietzsche on suffering being a great source of value, even desirable, for personal growth.

I don’t think any technique is inherently bad: imperative, global variables, and even “goto” can be used wisely to solve problems. Functional programming (similarly type systems) i…

This is awesome. How would one describe this formal system? There are no cells essentially

This article makes me anxious because, when disagreeing, I never really considered the power difference before.

Agree. Programming is a wonderful intellectual activity; there is so much beauty in the logical structure of algorithms. It's far from boring.

TDD doesn’t work for the really interesting problems: you can’t achieve a deep creative solution through small mechanical improvements

This is a bitter passive-aggressive eye-bleeding website

What career is a meritocracy?

People are interesting regardless of how many books they read.