Anyone know if there's a proof-validsted parser combinator for Rust, a la Hammer?
Uncategorized
1
Posts
1
Posters
0
Views
-
Anyone know if there's a proof-validsted parser combinator for Rust, a la Hammer? Bonus points if it can work in a no_std context.
-
undefined oblomov@sociale.network shared this topic
Gli ultimi otto messaggi ricevuti dalla Federazione
-
@c_merriweather @NormanDunbar @terminaltilt the only thing, I've read that Tuta uses Amazon for dns (I've not looked into it any further, so I don't know if it's true o it it was true but no more o whatever)
@Tutanota
-
@futurebird they saw my CW and reached out to me
-
Did You Know... we have a lot of stuff?
sometimes, we get things that are broken or un-usable. sometimes things break and are not fixable or not worth fixing.
those things go into the e-waste pile of doom, from whence they are eventually taken to the Colorado Hard to Recycle Materials Facility.
howEVER, this time around we decided to add another step in that process. we'll be doing a "Take Our Stuff, Please!" free rummage on the porch on January 31 from 2-4 PM.
everything from letterpress type to broken circuit boards to partially scavenged computer towers to textbooks from the 80s - all free, for whatever use you might have for it...
save the date! bring your own bag or box! take whatever you want!
-
@FlavioB @fulivi approvo la tua non sopportazione e rilancio:
- boomer
- perplimere
- mainstream
- ebete
- farfugliare
- asfaltare (non mi piace proprio quel doppio incontro di consonanti -sf- e -lt- nella stessa parola e l'irritazione triplica se non si riferisce ai lavori sul manto stradale)
-
Quando i genitori erano “Porci con le ali” debutta all'OffOff Theatre
> Cinquant'anni dopo il libro-cult, Silvano Spada porta in scena un omaggio che è anche una provocazione: allora serviva educazione sessuale, oggi affettiva. E c’è chi la blocca di nuovo
-
Non buttare il tuo vecchio PC: ecco perché le memorie DDR3 sono tornate di moda
https://www.smartworld.it/news/mercato-pc-ritorno-ram-ddr3-crisi-ddr5.html
> Il mercato PC torna al passato: i costi elevati delle DDR5 spingono gli utenti a cercare le vecchie RAM DDR3. Scopri perché il tuo vecchio PC è ancora attuale.
-
@Linkshaender It just works!
-
PeaceLink interviene con un proprio comunicato stampa mentre fioccano gli avvisi di garanzia. L’intera “catena di comando” è messa sotto inchiesta per la morte di questo operaio.
