hamid

How dare Mr Fox exploit the system that was stratified to exploit him?

[hamid @1hamidr]

I miss the days when all I was interested in was stories and stars in the sky.

[Phil Eaton @eatonphil]

mojo is now open source

https://t.co/oHZf5o6LgR

[Math Cafe @Riazi_Cafe_en]

Yale's "Theory of Distributed Systems"

🗒️ Lecture Notes: https://t.co/wod9LRDWPe

[hamid @1hamidr]

The damn thing is stupid af! Yeah AGI is here :)) sure :))

[Sabine Hossenfelder @skdh]

Penrose's argument, in a nutshell, is that since humans can understand Goedel's theorem, consciousness is uncomputable and physics incomplete. I've always found it quite charming, the idea that understanding Goedel's theorem is an indicator for consciousness, seeing how few people actually understand Goedel's theorem.

In any case, the argument from Goedel's theorem is why, I believe, Penrose thinks that the measurement process in quantum mechanics is relevant for human consciousness. Because it's the only place in the foundations where you can fumble in some new physics that is plausibly relevant in the human brain. Hence the story with the microtubules. And if you believe that, then AI can't be conscious because it's algorithmic. Though presumably a quantum computer could be conscious, if it emuluates the quantum process that is supposedly relevant for consciousness.

(Penrose's model for wavefunction collapse by gravity is totally computable and actually does not fit that narrative.)

Also, I believe Penrose's argument from Goedel's theorem to be technically wrong. It is possible to algorithmically understand (and even prove) Goedel's theorem without violating Goedel's theorem because the theorem itself is a meta-statement about the Goedel sentence(s) and not the sentence itself. In some sense, Penrose's argument is wrong for the same reason Goedel's theorem exists in the first place, that you can make meta-statements about statements. In fact there have been computer-generated symbolic proofs of Goedel's theorem long before the AI boom.

It's not that I have an obsession with Penrose in particular, it just so happens that my interests have a big overlap with his. I have an interview with Penrose in my 2022 book "Existential Physics" on these and related problems.

https://t.co/PB8d8Vidkq

[Farid Zakaria @fmzakari]

nixpkgs-multiverse is #nix #nixpkgs technically peaking.

What other distribution lets you access 246 CPython versions concurrently, safely and seemlessly.

Everyone is tokenmaxxing while we are audacitymaxxing.

https://t.co/7aHZGW3OVj

[hamid @1hamidr]

We can. Do we want to?

[Ellie Huxtable @ellie_huxtable]

fuck bash, we can do so much better

[Filip Jerzy Pizło @filpizlo]

Announcing Fil-C release 0.683!

This release focuses on stabilizing ARM64 support. Fil-C on ARM64 now supports all of the page sizes (4K, 16K, or 64K).

Try it out and don't forget to file bugs if something doesn't work! :-)

https://t.co/aiHgMjUk6L

[Marc Brooker @MarcJBrooker]

Dogwood is based on a precise mathematical foundation (metric first-order temporal logic). But you don't need to be a logic expert to use it.

We go through how to write a policy step-by-step in a new blog post: https://t.co/0UFzHbA317

[hamid @1hamidr]

I thought the current math is not correct either :P

[FrenFromFrens @kamil_lat]

@alpaysh @reinforce2020 how would you know that the new math is correct?

[Andy Pavlo (@andypavlo.bsky.social) @andy_pavlo]

👊I've joined the crew at @ClickHouseDB to establish the *ClickHouse Labs* research group. We'll be working side-by-side with ClickHouse devs to cook up new ways to make the system even faster. I'll also be exploring new topics related to PostgreSQL. https://t.co/7VFLQzAL8g

[hamid @1hamidr]

Hmm,
But Isn't time an emerging property of causality within the context of Newtonian physics?

[Sabine Hossenfelder @skdh]

A physicist built a mini-universe out of cold atoms and used it to test where time comes from. It made big headlines a few weeks ago, and I almost skipped it, as most "universe in a lab" stories are nonsense. But then I actually read the paper. https://t.co/heoIeuM43n

[Filip Jerzy Pizło @filpizlo]

Fil-C now works on OpenWrt One

[Daniel Lemire @lemire]

The gist of my findings is that if you find yourself needing a std::list in C++, then std::hive might be for you. It is quite reasonable in this respect.

You probably never want to replace an std::vector by an std::hive.

[james hawkins @james406]

"how do you know it's quality code?" is a silly question, as you can see the new code is literally colored green, which means it passes all the tests

[Psyho @FakePsyho]

pictured: mathematicians furiously working to prove theorems in 2026

[Bryce, the CUDA Colonel @blelbach]

C++ leaves it to you too because the one we standardized was over specified and thus has horrible contemporary performance.

[based16z @based16z]

“Our model makes bioweapons”
“Oh yeah? Well our model killed a guy”
“Well played, but our model literally rapes people”

[Ismael Juma @ijuma]

JEP 401: Value Objects (Preview) merged to OpenJDK master (64 co-authors)

[Pekka Enberg @penberg]

https://t.co/vZfAabIWdp

[Gro-Tsen @gro_tsen]

So, someone came up with an AI-generated formal proof, in Lean, of a solution to the Collatz problem, and it turned out that the “proof” was merely exploiting a bug in the Lean kernel (allowing you to prove anything).