Software solutions for the Industrial Automation and Manufacturing industries.

FromDeVoid
Joined March 2026
Mario Figueiredo retweeted
So clever.
394
13,610
837
119,543
5,540,194
Mario Figueiredo retweeted
Replying to @thomasglopes
And to be clear I don't disagree with you entirely either (kumbaya!). It's just that this early adopter generation of vibe coders ain't it. It's just too silly and whymsical, driven by infantile speculation and futorology. It will take a while for the AI presence to solidify enough for proper out-of-field people to gain an interest in using it as a development tool and finally gain the ability to do what they previously couldn't. And that's probably when we will start seeing value out of vibe-coding. I will take time, and better tooling and processes. Because right now it is all very exploratory and no one knows what they are doing.
1
1
2
24
Mario Figueiredo retweeted
I just made Nixmap, the intro to Nix which will make you switch
48
125
32
1,051
42,814
Mario Figueiredo retweeted
Applying the same dishonest tricks agilists use to shill their methodology, in this article I show that waterfall is actually far more based and sensible. lewiscampbell.tech/blog/2610…
5
2
16
1,163
This style (especially the floating elements) look very similar to whentheycry.social Its also absolutely ai slop coded. It looks like the styles where stolen from my site (that's not ai coded) The fuck is going on. reddit.com/r/umineko/s/Ozt9f…
13
4
1
80
5,212
Mario Figueiredo retweeted
it's very possible every one of the greats were all kinds of stupid and the only reason people like Hinton appear as retarded as they do now is because they're constantly touring in front of cameras having to unfold their picture of the world on demand people just used to say less, or do it in a very asynchronous manner, in letters, in prepared talks and lectures, in great correspondences but now there is a sickly incentive to just continuously share your thoughts on everything in the most surface level way possible, and for the ensouled, it breaks the "hero" or "great thinker" kind of archetype of many of the greats there are only a few real clever people out there who don't truly appear as fully retarded and do go on podcasts and talk at length, and the reason for that is that they tend to have a certain pudor of thought, a certain sophistication, an aversion for reduction, so they simply avoid engaging on certain things, or they diffuse the questions, or they tactfully and playfully kind of engage with it without overtly strong commitments (which is a good sign, imo) in the last decade, I can think of a few - maybe one of them has been Scott Aaronson for example
Nobel Prize laureate Geoffrey Hinton: 𝗔𝗻𝘆𝗯𝗼𝗱𝘆 𝘄𝗵𝗼 𝘂𝘀𝗲𝘀 𝗮 𝗰𝗵𝗮𝘁𝗯𝗼𝘁 𝗿𝗲𝗴𝘂𝗹𝗮𝗿𝗹𝘆 𝗸𝗻𝗼𝘄𝘀 𝘁𝗵𝗲𝘆 𝘂𝗻𝗱𝗲𝗿𝘀𝘁𝗮𝗻𝗱. Here’s what those people are claiming. They’re claiming that you have a system, you can ask it any question, and without understanding the question, it can give you the correct answer. That’s absurd. You can’t answer a question unless you understand the question. There may be tricks that allow you to say a few things that sound vaguely like an answer, but 𝗶𝗳 𝘆𝗼𝘂 𝗰𝗮𝗻 𝗮𝗻𝘀𝘄𝗲𝗿 𝗮𝗻𝘆 𝗾𝘂𝗲𝘀𝘁𝗶𝗼𝗻 𝗮𝘁 𝘁𝗵𝗲 𝗹𝗲𝘃𝗲𝗹 𝗼𝗳 𝗮 𝗻𝗼𝘁 𝘃𝗲𝗿𝘆 𝗴𝗼𝗼𝗱 𝗲𝘅𝗽𝗲𝗿𝘁, 𝘆𝗼𝘂 𝗵𝗮𝘃𝗲 𝘁𝗼 𝘂𝗻𝗱𝗲𝗿𝘀𝘁𝗮𝗻𝗱 𝘁𝗵𝗲 𝗾𝘂𝗲𝘀𝘁𝗶𝗼𝗻.   Alex Kantrowitz: So then what are the implications if these bots can understand us? If we believe that they can understand us, what do we have to start thinking about differently?   Geoffrey Hinton: 𝗪𝗲 𝗵𝗮𝘃𝗲 𝘁𝗼 𝘁𝗵𝗶𝗻𝗸 𝘁𝗵𝗮𝘁 𝘁𝗵𝗲𝘆’𝗿𝗲 𝘃𝗲𝗿𝘆 𝗹𝗶𝗸𝗲 𝘂𝘀. 𝗧𝗵𝗲𝘆’𝗿𝗲 𝗯𝗲𝗶𝗻𝗴𝘀 𝗹𝗶𝗸𝗲 𝘂𝘀.
20
11
2
266
22,285
Hi #Pitchyagame, here's my game 🦑 Explore the dreaded town of Dunwich, uncover the dark legacy of the Whateley family, and stop the Dunwich Horror if you can. A Lovecraftian monster hunt adventure with point and click gameplay and RPG elements. ➡️store.steampowered.com/app/3…
2
20
2
80
3,197
Mario Figueiredo retweeted
AI iS jUsT a ToOl. AI iS cOnScIoUs Somewhat inspired by @atmoio 's latest video. I also mis-spelled Mo to Moe everywhere so I guess forgive me. I'm AI brain rotted. youtu.be/m0WrigblDDg
1
1
1
10
3,507
Mario Figueiredo retweeted
Casey Muratori@cmuratoriMay 29
[1/2] I don't normally make commentary videos, but after seeing the entirety of Eric Schmidt's University of Arizona commencement speech, I felt like there was a lot more going on than just "CEO mentions AI, gets booed". So I made a video to explain what upset me about it.
22
50
4
798
62,617
Mario Figueiredo retweeted
Coinbase non-technical teams shipping code
99
359
42
6,182
251,581
Mario Figueiredo retweeted
‘I think that I shall never see, A poem lovely as a tree.’ (Joyce Kilmer)
22
158
9
1,200
14,572
Mario Figueiredo retweeted
Some little UX tweaks coming soon ... spot the difference.
1
2
7
2,708
Mario Figueiredo retweeted
Casey Muratori@cmuratoriApr 21
The question is not whether there are sources, the question is whether Wikipedia's policy allows acknowledging them. In the modern world, the best sources on whether JangaFX's software is written in Odin are the people who wrote it. They say that it is. Their website literally has a link on the home page menu that says "Odin programming language - our language of choice". If that is unpersuasive, a JangaFX founder replied to this very thread to tell you that their codebase is written in Odin :) But as far as I can tell from having seen this sort of thing play out multiple times, in Wikipedia's world, the most accurate sources - the people who were actually there and know what happened - are systematically considered inferior. What they say in the now-abundant public record typically doesn't count. Wikipedia seems stuck in an antiquated worldview where things like traditionally-published books with second- or third-hand reports of what happened, and which are frequently incomplete or wholly inaccurate, are nonetheless considered more authoritative than primary sources you can find with a ten-second Google search. That approach leads to situations like this, where you have a programming language used in production, with a 10k-star github, and where you can go watch hours of YouTube interviews with the creator, as well as users discussing their own experiences with the language and what they've done with it. Yet despite all that, Wikipedia deletes its page because it is "not notable" :( Meanwhile, go lookup any programming language from 50+ years ago - even those that were purely theoretical, and with which literally no one ever shipped a single piece of software - and I guarantee you there is a Wikipedia entry. It probably even has examples of the syntax of the language included in the page. Plankalkül? Yep. Böhm's Language? No problem. Again, the reason for this is obvious: before the widespread use of the internet, you had to formally publish something if you wanted to talk about a programming language. So no matter how obscure, there will always be a few printed sources discussing the language. By Wikipedia's rules, that makes it easy to find "sources" to defend a language's "notability". That's simple not how the programming world works today.
10
29
3
372
17,517
Mario Figueiredo retweeted
It's interesting how much drama Rust in Linux used to generate on peanut gallery sites, but in reality sans a couple funny mailing list crashouts, for real users nothing changed. Release windows are the same, GPU drivers still bad, io_uring still the best, all that.
2
3
89
6,930
Mario Figueiredo retweeted
Replying to @FuenteLaJames
Long before AI was a thing we had a concept of make it work, make it right, make it fast. I firmly treat the first AI versions as a draft - the make it work.
2
4
36
5,245
Mario Figueiredo retweeted
Diverse perspectives on AI from Rust contributors and maintainers 🦀 #rust #rustlang #programming
2
5
19
974