Tpt retweeted
I'd go a bit further and say that "alignment" is a concept that's asked to do much too much in these conversations. The term suggests an intentionality and nefariousness to things. If an agent deletes your hard drive because it wanted to free space to get the tests to run, is it "misaligned"? The term suggests the model has gone rogue, turned malignant. But really it's just...done a bad job, in that one moment.
Reasoning is computation. You don't know the transitive closure of all the things you believe to be true. No process does. Similarly there's no way to make a decision process automatically value all the things it values. There's no one weird trick that can "solve" alignment in the general sense people are often using it, which is something like "Making sure its actions are consistent with the values of the people operating it". Under that definition some reasoning failures get classified as alignment failures, depending on what happens at the end. But there's nothing characteristically different about those reasoning failures that would let you solve them in particular.
Tpt retweeted
Replying to @KrzakalaF
Au contraire.
C'est une nouvelle ère qui s'ouvre pour les mathématiques.
Une ère où la démonstration formelle est largement automatisée et où l'accent sera reporté sur le développement de nouveaux concepts, nouvelles abstractions, nouvelles définitions, et nouvelles conjectures.
L'invention du bateau a réduit l'importance de la nage, mais a permis la découverte de nouvelles terres.
An example of the problems EU Inc will face by keeping "notarial control" in EU Inc article 14.
Official response from the German Chamber of Notaries: If you're not German or not European living in Germany, you can't use online digital tools.
Oh, and you can't use the digital tools you want: we also want a monopoly on software.
How come the @EU_Commission authorizes a monopoly on software to notaries?
How come EU Inc would reenforce and strengthen the notary monopoly and enable a huge company creation bottleneck by forcing a numerus clausus cartel to review EU Inc creations? Not on our watch
Repost. We hope @EP_Legal cancels the "notarial control" in the final EU Inc text.
PS: We believe MEPs and EU Commission are doing a great work on EU Inc. Yet this part of the draft is the one that needs to be fixed in the final voted law. We want them to open their eyes on all the issues this creates.
Tpt retweeted
The narrative around why building AGI was a good idea has always been about invention -- "it will cure cancer", "it will solve fusion energy", etc.
So I would not "declare AGI" until we have AI that is, at last, capable of invention -- conceptual breakthroughs, novel insights, new real-world technology, etc.
Tpt retweeted
2023 : La 5G ça sert à rien.
2026 : pourquoi y a pas la 5G ?
Tpt retweeted
This is a very clever architecture. We use a similar approach in Rspack by running CPU-bound tasks directly on Tokio. We don’t even need a separate I/O runtime, because the priority in compiler workloads is maximizing CPU utilization, not minimizing I/O latency.
One of the reasons we chose Tokio over Rayon is that Rspack exposes a large number of JavaScript hooks. These hooks are asynchronous and are frequently interleaved with CPU-bound work, so keeping everything on the same runtime greatly simplifies the execution model.
The discussion in github.com/tokio-rs/tokio/is… is excellent. I’d also love to see Tokio provide more Rayon-like APIs (such as par_iter) to make scheduling CPU-bound workloads more ergonomic.
Using Tokio for CPU-Bound Tasks (Works Really Well) youtu.be/FeqRdDG1Y7g
(has nothing to do with AI, just scheduling and Database plans)
Tpt retweeted
le plus impressionnant est que, sous le prétexte bien peu crédible de la protection des mineurs, cette technique d'autorisation préalable d'accès aux réseaux sociaux, avec scan sécurisé de la carte d'identité (humour noir) ne suscite aucune réaction ni révolte de la population
Tpt retweeted
A somewhat academic talk about the AI usecases driving changes in @ApacheParquet and new formats in "Column Storage for the AI Era"
Recording: youtu.be/k9uhw7yqPsQ
Slides: docs.google.com/presentation…
Tpt retweeted
Weekend thoughts on Gas Town, Beads, slop AI browsers, and AI-generated PRs flooding overwhelmed maintainers. I don't think we're ready for our new powers we're wielding. lucumr.pocoo.org/2026/1/18/a…
To all European politicians who don’t like tariffs.
You don’t like 10%? You don’t like 25%?
So why you don’t fix the 🇪🇺 single market that has de facto higher tariffs due to red tape & co?
You have 100% power over this.
Time to walk the talk
Tpt retweeted
Here is my latest article on the world of databases: cs.cmu.edu/~pavlo/blog/2026/…
All the hot topics from the last year:
• More Postgres action!
• MCP for everyone!
• MongoDB gets litigious with FerretDB!
• File formats!
• Market movements!
• The richest person in the world!
Tpt retweeted
I see a lot of complaints about untested AI slop in pull requests. Submitting those is a dereliction of duty as a software engineer: Your job is to deliver code you have proven to work simonwillison.net/2025/Dec/1…
Tpt retweeted
Qiwei Huang explains how we use Late Materialization (LM) in the Apache Rust Parquet reader to accelerate filtering. LM can describe several techniques, but this is a core one (also applies to joins, Top-K, etc)
arrow.apache.org/blog/2025/1…
Tpt retweeted
This is one example of why European tech startups are competing handcuffed vs US startups.
Here’s Lovable, one of the few massively successful startups employing a bunch of people in the EU, growing fast.
A Swedish entrepreneur attempts to take them down w EU VAT concerns. 😡
If you want to sell a service such as @Lovable globally and want to jump over VAT/tax everywhere is that OK and fair? Togheter with the journalist @emilhellerud we tracked Lovable receipts and found zero tax compliance(EU). Broadcasted on TV4.
Tpt retweeted
Europeans already pay high taxes on everything
Is it too much to ask to make it smooth, easy, fast, digital-first and reasonably simple, across Europe to manage VAT?
Even to get the VAT ID takes weeks or months and is highly bureaucratic!
@EU_Taxud has not shown any interest to help Europeans
Repost to trigger change
Tpt retweeted
I love Zstd. It is my default goto for anything compression related: it has a sweet spot between availability (it’s now standardized!! RFC8478), complexity, performance and compression ratio.
My favorite thing about it are the skippable frames. Just a killer feature. It’s not even a Zstd thing – it’s inherited from LZ4 and compatible with those frames. But it’s immensely powerful to build stuff on top of the compression algorithm.
Here’s the idea: Zstd is a framed format, and Zstd files are a collection of one or more frames. Normal zstd frames begin with a magic number and contain compressed data, but the standard also defines the concept of a “skippable frame” that can be inserted between any two zstd frames and it’ll always be ignored by a compliant decoder. All you need to create a skippable frame is a 8 byte header with a magic number (0x184D2A5?) followed by the size of the frame. After that, you can insert anything you want in the middle of the stream! Pictures of cats, cooking recipes… huh.
Something interesting I’ve been doing with these frames: at Cursor we use a lot of tarballs because those never go out of fashion. Pods, training, evals… you always have files you gotta move around, and 80s technology cannot be beaten. But of course, we don’t go for the classic `.tar.gz` because, why would you do that when zstd is so widely available? If you do `.tar.zstd`, the resulting tarball is smaller and decompresses faster. It’s just better.
But is “faster” fast enough? If you try to fetch and extract a tarball in a modern machine (i.e. one with a good uplink and a NVME drive), you’ll see it’s actually _very_ slow. Do a `curl tarball | zstd -d | tar xf -` and take a look at the system metrics. It’s not even close to saturating neither the available bandwidth nor the IOPS for the host!
Can we improve on this? Skippable frames to the rescue. Whenever we build a tarball, we add a 4kb footer at the end of it, which is just a skippable frame containing an index of valid segments for the tarball (i.e. chunks of the tarball that you could download and extract separately). With this, we can do as many `Range` HTTP requests in parallel as we want, and each request can also be extracted in parallel. It’s trivial to saturate bandwidth and IOPS this way, and make fetching tarballs at least 10x faster.
And the best thing? The segment index at the end IS an skippable frame after all. If you just fetch the tarball as usual with `curl` and pipe it into `zstd`, it extracts the same. So anywhere in the infra that doesn’t have specialized code to download & extract tarballs in parallel just continues working.
Tpt retweeted
Trois graphiques interessants sur le poids des pensions en France dans le Financial Times ce matin
Tpt retweeted
Dynamic Filters for TopK and Join queries landing in DataFusion 50.0.0: datafusion.apache.org/blog/2…
Tpt retweeted
Big Data on the Move: Can a Framework Laptop 13 ultrabook run terabyte-sized workloads with DuckDB?
@szarnyasg ran the experiments and shared his finding in our latest blog post: duckdb.org/2025/09/08/duckdb…

































