OvermindDL1

Programmer of C++, Rust, OCaml, Erlang, Elixir, Python, Java, etc...
(One/They/Them)

[the lich @thelichhh]

The most influential mathematician of his generation stands in a German lecture hall and explains a foundation he is rebuilding from scratch. Almost nobody watches it.

This is Peter Scholze at Bielefeld University, November 2025, opening lecture of a new public series called Ars Mathematica.

Scholze became a full professor at 24 and won the Fields Medal at 30. His work on perfectoid spaces reorganized entire areas of arithmetic geometry inside a decade.

Condensed mathematics is his attempt to fix something deeper: the way analysis and algebra refuse to sit together properly. He is proposing new foundations for how mathematical objects carry topology.

Watch how he pitches it to a general audience. No prerequisites assumed, no dilution, a working mathematician showing why abstraction opens rooms you could not otherwise enter.

A researcher I know rewatched the middle section twice and said it was the first time condensed mathematics felt like an idea rather than a rumour.

Free on YouTube from a university channel, subtitles on.

Some people prove theorems. He is replacing the floor.

[OvermindDL1 @OvermindDL1]

@NFL @ChicagoBears Screw you all sports gambling idiots, I have your account blocked for a reason, I don't want to see your garbage as ads now, may you all experience the worst pain you can for the rest of your life.

[Sander 🏳️‍🌈 @ajmmertens]

I just released Flecs v4.1.2! https://t.co/eOxXjSEYZp

Highlights:
- The C++ API now uses C++17
- New statistics for detailed memory tracking
- Much improved stability of DontFragment storage

#flecs #ecs #gamedev #indiegame #videogames #IndieGameDev #indiedev #indiewatch

[David Tolnay @davidtolnay]

For the past 3 months I have been watching a surprising instantaneous discontinuity in the adoption pattern of many widely used Rust libraries. See for yourself in the attached graphs, which show the fraction of crates‑io with a direct dependency on each of these crates. The inflection in April 2025 is not subtle.

These crates are suddenly massively more widely used in new code than they used to be, including crates that have been previously on an extremely consistent trajectory for a half decade, like base64 and thiserror.

I spend a lot of time examining graphs like this to make sense of the ecosystem and I noticed this emerging a while ago. I can say it is unprecedented in the history of crates‑io for usage patterns to shift drastically like this in a broad spectrum of crates.

My best guess is that AI uses these crates at a different rate than the human authored baseline rate, and crates‑io is currently being inundated with AI-authored code.

Can someone help line this up with a product launch?

[Sander 🏳️‍🌈 @ajmmertens]

The next Flecs release will add detailed statistics on how memory is being utilized!

#flecs #ecs #gamedev #indiegame #videogames #IndieGameDev #indiedev #indiewatch

[David Tolnay @davidtolnay]

The children desire types

[OvermindDL1 @OvermindDL1]

@A_dmg04 SteamDeck support, no Windows here, screw Windows

[OvermindDL1 @OvermindDL1]

@LowLevelTweets @ItsGamerDoc And from yet another angle, games tend to be very insecure, RCE's and all, I do not want them running on the main system, I want them running in a sandbox, I do not want them running my system in a sandbox. Again, screw those idiot programmers.

[OvermindDL1 @OvermindDL1]

@LowLevelTweets @ItsGamerDoc If I find a friend has been cheating, I'm just not going to play with them, I don't need an anti-cheat for that. Treating me like a cheater when I am not is incredibly insulting, like monstrously hugely insulting.

[OvermindDL1 @OvermindDL1]

@Julien_cpsn @orhundev Oh this does look fascinating!

[OvermindDL1 @OvermindDL1]

@orhundev @Julien_cpsn Says the post you replied to is deleted? What's this about a touchscreen?

[Predrag Gruevski @PredragGruevski]

I'm unreasonably excited about the upcoming cargo-semver-checks release. This month's theme was "make it a joy to use and build."

- 3x faster at scanning very large crates
- its `cargo test` now takes 1min not 6-7min
- gracefully handled a large change in the rustdoc JSON format

[Geoffrey Litt @geoffreylitt]

I’ve noticed people who have good creative ideas usually know tons of things.

Good researchers have read a lot of papers. Good musicians have listened to a lot of songs.

Not only that, they generally have strong opinions about what’s good/bad out there.

I wonder why?

I strongly suspect a causal relationship that goes something like this: “Everything is a remix”, so having good raw ingredients in your head enables good output.

In fact, in some domains I’d argue that getting the prereqs into your head is the hardest step! Much of a PhD is getting to the starting line: ingesting enough prior work to have a chance at original contributions.

There’s also taste. Good taste comes from sampling tons of things and understanding what you like and don’t like. So there’s a volume of input needed to develop it.

But it’s hard to say for sure! I could imagine other explanations contributing.

Maybe people who naturally produce good ideas just happen to be the same kinds of people who devour lots of inputs? Maybe there’s just a general correlation between memory and intelligence or something?

Of course, knowing stuff doesn’t automatically imply having good ideas. But it does seem to me that smart/talented people are often bottlenecked on knowledge and experience more than anything else…

[Rust Nation UK 🦀 @RustNationUK]

🦀 Did you know Rust didn’t start at Mozilla?

Like many great tools, Rust began with curiosity.

