Plurigrid

this, too, is Plurigrid! 🪁 NWDZXB

[Sander 🏳️‍🌈 @ajmmertens]

Atmosphere & cloud rendering is coming along in the new WebGPU-based #flecs engine! ☁️

https://t.co/9BNFuhFviM

Asset credits: @KenneyNL

[Plurigrid @plurigrid]

Markoff at it yet again, and all is spring again, as if for the first time! 🙂‍↕️🙂‍↕️🙂‍↕️

[∞-modal @NoahChrein]

https://t.co/83PGWL6ArS

Diagrammatic Differentiation 👀

[yev @itisyev]

Here's the GitHub so you can have fun with it yourself

https://t.co/bZwe9lscaK

[yev @itisyev]

What would it look like to browse while on a microdose?

Experimented with the new HTML-in-canvas feature to create a trippy browsing experience (GitHub in reply)

[Urs Schreiber @UrsSchreiber]

Several attempts have been made in the past to set up a

*database of categories*

but nothing useful seems to have materialized in the past

Now Martin Brandenburg (https://t.co/NJejmJTuVn) presents what looks like a working and useful setup:

++CatDat++
https://t.co/OsDQY0X2VY

[Leonardo de Moura @Leonard41111588]

Excitining News! Signal Shot is a public moonshot to verify the Signal protocol and its Rust implementation using Lean.

It is a joint effort of Signal (Rolfe Schmidt), the Beneficial AI Foundation (Max Tegmark), and the Lean FRO.

https://t.co/jcE82zma5x

#leanprover #leanlang

[Plurigrid @plurigrid]

if it is not obvious yet - do not do the peptides you will later regret - smile and charge up your devices! 🌞

[Plurigrid @plurigrid]

🥩🐝🐝🐝

[Gray Area @GrayAreaorg]

Opening tonight as part of ./local_memory: DSS by @shihandesign, with @mingyong_art , Han Zhang, Ziwei Liu, and Jiaye Leng, invites you into a speculative future where humans replace bees as pollinators.

Step into the work and experience an interactive environment of touch, sound, and ecological fiction.

[0xor0ne @0xor0ne]

Excellent collection of resources for getting started with IoT/embedded devices vulnerability research

https://t.co/SOE3QIh7f7

(@IamAlch3mist)

#infosec

[Lloyd Strickland @Dr_L_Strickland]

Leibniz didn't just invent binary, he also came up with the idea of binary tactile clock, where instead of reading the time with your eyes, you could feel it with your fingers.
Full text in English here: https://t.co/pZVtPcmHjy

[Plurigrid @plurigrid]

world://

[Keenan Crane @keenanisalive]

Pretty awesome development from NVIDIA, including my former student @nmwsharp.

(I guess 3D isn't dead after all?)

[Fabian Gloeckle @FabianGloeckle]

Worried about Anthropic's Mythos? Fully formally verified code generation is the defense.
Combining Lean, frontier models, multi-agent scaffolds, and inference scaling, we show <12mo benchmarks jumping from 20% to 70%.
Real-world verification is here.
https://t.co/ADGXmJOLlZ
1/

[Michael Nielsen @michael_nielsen]

This is a very interesting paper:

[Plurigrid @plurigrid]

what is up Nashies -- do you know who this is? (Hint: it is not John Nash)

[Andy Matuschak @andy_matuschak]

⭐ New talk! https://t.co/dhDLxakvrC

Coding agents might help us finally break out of two cages: the app model, which traps computing in one-size-fits-all silos; and programming as a specialization, which has crowded out cultures of imagination and domain insight.

[Plurigrid @plurigrid]

just kidding, no ⛽ here -- but this is the GitHub https://t.co/7Sg2PanaZo

[Plurigrid @plurigrid]

we are delighted to be launching the very special TUI for $NASH that you can run from CLI as

> nash

or simply experience live at https://t.co/xYd3OkYBNF!

blogpost on building interfaces for post-web that run the same everywhere incoming, see below to ape in!

[Plurigrid @plurigrid]

the memes - all grown now! 🪁���🦆

what local-first transformer-diffusion will sonify this beauty? 📻

/cc @caseorganic 🛸

[Ben James @BenJames_____]

Solar data center mvp is COMPLETE

Hit us up if you want free compute this week.

Fully off grid with starlink + battery + cooling. No wires, no water!

Build thread below...

[Plurigrid @plurigrid]

aL69yI948EBTcy2JuAQo