rafaelbeirigo
Re:How AI destroys institutions
on Wednesday January 21, 2026 @09:14AM (#46705979)
This is a byproduct of every revolution.
Re:Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
on Saturday January 17, 2026 @07:25AM (#46657501)
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...
Re:The Problem of Teaching Physics in Latin America
on Monday December 15, 2025 @07:21AM (#46273552)
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.
How to get the GOT address from a PLT stub using GDB
Re:Comprehension Debt: The Ticking Time Bomb of LLM-Generated Code
on Tuesday September 30, 2025 @08:38AM (#45424690)
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?
Re:Go ahead, write the “stupid” code
on Monday September 29, 2025 @08:39AM (#45412980)
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.
Re:Writing Books Remains a Tough Way to Make a Living (2022)
on Wednesday January 03, 2024 @06:05AM (#38852774)
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.
FDA approves first CRISPR therapy–here's how it works against sickle cell
Re:Show HN: Coursemate, connect with other self learners
on Saturday April 01, 2023 @02:19PM (#35402600)
Extend to other fields, like music instruments.
I'm personally interested in connecting to other people learning the violin.
Re:Aging programmer
on Saturday September 24, 2022 @05:34PM (#32966719)
"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
Re:Integrating a VT220 into my life
on Tuesday March 22, 2016 @05:44PM (#11340181)
That is what one could call Nice (R). :)
Re:Show HN: Emacs Mini Manual
on Friday August 01, 2014 @03:12AM (#8118693)
Mini Mini Manual... ;)
Great material!