2024-09-02T01:38:51Z https://yabu.me Volker Stolz https://yabu.me/npub1ekfxfe870vw8fhdycalmru24k60z7hvs8n9kvzdwnuxhdt46cvesjfnu8g https://files.mastodon.social/accounts/avatars/109/251/590/005/619/829/original/810a05d7daee6290.png https://files.mastodon.social/accounts/avatars/109/251/590/005/619/829/original/810a05d7daee6290.png https://yabu.me/nevent1qqsxh5dztr8ca8hngskdn0svjudahvx3zg0qs3lzq2z207ygeue9h6qzyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnxxfc5wp In reply to <a href='/nevent1qqsr9juw2zt3kht4w2h8uqu3w30076zftmsv4692nzesn9gvywhxm3cvxke6z'>nevent1q…ke6z</a><br/>_________________________<br/><br/>I’m sure there’s some OpenClaw that’ll solve that for you… 2026-05-06T08:14:42Z https://yabu.me/nevent1qqsxnwpvs4sh8r266zkzjwq3srtdmthgwj6wtscuma6dyz46cy0ccgszyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnxndppdg In Shonan 2023, with a handful of usual suspects (Shaukat Ali, Domenico Bianculli, Antonio Cicchetti, Robbert Jongeling &amp; Catia Trubiani), we brain-stormed a bit on uncertainty &amp; RV in the context of DevOps. The resulting book chapter/book is now available!<br/><br/>Blog-post: <a href="https://selabhvl.github.io/update/2026/03/15/DevOps-CPS-Shonan.html">https://selabhvl.github.io/update/2026/03/15/DevOps-CPS-Shonan.html</a><br/><br/>#DevOps #RuntimeVerification #Shonan<br/> <img src="https://files.mastodon.social/media_attachments/files/116/233/016/518/896/361/original/d44ec5cf1549bcc2.jpeg"> <br/> <img src="https://files.mastodon.social/media_attachments/files/116/233/017/062/020/530/original/f7bc02931694d41a.jpeg"> <br/> 2026-03-15T11:49:41Z https://yabu.me/nevent1qqsfk5h6aqhrgxranc6hcyph09qfrcu8ljgxastjv6ya7g68qkhxlggzyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnxckkyv2 This sounds like a really interesting PhD course at Chalmers: “Functional Programming and Climate Impact Research”, by Patrik Jansson:<br/><br/><a href="https://github.com/DSLsofMath/FPClimate">https://github.com/DSLsofMath/FPClimate</a><br/><br/>After completion of the course the student should be able to:<br/>Use functional programming specification / implementation / formalisation as a way of understanding new domains<br/>Understand a selection of topics in Climate Impact Research<br/>Effectively use Haskell and Agda for formalisation<br/><br/>#Chalmers #FunctionalProgramming 2026-03-15T10:08:44Z https://yabu.me/nevent1qqs2zpksm7tsptctt5ytu59l6hxpvhlpnmqutz65jehvewrtlzhw7lgzyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnx9syd8e RE: <a href="https://mastodon.bergen.social/@Kollisjon/116046777464175947">https://mastodon.bergen.social/@Kollisjon/116046777464175947</a><br/><br/>Norwegian consumer protection council perspective on enshittification, with <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1fdrpydz4n2dpgpy5xhsa6rjg8ytggn82mt0addw6sf93272nhhnqsjlvhs" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Cory Doctorow</span> (<span class="italic">npub1fdr…lvhs</span>)</a></span>, 27. Feb, “Kulturhuset”, so I assume in Oslo ;-) There seems to be an option to register and watch the stream as well!<br/><br/>#forbrukerradet <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1eq5vumys30zjh4f6xe9f659xm8cp33easdla57vrrsk8eyx49mfqjt2a8j" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Finn Lützow-Holm Myrstad</span> (<span class="italic">npub1eq5…2a8j</span>)</a></span><blockquote class="border-l-05rem border-l-strongpink border-solid"><div class="-ml-4 bg-gradient-to-r from-gray-100 dark:from-zinc-800 to-transparent mr-0 mt-0 mb-4 pl-4 pr-2 py-2">quoting <br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Article"><a itemprop="url" href="/note1tyu3tz7t92sy9w6gc3ffjla2tuph4rvu7zxaneh7psxdy5q826jsjyce8m" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1">note1tyu…ce8m</a></span><br/> </div> FORBRUKERRÅDET: DIGITAL<br/><br/>Seminar og lansering av rapport om «enshittification»<br/><br/>Forbrukerrådet inviterer til lansering av ny rapport om utviklingen kalt «enshittification», og hvordan digital forvitring utfordrer både forbruker og samfunn. <br/><br/><a href="https://www.forbrukerradet.no/siste-nytt/digital/seminar-og-lansering-av-rapport-om-enshittification/">https://www.forbrukerradet.no/siste-nytt/digital/seminar-og-lansering-av-rapport-om-enshittification/</a><br/><br/>#forbrukerrådet #fbrb </blockquote> 2026-02-11T19:01:01Z https://yabu.me/nevent1qqsqvfh2z6z956nffexsxf0dvukt2d43pn34rfxldhuudc25ujcsm7gzyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnxudx47v In reply to <a href='/nevent1qqswxedzw9vggghtw4r4m46qu4whm93qm0emr3sn8dmfqt3rs6g748cnx23jc'>nevent1q…23jc</a><br/>_________________________<br/><br/>Wo würde einen GeoIP denn dann einordnen (vor allem, wenn das NICHT ein Hotel in den USA ist). Gäste, die sich über Probleme mit Netflix beschweren weil man ja auch nicht… 2025-11-02T08:44:57Z https://yabu.me/nevent1qqsd44a86fgg0848hjz7l5qxe87ct966uwmgdamua5kkd06ug90px4qzyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnxz59ex6 In reply to <a href='/nevent1qqs92hpwch004s55p3ecykax0aw5vn2757pgm5grw3yysf8vekgzx5g9ghq8s'>nevent1q…hq8s</a><br/>_________________________<br/><br/>&#34;Ifølge berekningane deira vil det koste staten 6,6 milliardar kroner i året å sponse ein fastpris til norske straumkundar – og det i eit «godt år» med fylte vassmagasin.&#34;<br/><br/>🤡 💰 &#34;En milliard her, en milliard der, shit Atle, dette blir rask masse penger!¡!&#34;<br/><br/><a href="https://www.nrk.no/vestland/kostnad-av-noregspris_-regjeringa-kan-ha-bomma-med-opptil-3-milliardar-1.17254396">https://www.nrk.no/vestland/kostnad-av-noregspris_-regjeringa-kan-ha-bomma-med-opptil-3-milliardar-1.17254396</a><br/><br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1uh4esm0mkz3n89f23trgsn2804gn72uan86mw3qk3akd0aueu5lqdh808d" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Jørn</span> (<span class="italic">npub1uh4…808d</span>)</a></span> <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1r7th8w6nhcf539353cw8k9gk9fn6v4yz56usv8223sty7h5vgztsautegu" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Børge</span> (<span class="italic">npub1r7t…tegu</span>)</a></span> 2025-02-07T17:53:35Z https://yabu.me/nevent1qqsgf9nl8g9rnp9vjdmx46g84wcl34zdgq3jrshswl20vh8k5jw7p3czyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnxuf7wa3 In reply to <a href='/nevent1qqs980vpcn8rss260jhandunejz00l9agpuq8dhpnk0ehzlz072fx6crxtwqg'>nevent1q…twqg</a><br/>_________________________<br/><br/>3.8 ... jøss...hvor mye koster nåværende stromstøtte egentlig? 2025-01-31T20:41:49Z https://yabu.me/nevent1qqsy2r6acw3g2qzqzffp46p9s5xxevn55juncw4uv5wd4rj69sm8lhszyrxeye8ylea3caxa5nrhlv032kmfut6ajq7vkesf460s6a4whtpnxrupems In reply to <a href='/nevent1qqs9xxe8kj9fsjq88sdfezw677su44m806s9mtlux4386texs0fwu5cwy0vv7'>nevent1q…0vv7</a><br/>_________________________<br/><br/>No winners are commemorated here. 2024-10-30T21:02:51Z