Machadinha

The beauty of mathematics only shows itself to more patient followers - Maryam Mirzakhani

[pikuma.com @pikuma]

Only two more hours to go here. 😱

I can't wait. It's going to be great!

[Uros Popovic @popovicu94]

C is not just a language. It is sort of THE operating system interface when it comes to Unix and Unix-like systems (including Linux... maybe?).

We often debate "C vs. Rust" or "C vs. C++" as if they are just tools in a toolbox. But we overlook a massive structural reality.

For most of the world, the Operating System is the C Library.

Consider the difference between Linux and everyone else:

Linux is the outlier. It publicly documents its raw System Call ABI, allowing languages (like Go) to bypass C entirely and talk directly to the kernel.

macOS & BSDs are different. Their system interface is officially defined by Libc. If you bypass the C library and call the kernel directly, you are likely breaking the contract.

But it goes deeper.

POSIX is not an OS implementation standard. It is largely a C standard.

The POSIX specification doesn't describe raw syscall numbers or register values. It describes C function signatures.
* It defines printf(), not the assembly required to print.
* It defines <unistd.h>, not the kernel trap.

To be a "POSIX-compliant" OS means, fundamentally, to host a C library (along with a bunch of shell utilities, for example, but that's a different topic).

Even if you don't write C, you are using it.

Python? The standard implementation (CPython) is C.

Java? The JVM talks to the OS and hardware via C.

Rust? It can only talk to the outside world because it mastered the C ABI (Application Binary Interface).

Can we ever leave C behind?

If the definition of the Operating System is tied to the C Standard Library, then "replacing C" isn't just about changing languages. It’s about redefining what an OS interface looks like.

Should we? Maybe. Memory safety issues in C account for a lot major security vulnerabilities.

We are trying to replace the Latin of computing. And Latin has a habit of sticking around.

Check this fascinating excerpt from the POSIX standard below. 👇

Two noteworthy bits:

"The C Language – The system interfaces and header definitions are written in terms of the standard C language as specified in the ISO C standard."

"Interface, Not Implementation – POSIX.1-2017 defines an interface, not an implementation. No distinction is made between library functions and system calls; both are referred to as functions. No details of the implementation of any function are given (although historical practice is sometimes indicated in the RATIONALE section). Symbolic names are given for constants (such as signals and error numbers) rather than numbers."

[Justin Skycak @justinskycak]

It's so important to find work that you love. Work that feels uniquely you.

If your life is consumed by something you don’t love, then it’s a life thrown away.

But it's also important to realize that, to get there, you will have to push through difficult parts in paths you find rewarding.

Even when you’re doing what you love, there will be grindy phases.

[Sabine Hossenfelder @skdh]

If we live in a computer simulation, maybe it was vibe coded?

[Abhishek Singh @0xlelouch_]

This is so true and honestly, one of the most universal patterns across engineering, math, and even career growth.

People jump into arguments because the surface-level version of an idea feels intuitive… but without fundamentals, there's not much point.

You can have real enthusiasm, real potential, and maybe even good instincts but without the underlying foundations, every “insight” you think is profound is actually already solved, trivial, or plain wrong.

It’s like trying to optimize a system you don’t understand, or debating Rust’s ownership model when you’ve never built anything non-toy in Rust.

Once you learn the fundamentals:

- your arguments become sharper

- your intuitions become tighter

- your creativity becomes real, not accidental

and experts finally take you seriously

The irony is that the more you learn, the less you feel like arguing because you realize how much of the debate is just noise from people skipping step zero.

Real analysis, distributed systems, compilers, cryptography all the same pattern:
you can’t skip the basics and expect to contribute meaningfully.

Learn the foundations → then come debate.
That’s when people stop smiling politely… and start listening.

[Phys.org @physorg_com]

#The #SpeedOfLight remains constant across all photon energies, confirmed with unprecedented precision using astrophysical gamma rays, further constraining possible violations of #LorentzInvariance. @UAB_info @PhysRevD https://t.co/G7qUynQeur https://t.co/T6MrFfUAgr

[Gary Marcus @GaryMarcus]

Hot take on Gemini 3. Points 4 and 5 might literally change the world. Also, OpenAI is in trouble.

• Great model, but it’s not AGI; has the same kind of problems all earlier models have had. Hallucinations and unreliability persist.

• In short, scaling isn’t getting us to AGI

• OpenAI has basically squandered the technical lead it once had; Google has caught up. What happens to OpenAI if Google undercuts OpenAI on price?

• But biggest news was buried: it got better results than it is competitors *without using Nvidia GPUs*

• If Google were to make those TPUs commercially available at scale and reasonable price, Nvidia’s dominance would end, price wars would begin, and compute would become a commodity.

[Тsфdiиg @tsoding]

Dynamic Arrays in C

[Nemo @akaNemsko]

This is one of the most disgusting and vile things I have ever read, and that's saying a lot as a woman growing up in chess. "Where were all of you when Danya was alive and unwell?". You are the CEO of the governing body of chess and in your first real comments since the passing of one of our greatest talents, coaches, and ambassadors you decide to blame the public when you have absolutely no idea who Danya had been in contact with?

Where the f*ck were you? Certainly not protecting your players from harassment because I'm sure that might have interfered with your protection of FIDE President Dvorkovich, close friends with Kramnik. You both accuse his friends knowing NOTHING about the support he received and remove any responsibility from yourself at the same time. Truly pathetic.

We aren't oversimplifying anything. We know the damage Kramnik did to Danya because he told us in some of his final painful words. Trivializing the world's call for justice against Kramnik's malicious campaign of harassment isn't "virtue signaling", but I'm not at all surprised this would be your take given your morals have been bought out for many years now.

But you are right about one thing. We absolutely didn't do enough while Danya was with us, we were not vocal enough about the failures of FIDE to uphold it's own bylaws, and that's what makes me the most sick. It's a mistake I won't make again. You are clearly unfit to lead FIDE. You are a disgrace to Chess and everything it should stand for. Resign immediately.

[watchTowr @watchtowrcyber]

Happy Friday! Enjoy our analysis of CVE-2025-36604, a pre-auth Command Inj in Dell's UnityVSA that we discovered and reported in March.

https://t.co/kawjpEH94m

[Sabine Hossenfelder @skdh]

Black Holes Instead of Colliders

A group of astrophysicists says that black holes can collide particles at energies beyond what the Large Hadron Collider (LHC) can reach, and that suitable observations could therefore test entirely new territory. This is somewhat surprising because while black holes are known to dramatically accelerate particles in their accretion disk, these particles all move in the same direction, so one doesn’t expect the collisions to have extremely high energies. The LHC, in contrast, collides two beams head on, creating extremely high collision energies.

However, in a paper that just appeared in PRL, the authors say that supermassive black holes which spin sufficiently fast have collide particles that spiral inwards from the accretion disk with particles that come in straight without spiralling. They say that these collisions can reach energies in the range of up to 100 TeV, which is about 10 times higher than the LHC, and the flux is high enough for the results to be observable from earth. The collision results that are the easiest to observe should be neutrinos.

Paper here https://t.co/7kBMozn928

Press release here https://t.co/qyYILETkmM

[Gary Marcus @GaryMarcus]

𝗔𝘀𝘁𝗼𝗻𝗶𝘀𝗵𝗶𝗻𝗴𝗹𝘆 𝗳𝗲𝘄 𝗽𝗲𝗼𝗽𝗹𝗲 𝘀𝗲𝗲𝗺𝘀 𝘁𝗼 𝗵𝗮𝘃𝗲 𝗮𝗽𝗽𝗿𝗲𝗰𝗶𝗮𝘁𝗲𝗱 𝘁𝗵𝗲 𝘁𝗿𝘂𝗲 𝘀𝗶𝗴𝗻𝗶𝗳𝗶𝗰𝗮𝗻𝗰𝗲 𝗼𝗳 𝘁𝗵𝗲 𝗻𝗲𝘄 𝗔𝗽𝗽𝗹𝗲 𝗿𝗲𝗮𝘀𝗼𝗻𝗶𝗻𝗴 𝗽𝗮𝗽𝗲𝗿.

I will break it down for you, in four sentences:

• It is not just that these systems are doing more pattern recognition than reasoning.

• It is that LRM “reasoning models” 𝙘𝙖𝙣 𝙣𝙚𝙫𝙚𝙧 𝙗𝙚 𝙧𝙚𝙡𝙞𝙚𝙙 𝙤𝙣 𝙩𝙤 𝙥𝙧𝙤𝙥𝙚𝙧𝙡𝙮 𝙚𝙭𝙚𝙘𝙪𝙩𝙚 𝙖𝙡𝙜𝙤𝙧𝙞𝙩𝙝𝙢𝙨.

• You can’t have reliable AGI without the reliable execution of algorithms.

• And we will *never* get to alignment without them.

[Xuanwo @xuanwo]

jemalloc is archived 🤯

https://t.co/R4CiNmipx3

[DeGatchi @DeGatchi]

i wonder how people that can understand this deeply see the world

[Quanta Magazine @QuantaMagazine]

In 1965, the mathematical physicist Roger Penrose proved that, given two simple assumptions, space-time must end at points called singularities. The paper has been called “the most important paper in general relativity” since Einstein’s. https://t.co/1dtLupkA7k

[Physics In History @PhysInHistory]

Equations that made history ✍️

[Daniel Mentrard @dment37]

Integral calculus(XXIII)
Area of the sphere by integrals
Visualization|Animation | Interactive applet
@geogebra
https://t.co/23BUle1Oxk
#geogebra #math #science #iteachmath #mtbos #visualization #elearning @bancoche #physics

[Sabine Hossenfelder @skdh]

Recent headlines said that a physicist showed that gravity is a computer simulation, or at least can be understood as such. I've had a look.

https://t.co/bAqviVed9t

[Sabine Hossenfelder @skdh]

In today's video I explain why I think theories of everything keep on failing.

https://t.co/lgknlWpZb5