I ported @mattmight’s CPS conversion code (https://matt.might.net/articles/cps-conversion/) into #Haskell and after some fighting with the type system, it worked! To make the interpreters work with the Cont monad, I had to remove recursive lets and hence, functions being able to call themselves recursively, but rest works.
The attached images show the conversion of the Fibonacci function into CPS version.
#Graffiti on UN Vehicles in Kyiv Reflects #Ukraine Feelings Over its Position on Dam Destruction
Graffiti appeared on UN vehicles parked in Kyiv that obliterates the “N” to convert the organisation’s logo into the word "Useless" in protest against its stance on the Kakhovka dam destruction.
On Wednesday, June 7, Yosyp Husak from Kyiv affixed placards that converted the #UN logo to read "Useless" on cars belonging to the United Nations
Read more here🔗 https://www.kyivpost.com/post/17995
The Swiss Council of States adopted an amendment to the Law on the Re-export of Military Goods, which should allow third countries to supply of Swiss weapons to Ukraine https://mil.in.ua/en/news/the-swiss-council-of-states-approved-the-re-export-of-weapons-to-ukraine/ #Ukraine #UkraineRussiaWar #Swiss
https://twitter.com/militarnyi_en/status/1666443435484536837
Reposted from Twitter by @nafobot
I forgot when I was taking this pic that water acted to diffract / concentrate light to form a little lens. There's a cute little world inside each raindrop!
I’ve been doing a little stock take of my #CrossBorderRail work…
In the past 12 months I have investigated:
131 cross border railways in Europe
Travelled 62716km on 425 trains
Cycled 1662km in 62 different places
Travelled 2191km on 20 buses
And there's more to come!
Project website: https://crossborderrail.trainsforeurope.eu/
The entrance to the royal palace has collapsed. The characters have to find some other way in.
Blowing up dams is a crime under Rule 7 of the Geneva Conventions — said no BBC journalist to any of the Russian spox allowed a publicly funded platform for their lies and propaganda today
In this Causal Islands🏝️ talk, Idris 2 creator Edwin Brady gives an introduction to his functional programming language built on Quantitative Type Theory. https://m.youtube.com/watch?v=0uA-tKR6Ah4&feature=youtu.be #functionalprogramming
QT https://circumstances.run/@davidgerard/110497331719539118
s/AI systems/people
s/AI/human
300 animals died today in the Nova Kakhovka zoo due to russia’s destruction of the Kakhovka HPP dam. This is ecocide. The russians want to destroy anything that is alive.
https://twitter.com/DefenceU/status/1666186127500275714
Reposted from Twitter by @nafobot
We are coordinating with the Member States to deliver rapidly:
→ dirt water pumps
→ fire hoses
→ mobile water purification stations
→ boats
We stand by Ukraine as long as it takes.
🐦🔗: https://n.respublicae.eu/vonderleyen/status/1666121604785487874
Russia will have to pay for the war crimes committed in Ukraine.
The destruction of the dam, an outrageous attack on civilian infrastructure, puts at risk thousands of people in the Kherson region.
Europe is mobilising support through our civil protection mechanism.
🐦🔗: https://n.respublicae.eu/vonderleyen/status/1666115669149077504
@matthewcroughan can you share the code for your visual software testing tool with Hercules? Would you be interested in a small contract with doing this Unity thing?
@jonn Dropped the bits in the comments in the link at
https://www.flutterby.com/archives/comments/30602.html
Of course friend, who's kinda conspiracy-theory/right-wing-media adjacent already, is using this as a "well, the CIA popularized the term to discredit activists" talking point now, even when presented with historical facts...
@jonn also, earlier from Bard, screenshot:
https://www.flutterby.com/archives/comments/30578.html
and related to my digging deeper on that, the problem with using Google front page generally for sourcing:
https://www.flutterby.com/archives/comments/30579.html
Indy: making "Pearl Harbour minute by minute" was a mistake… Too hard.
Also Indy: makes DDay Hour by Hour.
I love this man and the whole #TimeGhost crew.
That https://doma.dev guy
#lean #elixir #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.