Nelson Correia

Co-founder of ❤️ History: ⌛️ Learn & Share Something New *every* day!

[Nelson Correia @nelsonic]

As a developer if ur not constantly overwhelmed by how much u have to learn for your *current* project, u aren't growing! embrace it! 🤓❤️✅🚀🎉

[Nelson Correia @nelsonic]

@ProgenticEngine @croloris Everything you list as a "negative" for Zig is a major selling point. Having human experts who are passionate about making a great compiler/product beats a statistical average hallucinating "Ai" every time.
Yes, the raw "output" is lower, but quality beats all day.
@ziglang FTW

[Loris Cro ⚡ @croloris]

The Zig compiler project rejects AI contributions for very concrete reasons.

- The contributor pipeline is a core aspect of our business model and produces value FAR BEYOND the code. Breaking it is an existential threat to Zig.
https://t.co/UEqZx4GTl0

- For some projects it's a problem to rely on vibecoded infrastructure. Some have learned this the hard way with Bun recently. Zig is general purpose programming language for building critical infrastructure and we want to give maximum freedom to our users. See quoted message.

[Mitchell Hashimoto @mitchellh]

Fork your dependencies, trim them to only your use case, never update unless it breaks for your users. I’ve been vocal about this for 10+ years. I’ve always said that updating is way riskier than latent bugs (which can be tracked and CVEs monitored).

If you are updating a dependency, it’s on you to analyze every single commit in the full transitive set of dependencies. If you dont see anything compelling, dont update!

I remember at HashiCorp once in awhile an engineer would try to update a dep or replace a DIY lib with an external one and id always ask “show me the commit we need.” Dont update for the sake of it.

Feeling pretty swell about this mentality with all the supply chain attacks happening.

[José Valim @josevalim]

At this point, this is just irresponsible.

Yes, coding agents are leading to an increase of software production, but we are not seeing a similar push or increase in software quality.

If Anthropic focuses on safety and it believes software engineering is going away, then it needs to be doing much more to improve how we design, build, test, and maintain software (aka software engineering). Increasing the production of unreliable, poorly designed, and unverified software directly undermines safety.

Claude Code is claimed to be "fully written by AI". In the last two months, it took three separate postmortem-worthy failures and user complaints to surface what their own testing missed. Yesterday users were being over billed by hundreds of dollars. Software engineering isn't ready to go away and there is not enough progress to argue that case.

I am certain Anthropic would argue that AI progress in other domains is strongly dependent on having proper safeguards in place. I can't wrap my head around the cognitive dissonance when it comes to software.

PS: Mythos (may) improve software security, but that is only a subset of safety.

[Mitchell Hashimoto @mitchellh]

Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://t.co/DQDemHdytV

[Nelson Correia @nelsonic]

@lostbutlucky @mitchellh @skooookum Nonsense. GitHub (Microsoft) has unlimited budget to spin up resources to deal with Ai-driven code (slop) influx & have a huge vested interest to keep slop flowing to prove its’ usefulness. 📈
If MicroSlop wanted GitHub to be great again, they can do it with a flip of a switch.

[Nelson Correia @nelsonic]

@theNashef @mitchellh Not even close. Did you read his full blog post? https://t.co/SMuEi4b3FR he details multi-hour outages over the last month that have prevented work being done.

99.999% uptime, or "five nines," represents service availability level allowing just 5.26 minutes of downtime per year.

[François Chollet @fchollet]

The 3rd edition of my book Deep Learning with Python is being printed right now, and will be in bookstores within 2 weeks. You can order it now from Amazon or from Manning.

This time, we're also releasing the whole thing as a 100% free website.

I don't care if it reduces book sales, I think it's the best deep learning intro around, and more people should be able to read it.

[François Chollet @fchollet]

Software engineering has been within 6 months of being dead continually since early 2023

[I Am Devloper @iamdevloper]

vibe coding, where 2 engineers can now create the tech debt of at least 50 engineers

[Bryan Johnson @bryan_johnson]

Sauna is not currently part of my routine as there's not great evidence in healthy people. It seems great if one cannot exercise due to injury or illness. Unclear if sauna benefits stack on top of exercise. I may experiment with sauna to explore whether it can improve my cardiovascular health as measured by ultrasound. What's your take?

[Paul Graham @paulg]

Prediction: This is a secular trend. The pendulum will never swing back.

[Nelson Correia @nelsonic]

@danielsultan @JayinShanghai @Tesla @Tesla_Asia Precisely because they have compelling alternatives in China, they *have* to fast-track the new model (refresh) to face sales decline. 📉

[José Valim @josevalim]

Elixir v1.18-rc.0 is out and it is a massive and beautiful release. More type system work, built-in JSON, language server listeners, parameterized and group tests, "mix format --migrate" and that's not even all: https://t.co/8uTOALKfBs

[Nelson Correia @nelsonic]

$TSLA getting dangerously close to $420 … 🎢📈

[Nelson Correia @nelsonic]

@MoreBirths Anyone ignoring this time bomb is in for a very rude “surprise” in 20-30 years when the pension/social security system (pyramid scheme) collapses due to insufficient workers paying in. 📉
Making life more affordable for families should be top priority for all Gov! 💭

[Sundar Pichai @sundarpichai]

Unbelievably saddened by the loss of my dear friend @SusanWojcicki after two years of living with cancer. She is as core to the history of Google as anyone, and it’s hard to imagine the world without her. She was an incredible person, leader and friend who had a tremendous impact on the world and I’m one of countless Googlers who is better for knowing her. We will miss her dearly. Our thoughts with her family. RIP Susan.

[Paul Copplestone - e/postgres @kiwicopple]

There is something seriously misaligned here

Database platform: $25/month
Hiring platform: $7,491 / year

What are the best ATS platforms on the market? Anything open source?

[Chris McCord @chris_mccord]

Really pleasant to wake up and see Phoenix as most admired framework, and Elixir as 2nd most admired language in the SO survey.

What's stopping you moving from admired to using in anger?

[Leigh Honeywell (more at @hypatia.bsky.social) @leighhoneywell]

Any sufficiently bad software update is indistinguishable from a cyberattack…