Plurigrid retweeted
actually agree with harsh here
apple would never put their logo on condoms and give them out at LEAP
this kind of activities lower brand equity and the damage caused can be irrecoverable
apple would never put their logo on condoms and give them out at LEAP
this kind of activities lower brand equity and the damage caused can be irrecoverable
@MindsFictionmeone at Devcon, who was like:
“Oh I met some people from zcash who gave me this condom”
I am sorry! But people need to understand giving condoms is not a great way to communicate zcash.
Young students come to these conferences ( some might be below 18 )!
And now people here arnal Zcashers are out there giving condoms!
I still have no idea why would someone fund this! And why on planet earth would you take this to a conference like Devcon.
Really bad! And something most coin holders would never approve.
6
2
46
2,262
Plurigrid retweeted
Linux now beats macOS on Apple silicon GPU memory bandwidth.
M1 Max, Omarchy:
macOS: 361 GB/s
Linux before: 241 GB/s
Linux now: 368 GB/s
The kernel never told the power controller the GPU was busy. One bit fixed it.
github.com/omacom/linux-a…
M1 Max, Omarchy:
macOS: 361 GB/s
Linux before: 241 GB/s
Linux now: 368 GB/s
The kernel never told the power controller the GPU was busy. One bit fixed it.
github.com/omacom/linux-a…
78
97
1,788
242,048
Plurigrid retweeted
Drag-and-drop makes the digital graspable, but building it well is fiddly enough that many don’t bother. Declarative Dragging (with Josh Horowitz & Jeff Heer, #uist2026 best paper award), lets you make an element draggable just by listing the states dragging it can reach.
45
224
1,772
106,554
Plurigrid retweeted
One thing that’s maybe funny is prior hyped tech would stack on top of earlier ones with enthusiasm e.g. crypto being used to fuel IoT devices as part of gig economy
Now AI sorta flips the table and reveals issues that were always there. Like Thiel on how COVID didn’t worsen things but simply revealed faults in institutions
Now AI sorta flips the table and reveals issues that were always there. Like Thiel on how COVID didn’t worsen things but simply revealed faults in institutions
BREAKING: Europe is under a massive cyber attack, with supermarket fridges and freezers in Belgium, Sweden, Luxembourg, Ireland, the Netherlands, Finland and Estonia all hacked today by raising temperatures to up to 50°C, destroying huge quantities of food, per Reuters.
"Everything is destroyed," a sales manager in Sweden said, adding that "there has been a cyberattack and all our freezers reached 50 degrees."
More than 40 supermarkets in Belgium and Luxembourg were affected. "I only have two words for them: wake up, please, because there's something going on," a store manager in Belgium said.
This follows a similar cyberattack last month that hit hundreds of supermarkets in France, raising freezers as high as 80°C and causing major food losses.
It also comes after freezers at 6 US military bases mysteriously malfunctioned, spoiling large quantities of food, which the Pentagon is investigating as a suspected cyberattack.
1
2
2
137
Plurigrid retweeted
we are pleased to present RETROGRADE, a procedurally generated, behaviorally graded benchmark for reverse-engineering agents
there’s no fixed corpus to leak. every target is a program that didn’t exist until the generator drew its seed
results from Round 0 to follow 🧵
there’s no fixed corpus to leak. every target is a program that didn’t exist until the generator drew its seed
results from Round 0 to follow 🧵
5
7
80
7,659
Plurigrid retweeted
TMLR paper and blogpost, strictly more general and braindead easy diagrams. but complexity fetishists will swarm around the appearance of complication as a bad proxy for insight. You think knowing the name of the bird is the same as knowing the bird?
cybercat.institute/2025/05/07/neu…
Y
cybercat.institute/2025/05/07/neu…
Y
Little known fact:
Gradient descent works especially well on non-commutative, non-distributive,or even non-associative algebras.
You can literally just make up any algebra with any rules... gradient descent finds exact solutions in like, 100 iterations. Like wtf...
2
7
56
2,749
Plurigrid retweeted
x86 formal verification is coming!
The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc.
And we believe it scales!
A joint research project with @zellic_io 🧵👇
The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc.
And we believe it scales!
A joint research project with @zellic_io 🧵👇
43
171
1,339
141,994
Plurigrid retweeted
1/4
New writeup: you can fingerprint the exact GPU you're running on with a default torch.index_add_ call, even among identical GPUs.
This works because floating-point maths depends on order, and every GPU has its own. This fingerprint survives reboots and can't be faked.
New writeup: you can fingerprint the exact GPU you're running on with a default torch.index_add_ call, even among identical GPUs.
This works because floating-point maths depends on order, and every GPU has its own. This fingerprint survives reboots and can't be faked.
14
88
908
83,615
Plurigrid retweeted
DADASPEC - I've been using this colorful perceptual spectrogram algo for all my players & demos since forever. It's really nice. It makes music structure rly obvious. Finally just named it & put it in a repo. Feel free to use. Give it to your claude.
10
15
167
4,533
Plurigrid retweeted
The Horokernel :D
Hyperbolic tessellation with families of coupling kernels in each cell and coupling kernels between cells -
"If you want to achieve sovereign mastery of your own mind, master the meta-coupling kernel of hyperbolic space" - The Horokernel (just made it up)
Hyperbolic tessellation with families of coupling kernels in each cell and coupling kernels between cells -
"If you want to achieve sovereign mastery of your own mind, master the meta-coupling kernel of hyperbolic space" - The Horokernel (just made it up)
9
18
153
6,669
Plurigrid retweeted
This is silly but I turned DOOM into a font
The entire game state is calculated inside the font from the sequence of letters you type
The entire game state is calculated inside the font from the sequence of letters you type
50
150
2,095
63,758
Plurigrid retweeted
This is the topology of the tinybox red kimi, frontier models at home at usable speeds for a good price. tinygrad has a driver to directly control the NVMe drives from the AMD GPUs.
15
27
347
33,986
Plurigrid retweeted
Lean Verified Tokenizers (srush.github.io/verified-token…)
Training-inference mismatch kills RL runs, but yet we build messages in Jinja? Prototypes a Lean-verified Rust agent pipeline.
Training-inference mismatch kills RL runs, but yet we build messages in Jinja? Prototypes a Lean-verified Rust agent pipeline.
26
35
407
24,753
Plurigrid retweeted
wow the base model understands when it is appropriate to create a 2-simplex of 1-cells as a witness for composition of relations between relations of concepts in theta space ontologies.
4
6
43
1,205
Plurigrid retweeted
netties now supports polarity and types ✨ see the demos 👇
and we're on a new domain: netties.adler.dev
and we're on a new domain: netties.adler.dev
made a playground for interaction nets and ngl it's pretty cool
netties-936.netlify.app
5
8
60
4,679
Plurigrid retweeted
I've published a new, general-purpose terminal specification that gives any program a way to tell the terminal what it's doing: idle, working, waiting, finished, or failed, and why. It is easy to implement on both sides. I've written more about why: mitchellh.com/writing/progra…
The problem this solves is generic and applies in compelling ways to all sorts of use cases (e.g. package managers, build tools), but it really rears a hideous head when it comes to AI and the "agentic inbox" problem.
I found over 250 different agent orchestrators (with various goals) that all individually implement a heuristic based approach to detecting whether things like Claude Code are working, blocked, done, etc.
If you look at @herdrdev's commit history, you can see around 10 compatibility changes to detect Claude Code within just the past 3 months. (This isn't a dig at Herdr! They're doing great work with what they have, and everyone else is doing the same thing).
Heuristics are not the way. And over-indexing on agentic use cases isn't the way, because this problem is really interesting for other tools too: Homebrew, Terraform, Cargo, etc. etc.
Proprietary protocols and out of band APIs are not the way. They have an O(N) integration problem and require extra work to work over SSH or within local VMs/containers.
The program status specification (OSC 7501) solves this in a reliable, deterministic way that is general-purpose and can be easily adopted by the entire industry.
Read more: mitchellh.com/writing/progra…
The problem this solves is generic and applies in compelling ways to all sorts of use cases (e.g. package managers, build tools), but it really rears a hideous head when it comes to AI and the "agentic inbox" problem.
I found over 250 different agent orchestrators (with various goals) that all individually implement a heuristic based approach to detecting whether things like Claude Code are working, blocked, done, etc.
If you look at @herdrdev's commit history, you can see around 10 compatibility changes to detect Claude Code within just the past 3 months. (This isn't a dig at Herdr! They're doing great work with what they have, and everyone else is doing the same thing).
Heuristics are not the way. And over-indexing on agentic use cases isn't the way, because this problem is really interesting for other tools too: Homebrew, Terraform, Cargo, etc. etc.
Proprietary protocols and out of band APIs are not the way. They have an O(N) integration problem and require extra work to work over SSH or within local VMs/containers.
The program status specification (OSC 7501) solves this in a reliable, deterministic way that is general-purpose and can be easily adopted by the entire industry.
Read more: mitchellh.com/writing/progra…
129
204
2,675
173,997
Plurigrid retweeted
speaking of which, get ready for a new blog post from Glaive showing the modern way to do Open Games
> It seems that the mathematical technique of analysis situs (topology) and particularly such concepts developed by it as that of homeomorphism might prove very useful
RIP Hayek you would have loved applied category theory
0
3
14
827