HNHacker News
TopNewBestAskShowJobs

rafaelbeirigo

24 karma · joined April 10, 2013

submissionscomments
rafaelbeirigo··on How AI destroys institutions
This is a byproduct of every revolution.
rafaelbeirigo··on Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
For the case of Propositional Logic, ChatGPT reflects the current epistemological crisis. When asking for help on a question, it could not properly apply the Law of the Excluded Middle [1].

1. https://chatgpt.com/share/696b7f8a-9760-8006-a1b5-89ffd7c5d2...

rafaelbeirigo··on The Problem of Teaching Physics in Latin America (1963)
As a Brazilian, I believe the problem is that we have a culture of "gratitude" towards the government. We quietly and silently thank God that we received whatever benefit and pray that they will keep giving us that. But a tiny bit of economical education, and an open eye to the frequent corruption scandals teaches one that there is more than enough money for a decent salary for academic workers.
rafaelbeirigo··on Comprehension debt: A ticking time bomb of LLM-generated code
I haven't used them in big codebases, but they were also able to help me understand the code they generated. Isn't this feasible (yet) on big codebases?
rafaelbeirigo··on Go ahead, write the “stupid” code
Yesterday I spent the entire day working on a lib to create repos in Github from inside Emacs. It was the first time in 3y that I had touched it. When googling, I saw potential candidates that were much better than my simple one. But I kept going, for the pleasure of making my own thing. I learned a lot, and felt very accomplished, even if, at the end, it was messy, and I'll have to go back and reorganize it. It feels like making _my_ thing, even if it is drawing my copy of Monalisa.
rafaelbeirigo··on Writing books remains a tough way to make a living
The only easy way to make a living is to sell.

Intelectual work like writing, researching, teaching, etc. despite being important, don't have intrinsic appeal such that people naturally and voluntarily put money on it. We are not built like that.

This is where institutions like universities, governments, etc. come in.

rafaelbeirigo··on Show HN: Coursemate – connect with other self learners
Extend to other fields, like music instruments. I'm personally interested in connecting to other people learning the violin.
rafaelbeirigo··on Aging programmer
"I have no idea about how effective pair programming is. My desire to discover it is zero."

Sculptors, painters, writers are with you in this one...

It's very challenging to share creative space/material

rafaelbeirigo··on Integrating a VT220 into my life
That is what one could call Nice (R). :)
rafaelbeirigo··on Show HN: Emacs Mini Manual
Mini Mini Manual... ;)

Great material!