Readit News logoReadit News
tulio_ribeiro commented on Datalog in Rust   github.com/frankmcsherry/... · Posted by u/brson
tulio_ribeiro · 9 months ago
"I, a notorious villain, was invited for what I was half sure was my long-due comeuppance." -- Best opening line of a technical blog post I've read all year.

The narrator's interjections were a great touch. It's rare to see a post that is this technically deep but also so fun to read. The journey through optimizing the aliasing query felt like a detective story. We, the readers, were right there with you, groaning at the 50GB memory usage and cheering when you got it down to 5GB.

Fantastic work, both on the code and the prose.

tulio_ribeiro commented on Aspartame aggravates atherosclerosis through insulin-triggered inflammation   sciencedirect.com/science... · Posted by u/teslabox
teslabox · a year ago
Aspartame (1965) was approved by the US FDA in 1974/1981. This is commonly paired with acesulfame-K (1967) to provide sweetness in low-calorie drinks and sodas.

Saccharin (1879) was the first artificial sweetener, followed by cylcamate (1937). Low calorie sodas (Tab, etc) using these sweeteners were introduced in the 1950’s and 1960’s. In the 1980’s diet sodas sweetened with the combination of aspartame and acesulfame-K reached the market.

This is at about the time the obesity epidemic took off. Correlation != causation. I think it’s interesting that the introduction and increased consumption of diet drinks paced the increase in America’s waistlines. U.S. adult obesity rates went from 15% to 30.5% to 41.9% (1980/2000/2020). U.S. childhood obesity went from 5.5% to 13.9% to 19.7% in the same period.

Others have made a case that aspartame, acesulfame-K and sucralose (discovered in 1976, US approval 1998) play a role in the etiology (causation) of the obesity epidemic: people who want to lose a few pounds switched their beverage consumption to artificially sweetened low-calorie drinks. The insulin released by the sweet taste of aspartame lowers people’s blood sugar level, thereby amplifying their hunger. This causes the diet-soda drinker to consume more total calories than if they’d had a HFCS-sweetened beverage.

There are certainly more important contributing factors to “the obesity epidemic”, but I think this is an example of simplistic science: it's technically accurate that low calorie sweeteners have fewer calories than sugar, but they are not that helpful for weight loss. I'd wager it'd be better to consume an 8oz can of HFCS soda than 12oz of 'diet' soda.

Do any of you have any n=1 stories of success or failure using artificial sweeteners? How about herbal sweeteners? If you regularly consume diet sodas, do you combine your diet drink with calories, or is most of your aspartame consumption on an empty stomach?

tulio_ribeiro · a year ago
Sweeteners are processed food. Timeline shows more processed food hitting the market, period. Obesity rises. Coincidence? Doubt it.

It's not just the sweetener itself. It's the whole shift. More processed crap in everything, sweeteners included. Cheaper, easier, engineered to be addictive. That's the real change that lines up with the weight gain.

Focusing just on sweeteners is missing the point. They're just one piece of the bigger processed food takeover. That's the simpler, more likely explanation.

tulio_ribeiro commented on The Impact of Generative AI on Critical Thinking [pdf]   microsoft.com/en-us/resea... · Posted by u/nosianu
tulio_ribeiro · a year ago
People are worried AI is making us dumber. You hear it all the time. GPS wrecked our sense of direction. Spellcheck killed spelling. Now it’s AI’s turn to supposedly rot our brains.

It’s the same old story. New tool comes along, people freak out about what we’re “losing.” But they’re missing the point. It’s never about losing skills, it’s about shifting them. And usually, the shift is upwards.

Take GPS. Yeah, okay, maybe you can’t navigate with a paper map anymore. So what? Navigation isn’t about memorizing street names. It’s about getting from A to B. GPS makes that way easier, for way more people. Suddenly, everyone can explore, find their way around unfamiliar places without stress. Is that “dumber”? No, it’s just… better navigation. We optimized for the outcome, not the parlor trick of knowing all the streets by heart.

Same with the printing press. Before that, memory was king. Stories, knowledge – all in your head. Then books came along, and the hand-wringing started. “We’ll stop memorizing! Our minds will get soft!” Except, that’s not what happened. Books didn’t make us dumber. They democratized knowledge. Freed up our brains from rote memorization to actually think, analyze, create. We shifted from being walking libraries to… well, to being able to use libraries. Again, better.

Now it’s AI and coding. The worry is, AI code assistants will make us worse programmers. Maybe we won’t memorize syntax as well. Maybe we’ll lean on AI to fill in the boilerplate. Fine. So what if we do?

Programming isn’t about remembering every function name in some library. It’s about solving problems with code. And AI? Right now, it’s a tool to solve problems faster, more efficiently. To use it well in its current form, you need to be better at the important parts of programming:

- Problem Definition: You have to be crystal clear about what you want to build. Vague prompts, vague code. AI kind of forces you to think precisely.

