@Yuras

42 Followers
60 Following
420 Posts
writing in haskell for food
It's funny how people depict US as both a weakling losing the war and an omnipotent villain controlling the entire world.

Today C still doesn't have package manager, so it's relatively immune to supply chain attacks.

Rust (haskell, go, JS etc) are memory safe but vulnerable to supply chain attacks. At this point I'm not sure which one is worse.

Yes, I'm seriously suggesting to turn hackage off. #haskell

Here's the QAPF diamond - and at no extra charge, two more triangles of rocks!

All the rocks in the QAPF diamond are called 'felsic', meaning they contain lots of minerals with silicon, like feldspar and quartz. But here you also see a triangle of 'mafic' rocks. These have less silicon and more magnesium and iron. And there's also a triangle of 'ultramafic' rocks, with even less silicon.

I am not ready to understand mafic and ultramafic rocks. I'm still curious about why Q and F - that is, quartz and feldspathoids - don't coexist! I looked it up, and here's the story:

Feldspathoids are really just like feldspars with less silica (silicon dioxide). In the presence of silica, any feldspathoid will react with it to produce a feldspar. The two key reactions are

NaAlSiO₄ + 2 SiO₂ → NaAlSi₃O₈ (nepheline + quartz → albite)
KAlSi₂O₆ + SiO₂ → KAlSi₃O₈ (leucite + quartz → K-feldspar)

Both reactions run strongly to the right under high pressures and temperatures, like deep underground. So a rock is either silica-oversaturated and contains quartz, or silica-undersaturated (not enough SiO₂ to put all the Na or K into feldspathoids) and contains feldspathoids. Not both!

It's nice when things kinda make sense.

Next, a clearer version of the QAP triangle.

(2/n, n = 2)

Iran's attempts to appeal to international law are laughable.

When they bombed Iraqi nuclear reactor, they had nothing against a "preemptive strike".
When Russia attacked Ukraine, it was "self defense."
They ignored a number of UNSC resolutions - no problems.

Now they suddenly became the biggest proponent of international law. Go figure.

To be honest I see very little difference between US and #Iran in this respect.

The issue with AI-writing is not related to disclosure, or lack thereof. It's about values, and understanding what the social function of writing is.

That's why university policies requiring "disclosure" of AI assistance in writing are bullshit: if you used it to help you think, you shouldn't have to disclose it, and if you used it to help you write, you shouldn't ever show that writing to another human being. Ever.

> When asked if the Secretary-General thought such attacks could constitute war crimes, Dujarric said they would constitute violations of international law, and “any attack on civilian infrastructure is a violation of international law and a very clear one."

So apparently according to UNSG #Ukraine can't target Russian refineries because it may "cause excessive incidental civilian harm" 🤦

These armchair pacifists are even more dangerous to international order than trump or putin.

Writing an OS in Haskell - agniv sarkar
https://old.agniv.me/blog/haskell-os/

#Haskell #OS #FP

Writing an OS in Haskell

bare-metal Raspberry Pi Zero OS

agniv sarkar

In todays lecture on turbulent transport of cosmic rays: one of the very few "experiments" I can show to astronomers, i.e. the developing of #turbulence within this nice rotating disc, containing a rheoscopic fluid https://en.wikipedia.org/wiki/Rheoscopic_fluid

#astronomy #physics

If (or rather when) trump chickens out, it will be a triumph of democracy, even if a bitter one. C.f. #iran where elites seems to be willing to sacrifice the whole nation just for a chance of regime survival.
The Truth About Tankies

YouTube