Shwmae pawb. I'm looking for a new digital home. My interests? Many, but this profile will be limited mostly to #music (#gwerin), volunteering (#wast, #sjac, first aid) and local things in Wales (stwff bro). I might toot. I don't know yet. But it might be in English or Gymraeg. Sa i'n gwybod 'to.

#croeso

Auch wenn Weihnachten noch nicht überstanden ist, beginnt schon die Planung für Pride 2023 - Von der Gemeinde Wien gibt es Förderungen für Veranstaltungen https://www.ots.at/presseaussendung/OTS_20221220_OTS0035/regenbogenmonat-juni-stadt-wien-foerdert-vielfalt-und-innovation #lgbtiq, #wien # pride2023 #wast

The #WASt and the War Graves Commission are well connected, so if the War Graves Commission finds someone, a report goes to the WASt and is included in the files of the respective person with all the associated information, for example the number of the gravestone. Did the father or grandfather die in the war or is he considered missing since then? Perhaps his name can be found in the registers of the War Graves Commission.

https://www.bundesarchiv.de/DE/Content/Artikel/Ueber-uns/Aus-unserer-Arbeit/z-kartei-pa.html

@ahnenforschung
@genealogy@a.gup.pe

#WASt und #Volksbund sind gut vernetzt, wenn also der Volksbund jemanden findet, dann geht eine Meldung an die WASt und wird in die Akten der jeweiligen Person aufgenommen mit allen zugehörigen Angaben, zum Beispiel der Nummer der Grabsteins. Ist der Vater oder Großvater im #Krieg gefallen oder gilt er seitdem als #vermisst? Vielleicht findet sich sein Name in den Registern der Deutschen #Kriegsgräberfürsorge.

https://www.bundesarchiv.de/DE/Content/Artikel/Ueber-uns/Aus-unserer-Arbeit/z-kartei-pa.html

@ahnenforschung
@genealogy@a.gup.pe

There is also a separate department in the Federal Archives, which until 2019 was the #Wehrmacht Information Center (#WASt). It registers all members of the Wehrmacht, especially soldiers killed, wounded and missing in action during World War II. It also lists all soldiers who were prisoners of war and/or whose relatives put out a search for them after the war. In total, the database comprises 20 million index cards.

@ahnenforschung
@genealogy@a.gup.pe

Im #Bundesarchiv findet sich auch eine eigene Abteilung, die bis 2019 die #Wehrmachtsauskunftsstelle (#WASt) war. Sie registriert alle #Wehrmachtsangehörige, vor allem im Zweiten #Weltkrieg getötete, verwundete und verschollene #Soldaten. Außerdem sind hier alle in #Kriegsgefangenschaft und / oder nach dem Krieg von Angehörigen zur Suche ausgeschriebenen Soldaten verzeichnet. Insgesamt umfasst der Datenbestand 20 Millionen Karteikarten.

@ahnenforschung
@genealogy@a.gup.pe

So uhh...

Today's #projects is the first known to me #webassembly runtime in #lean4 complete for a tiny subset of #wasm.

I'm going to keep going deep before refactoring and supporting the entire bredth of the standard.

When people tell you that #wasm is a simple VM they don't lie. The problem is that it's still a pretty big VM with a lot of features. Implementing it is approximately as easy or as hard as implementing a C99 compiler.

I mean, it's sort of easier, but maybe twice as easy. Not by an order of magnitude.

That's why I strongly suggest the following path for implementers:

1. Read the whole spec and try to understand it. Read some blog posts, play with wasmer like it's shown in some example repositories[1].
2. Implement a #wast parser into Exprs. Ignore #wat.
3. Implement a thing that instantiates and runs Exprs.

After you experimented with your runtime enough, you'll be able to easily extend it with binary capabilities. I made a mistake of supporting emitting binary format before writing the runtime and while it was a nice, fun and necessary experience that allowed me to learn way more about wasm binary encoding, it didn't inform the architecture for the runtime and by the time I started runtime, deadlines were tighter than I'd like them to be, so my architecture is garbage.

But runtime architecture is the most important architectural decision you'll be making while implementing #wasm runtime, so don't repeat my mistakes and work on it first.

After you're happy with all the important bits, write binary serealisation / desearialisation with an assistance of hexdumps of the files you made in (1).

[1]: https://github.com/cognivore/wasm-sandbox