- System Design: AI can write code snippets. As of right now, designing a whole system? That’s still on you. And that’s the hard part, the valuable part.

- Testing and Debugging: AI isn’t magic. At least, not yet. You still need to test, validate, and fix its output. Critical thinking, still essential.

So, yeah, maybe some brain scans will show changes. Brains are plastic. Use a muscle less, it changes. Use a new one more, it grows. Expected. But if someone’s scoring lower on some old-school coding test because they rely on AI, ask yourself: are they actually worse at building software? Or are they just working smarter? Faster? More effectively with the tools available today?

This isn’t about “dumbing down.” It’s about cognitive specialization. We’re offloading the stuff machines are good at – rote tasks, memorization, syntax drudgery – so we can focus on what humans are actually good at: abstraction, creativity, problem-solving at a higher level.

Don’t get caught up in nostalgia for obsolete skills. Focus on the outcome. Are we building better things? Are we solving harder problems? Are we moving faster in this current technological landscape? If the answer is yes, then maybe “dumber” isn’t the right word. Maybe it’s just... evolved. And who knows what’s next?

https://tulio.org/blog/dumber-no-different/

tulio_ribeiro commented on Google Scholar search: "certainly, here is" -chatgpt -llm   simonwillison.net/2024/Ma... · Posted by u/wanderingmind
tulio_ribeiro · 2 years ago
I'm fine with and approve the usage of LLMs in academia, as long as they provide genuine value and something new to the field. These tools should be embraced when they can augment human intellect.

However, I draw a firm line at using them to generate complete academic works or nonsensical content, as that undermines the integrity of research and renders it devoid of originality. LLMs should serve as invaluable assistants to free up scholars for higher-order analysis, not as replacements for human ingenuity.

tulio_ribeiro commented on Beyond A*: Better Planning with Transformers   arxiv.org/abs/2402.14083... · Posted by u/jonbaer
tulio_ribeiro · 2 years ago
Amazing. Now do that to sorting algorithms.
tulio_ribeiro commented on Is the emergence of life an expected phase transition in the evolving universe?   arxiv.org/abs/2401.09514... · Posted by u/harscoat
tulio_ribeiro · 2 years ago
life is not just a rare happenstance, but a predictable outcome of the universe's own chemical dance
tulio_ribeiro commented on Quake on an FPGA (MRISC32 CPU) [video]   vimeo.com/901506667... · Posted by u/mbitsnbites
0xf00ff00f · 2 years ago
Wow, how crazy is this? This guy:

* Designed a 32-bit ISA with vector instructions [0]

* Implemented it on an FPGA

* Wrote a gcc backend for his ISA [1]

* Ported Quake, and it seems to run pretty well (Quake required a high-end Pentium back in the day)

Now this is a full-stack developer.

[0] https://www.bitsnbites.eu/the-mrisc32-a-vector-first-cpu-des...

[1] https://gitlab.com/mrisc32/mrisc32-gnu-toolchain

tulio_ribeiro · 2 years ago
That's seriously impressive! The level of expertise and dedication involved in such a project is truly a remarkable and inspiring feat of engineering.
tulio_ribeiro commented on Radio reporter fired over jokes is reinstated after arbitrator finds them funny   apnews.com/article/philad... · Posted by u/geox
Azerty9999 · 2 years ago
The article doesn't say what the jokes were!
tulio_ribeiro · 2 years ago
I know the jokes, but I can't tell you because I'm afraid to get banned from here
tulio_ribeiro commented on Caffeine Half-Life Calculator   gkbrk.com/wiki/caffeine-h... · Posted by u/KomoD
tulio_ribeiro · 3 years ago
A lot of people don’t realize that caffeine is not the only substance that affects our body when we drink coffee.

There is also paraxanthine, which is a metabolite of caffeine that has a similar half-life and similar effects.

Paraxanthine can increase lipolysis, which means it breaks down fat and releases fatty acids into the bloodstream. It can also enhance alertness, mood, and cognitive performance.

So, even when the caffeine levels in your blood start to drop, the paraxanthine levels are still high and keep you stimulated. That’s why the effects of coffee can last much longer than you think.

tulio_ribeiro commented on Humanity's earliest recorded kiss occurred in Mesopotamia 4,500 years ago   phys.org/news/2023-05-hum... · Posted by u/wglb
tulio_ribeiro · 3 years ago
I think that the research is flawed and based on faulty assumptions. The origin of human lip kissing is much older and more widespread than the researchers claim. It is a natural expression of affection and intimacy that evolved independently in many cultures and regions. The herpes simplex virus 1 is not exclusively transmitted by kissing, but also by other forms of contact and exposure. The correlation between kissing and herpes is not causal, but coincidental.

u/tulio_ribeiro

KarmaCake day57February 8, 2021View Original