In 2006, Graydon Hoare set out on a personal project (as many of us do) to build a systems language that could match C++ on performance, without its memory pitfalls. An ambitious task!

By 2009, the project had made its way into Mozilla. Pitched by Graydon, not to replace C++, but to meet a real engineering challenge: building a new browser engine that was fast, safe, and designed for parallelism. C++ couldn’t guarantee memory safety. Rust could.

Graydon achieved what most of us dream of. His personal project became a real-life solution. It’s hard to imagine he foresaw just how bright Rust’s future would become.

At the time, Rust didn’t even have a borrow checker. Developers managed lifetimes manually, often with arena allocators and shared conventions. But with Mozilla’s support, the language matured quickly into one that enforced safety at compile time.

Rust wasn’t built for language wars. It was created to solve serious, practical problems in one of the toughest codebases in the world.

When you understand where Rust came from, you begin to understand why it works the way it does.

Rust Nation 2026 is on the horizon. Hit follow to be the first to know!

#RustLang #RustProgramming #SystemsProgramming #OpenSource #TechStory #DeveloperJourney

[OvermindDL1 @OvermindDL1]

@GloriousEggroll @radvilLaode I know this method used to work and it still is on my older install, but the recent post indicates an issue, might just be them? Or maybe someone else will get an idea soon? https://t.co/XOO8AGG7q8

[OvermindDL1 @OvermindDL1]

@orhundev @ratatui_rs There's also https://t.co/xS9pfNjju8 for just rust with more capabilities, though again, just for rust

[derek guy @dieworkwear]

I debated whether to share my story on here, but I guess I will.

I think there's an idea out there that millions of violent criminals are pouring across the border, carrying machetes and drugs, looking to harm Americans. Certainly, while some people fall into that category, the vast majority of undocumented immigrants don't.

My family escaped Vietnam after the Tet Offensive and went through an arduous journey that eventually landed them in the Canada. My father worked there for a time as a janitor; my mother, a secretary. When work fell through, my dad was offered to work with his sister in the United States, so he went, as our family needed money. He ended up staying in the US longer than he was supposed to — not knowing immigration laws — and asked my mom to come be with him. Of course, she went and carried me over the border while I was still a baby.

I'm still unsure whether we technically broke an immigration law. The border between Canada and the United States was pretty porous (as it is today, for the most part). But either way, since I came here without legal documentation, I eventually fell into the category of being an undocumented immigrant. Yet, I've been in the United States since I was a baby. My identity and roots are very much based in this country, no different from anyone else.

The lack of legal immigration has totally shaped my life. It has made every interaction with the law much scarier. It has shaped which opportunities I could or could not get. It has taken an emotional toll, as this legal issue hangs over your head like a black cloud.

There are millions of people in my situation — people who were brought here as children, some babies, and were unable to raise their hand during this process and say "maybe we should hire a lawyer." Parents may have crossed the border not knowing about the law, as the law can be pretty confusing and lawyers are expensive. Perhaps, in the end, they should have hired a lawyer; but sometimes life is messy. In the end, they crossed for the same reason many people rise every day: to support their families.

I think it's unreasonable to deport millions of people who have contributed positively to society. It's simply not true that the majority of these people are violent criminals carrying drugs. Many own small businesses; many work as skilled laborers (including garment workers!). The vast majority are good, honest people. For those of us who grew up in the United States, sending us "back" to our "home" country would mean sending someone to a foreign land, as they grew up in the United States. Tearing families apart based on immigration status seems inhumane.

About twenty years ago, I watched with some small measure of hope that the Dream ACT would pass and help a portion of undocumented immigrants. I saw people march angrily in the streets (something I supported). But I was dismayed to see nothing really come about. In fact, when Obama passed DACA, I was skeptical that it would be sensible to give your information to the federal government without a guaranteed path to citizenship. It seems that the Trump administration may use those lists to hunt down immigrants.

I think the ICE sweeps are inhumane. I support and admire the protestors who are putting their bodies on the line for non-violent resistance. Ultimately, I think we need to solve this issue on a systemic level. It's unreasonable to me to expect that the government will deport some 10-20 million people. Even deporting 1 million will cause an insane amount of chaos, not to mention an incredible amount of wasteful government spending. The militarization of law enforcement is over the top and only escalate the situation.

I have seen people march on this issue, only for it to be dropped later and dissolve into quiet grumbles. In the end, nothing is done for immigrants. Time passes until decades later, we have another political crisis like the one we have today. This cycle seems unsustainable. I hope people sustain this energy to solve the immigration issue and put undocumented immigrants — most who are peaceful, skilled, and hard-working citizens —��on a path to citizenship. As time continues to go by, many undocumented immigrants are seeing their lives wasted away.

If you care about this issue, I hope you get involved on the long haul: volunteer for pro-immigrant groups, donate to mutual aid, and perhaps pursue career paths that help people in this situation. I was moved to read someone on here say that, when they found their employee was undocumented, they helped them get a green card. The path was difficult, as our immigration system is broken (it took them 11 years). But I can tell you that this is like pulling someone drowning in raging waters.

Ultimately, I hope me sharing this story helps push back against the idea that all undocumented immigrants are MS-13 members. I know many people in my position and they are all like your neighbors.

[OvermindDL1 @OvermindDL1]

@NVIDIAGFN #GFNOnSteamDeck Definitely the new Doom dark ages game, I can't afford a new video card. 😅