@roelgrif@mstdn.social2025-12-17 15:58:29
Ik ga vanaf nu weer wekelijks de NIVEL weekrapportage monitoren en hier samenvatten. Waarom? Omdat de griepgolf lijkt begonnen te zijn, wat eerder dan vorig jaar. Het niveau zit nog net onder de epidemische drempel dus dat betekent dat de griepgolf op zijn vroegst officieel op oudjaarsdag zou kunnen beginnen (voor de start van een golf moeten de waarden daar normaliter 2 weken achtereen boven zitten). Maar de toename is wel opvallend. H3N2?
@jamie@boothcomputing.social2025-12-18 00:57:04
Well, I had the dip switches set incorrectly and it was trying to test memory that didn't exist. Fixed that and the floppy drives seem to work as well...
I'm also impressed that the Dell System 200 DOS 3.3 Master disk (circa 1987) is still working.
#retrocomputing
#IBM5150
@cdp1337@social.bitsnbytes.dev2025-10-18 02:05:10
Well not on Bits n Bytes right now, but live on a friend's channel for the moment if folks are bored and want to tune in.
Won't be live too late, but here now and chatting about MrDev's new Proxmox install.
https://www.twitch.tv/mrdevmansir
@arXiv_csFL_bot@mastoxiv.page2026-01-16 07:37:19
Rewriting Systems on Arbitrary Monoids
Eduardo Magalh\~aes
https://arxiv.org/abs/2601.10564 https://arxiv.org/pdf/2601.10564 https://arxiv.org/html/2601.10564
arXiv:2601.10564v1 Announce Type: new
Abstract: In this paper, we introduce monoidal rewriting systems (MRS), an abstraction of string rewriting in which reductions are defined over an arbitrary ambient monoid rather than a free monoid of words. This shift is partly motivated by logic: the class of free monoids is not first-order axiomatizable, so "working in the free setting" cannot be treated internally when applying first-order methods to rewriting presentations.
To analyze these systems categorically, we define $\mathbf{NCRS_2}$ as the 2-category of Noetherian Confluent MRS. We then prove the existence of a canonical biadjunction between $\mathbf{NCRS_2}$ and $\mathbf{Mon}$.
Finally, we classify all Noetherian Confluent MRS that present a given fixed monoid. For this, we introduce Generalized Elementary Tietze Transformations (GETTs) and prove that any two presentations of a monoid are connected by a (possibly infinite) sequence of these transformations, yielding a complete characterization of generating systems up to GETT-equivalence.
toXiv_bot_toot
@Techmeme@techhub.social2025-12-14 04:56:04
The US CFTC withdraws its 2020 guidance on the "actual delivery" of a digital asset, aiming to support broader access to regulated crypto markets (Micah Zimmerman/Bitcoin Magazine)
https://bitcoinmagazine.com/markets/cftc-scraps-overly-complex-crypto-rul…
@cdarwin@c.im2025-12-15 04:40:42
The UK Treasury is drafting new rules
to regulate cryptocurrencies
under legislation set to come into force in 2027, The Guardian reported Sunday.
The move would place digital asset firms under the supervision of the Financial Conduct Authority (FCA),
subjecting them to the same standards as other traditional financial products such as stocks and shares.
Regulators are seeking to address gaps in consumer protection as the market has expanded rapidly,
especia…
@digitalnaiv@mastodon.social2026-01-14 12:30:22
Bitkom-Studie: 62 % deutscher Unternehmen schicken personenbezogene Daten in Drittstaaten, vor allem in die USA. Ohne internationale Transfers drohten höhere Kosten, Wettbewerbs- & Lieferketten-Probleme – das sehen nicht nur Lobbyisten so. Politik soll mehr Rechtssicherheit schaffen, so #Bitkom 📊🔐 Aha. Klar, der Ruf nach der Politik. Sollte Politik nicht eher europäische Alternativen unterst…
@BootsChantilly@mstdn.social2025-11-15 23:57:14
I despise FedEx. That is all.
@cdp1337@social.bitsnbytes.dev2025-11-18 01:45:43
Reminder, Ohio Linux Fest / Open Libre Free Conference is in about two weeks - Saturday December 6th!
Grab your tickets today and come join the party!
https://go.rallyup.com/olf2025/Campaign/Details
No guarantee a stray cow won't wander in, but we'll do our bes…