equality saturation is basically if starlight glimmer was datalog
11.03.2026 00:56
π 1
π 1
π¬ 0
π 0
equality saturation is basically if starlight glimmer was datalog
Continuwuity v0.5.6 is hot off the press! Continuwuity is a chat server for communities that speaks Matrix - and our community has grown a lot recently. We've got security, performance & reliability improvements aross the board.
continuwuity.org
#Matrix #SelfHosted #OpenSource #FOSS #Privacy
Inject cats chart from the parent post with :3 crudely drawn in on the cat-ear shaped hump
github.com/triton-lang/...
Got gfx906 (Radeon VII, MI50/MI60) support upstreamed in triton this week!
Very happy to help prevent cards that are under a decade old and on the official support roadmap being ewaste due to poor software support.
just yesterday rocmPackages.hipblaslt.src failed on hydra because the source tree has 5GiB of yaml in it.
π«
The implication that someone has to hate writing code to be happy to be able to automate some of it doesn't make much sense to me.
I got into programming as a child because I like making things run better or making new things, not because I intensely value typing in specific lines of code. No financial pressure, definitely for the love of the game.
i built an entire x86 CPU emulator in CSS (no javascript)
you can write programs in C, compile them to x86 machine code with GCC, and run them inside CSS
lyra.horse/x86css/
Embed image for a lunnova.dev blog post about ROCm 7.1.1 (AMD's GPU compute stack), styled entirely as a Neon Genesis Evangelion title card homage. The bold, squashed, serif typography, the red-and-white-on-black color scheme, the embossed red "m" in "ROCm" (mirroring the iconic red "N" in EVANGELION), and the tagline "You can (not) build." with "(not)" in contrasting replicate the Evangelion titling aesthetic. The background shows htop CPU %age bars in a state of overload and distress, fading towards the bottom of the screen. The date (left) and lunnova.dev (right) are displayed at the base of the image.
By popular (two people with strong opinions) demand, embed image updated.
You want to build the ROCm package set.
Please insert $5,000 to download more RAM.
lunnova.dev/articles/roc...
bsky.app/profile/norv...
I'm excited to potentially get a copy!
soatok.blog/2026/02/17/c... #Matrix #security #cryptography
acausal blog post sending somehow. too powerful.
T_T
@erikmcclure.com if you cause me to add further entries I will be forced to find and use your inflatable hammer against you
@jade.ellis.link's talk on dealing with a security issue under attack in real time was great and you should watch it
youtu.be/CZ4nk9aWzYM
The rest are in the OP!
Fun link: @thetetra.space 's birth lottery page
birth-lottery.thetetra.space
Most important link: in 2022 US guidance around bankruptcy proceedings and student loans changed.
Student loans are now more often dischargeable in bankruptcy. β90% success rate since the change.
Few people know they can try! Get the word out.
www.justice.gov/archives/opa...
lunnova.dev/articles/202...
New link & snippet post.
Site update to add a quick reference handbook section.
Jebus, in just 2 or 3 years Pakistan has imported enough solar panels that, in some times in the coming year, panels will cover *all* the country's demand.
That's fair.
I've gone for a fairly large rework and a new section in the post, care to check if it does a better job?
lunnova.dev/articles/if-...
![https://en.wikipedia.org/wiki/Geoengineering
Methods
Carbon dioxide removal
This section is an excerpt from Carbon dioxide removal.[edit]
Planting trees is a nature-based way to remove carbon dioxide from the atmosphere; however, the effect may only be temporary in some cases.[9][10]
Carbon dioxide removal (CDR) is a process in which carbon dioxide (CO2) is removed from the atmosphere by deliberate human activities and durably stored in geological, terrestrial, or ocean reservoirs, or in products.[11]:β2221β This process is also known as carbon removal, greenhouse gas removal or negative emissions. CDR is more and more often integrated into climate policy, as an element of climate change mitigation strategies.[12][13] Achieving net zero emissions will require first and foremost deep and sustained cuts in emissions, and thenβin additionβthe use of CDR ("CDR is what puts the net into net zero emissions" [14]). In the future, CDR may be able to counterbalance emissions that are technically difficult to eliminate, such as some agricultural and industrial emissions.[15]:β114β
CDR includes methods that are implemented on land or in aquatic systems. Land-based methods include afforestation, reforestation, agricultural practices that sequester carbon in soils (carbon farming), bioenergy with carbon capture and storage (BECCS), and direct air capture combined with storage](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:j3hvz7sryv6ese4nuug2djn7/bafkreigaoqsqh7fiyy7xqwelnchtnkdpjscalaz7mvetqvr5skgcr6njlq)
https://en.wikipedia.org/wiki/Geoengineering Methods Carbon dioxide removal This section is an excerpt from Carbon dioxide removal.[edit] Planting trees is a nature-based way to remove carbon dioxide from the atmosphere; however, the effect may only be temporary in some cases.[9][10] Carbon dioxide removal (CDR) is a process in which carbon dioxide (CO2) is removed from the atmosphere by deliberate human activities and durably stored in geological, terrestrial, or ocean reservoirs, or in products.[11]:β2221β This process is also known as carbon removal, greenhouse gas removal or negative emissions. CDR is more and more often integrated into climate policy, as an element of climate change mitigation strategies.[12][13] Achieving net zero emissions will require first and foremost deep and sustained cuts in emissions, and thenβin additionβthe use of CDR ("CDR is what puts the net into net zero emissions" [14]). In the future, CDR may be able to counterbalance emissions that are technically difficult to eliminate, such as some agricultural and industrial emissions.[15]:β114β CDR includes methods that are implemented on land or in aquatic systems. Land-based methods include afforestation, reforestation, agricultural practices that sequester carbon in soils (carbon farming), bioenergy with carbon capture and storage (BECCS), and direct air capture combined with storage
reforestation is fairly classically considered geoengineering, it's actually one of the first items on the geoengineering wikipedia page, not trying to mislead there.
I think it probably doesn't come to mind because it's not argued over much, anyone sensible thinks reforesting is a great idea.
Wow, I missed the mark there. That we should shut down the coal mines, stop extracting more oil as priority seems so obvious yet I didn't put it down.
If you can read my post and walk away thinking I support the petrochem complex I've failed utterly.
Thanks for the input.
Wikipedia table titled "Highest recorded wet-bulb temperatures" listing locations that have recorded wet-bulb temperatures of 34Β°C (93Β°F) or higher. Table shows temperature in Β°C, city/state, and country. Top entries: Ras Al Khaimah City, UAE (36.3Β°C); Jacobabad, Pakistan (36.2Β°C); Mecca, Saudi Arabia (36Β°C); Hisar, India (35.8Β°C); Yannarie, Australia (35.6Β°C); and locations in Mexico, Pakistan, and Venezuela ranging from 35-35.4Β°C.
If someone sells geoengineering as an easy solution that lets them sacrifice nothing to deal with climate change that's sus.
It's lemon difficult, and something we might be obligated to do anyway because we've blown past all emission targets and are already seeing unsurvivable temperatures
Adjacent to this I'd also push for funding copycat efforts of things like the tokyo resilience project in large cities most at risk of severe flooding due to climate change, we made this mess and we should have to help deal with the consequences.
www.architecturelab.net/tokyo-has-th...
