diego.blogger.de

Goddess Garbage & Gewalt crowd funding
"GG&G is a short film about plastic pollution and wasted gods! A cinematic allegory of our time. What is sacred? And can it save us? Nature and man are in a war without winners. The gods that man once created seem powerless."

Das erste Programm, das ich schrieb, als ich einen Delphi-Kurs besuchte, war eines, das sich selbst öffnete, wenn man es schloß. Dann dachte ich mir, das wäre doch mal eine Aufgabe für eine KI, ein Programm, das Programme schreibt.
Es hat nicht viel damit zu tun, aber gestern bin ich auf Lean gestoßen. Es handelt sich um einen "proof assistant". In Mathe war ich immer schlecht, aber ich vermute, es soll bei mathematischen Beweisen assistieren.
Jemand hat sich das mal genauer angesehen: A Review of the Lean Theorem Prover. Interessant ist vielleicht noch, daß es von Microsoft entwickelt wird.

Torstens Weihnachtsbericht (unter Vorbehalt, weil ungefragt):
"Der 24. und 25. gingen fast so schnell rum wie die Rollende Weihnacht durch die ... Strasse gebraust ist (fast hätte man erkennen können, wen die Figuren darstellen sollen - aber nur fast). Man hätte meinen können, dass Markus einen der Wagen fährt und es schneller als die anderen schaffen will! Zumindest hat sich der Wagen mit der heiligen Familie mit dem Wagen mit den zwei heiligen Königen ein Rennen um den ersten Platz geliefert (wo ist der dritte König???)"

Gestern haben wir uns A Man Called Ove (2015) angesehen und ich finde ihn sehenswert. Deswegen will ich gar nicht so viel verraten. Die Hauptperson ist eine Art "Blockwart", der in seiner Siedlung nach dem Rechten sieht. Ein Film, der zumindest diese Ausgangssituation teilt, ist Muxmäuschenstill (2004). Auch wenn beide eine Liebesgeschichte enthalten, unterscheiden sie sich doch stark. Deswegen finde ich es interessant zu beobachten, was "die Schweden" und was "die Deutschen" aus der Ausgangssituation gemacht haben.

aus gegebenem Anlaß: Ringing of the Bells

siehe auch: 26.12.2015

Nomina Geographica Europaea
Auf den ersten Blick schwer zu verstehen, was sich dahinter verbirgt. Es handelt sich um die Zettelwirtschaft von Prof. Udolph. So wie ich es verstehe, steht auf jedem Zettel ein Orts-, Flur- oder Gewässername, zusammen mit einem Kürzel. Das führt dann zur Literatur wo der Name erwähnt wird.

lange nichts zusammenhangsloses verlinkt:

An Atlas of Minor Projects

Synthetic biology 2020–2030: six commercially-available products that are changing our world

District Heating with Seasonal Storage in Vojens Denmark

Leesen müßt Ihr selbst.

Dieses Geschäft wurde scheinbar kürzlich besprüht, was mir heute zum ersten mal aufgefallen ist. Dort steht "Do not enter", "Stop spreading Covid" und "Covid too". Kommentarlos.

Unterdessen haben wir heute den Bulgaro gesehen - und wieder nicht angesprochen. Na ja, zumindest scheint er nicht im Ausland festzusitzen. Offensichtlich ist er nur umgezogen.

Kalifornien macht wieder dicht: "All Bay Area counties are now under the state's regional stay at home order. The provisions of the order have been in effect since Monday, Dec. 7, when the city ... health officer and others reemptively implemented the restrictions. There are no changes to UC ... essential operations. Thank you."

Haltet durch!


siehe auch: #39

Ich hatte ja geschrieben, daß es in der Stadt gebrannt hat. Allerdings war es doch ein anderes Gebäude als ich dachte. Dh die Sache mit dem Holz könnt Ihr streichen.

Proper Black Forest gateau. Lecker.

Manche von Euch erinnern sich vielleicht noch an CorelDraw. Wir hatten jedenfalls Anfang der 90er viel Spaß damit. Das open-source inkscape ist so ähnlich. Was ich aber eigentlich schreiben will, ist daß man mit
"inkscape --export-pdf=name.pdf name.eps"
eps-Dateien in pdfs umwandeln kann. Nützlich.

"Mit Kanonen auf Spatzen schießen" läßt sich mit "To use a sledgehammer to crack a nut" übersetzen. Ich sage doch, zusammenhangslos.


Nachtrag (19.12.2020): eps umwandeln braucht man zB, wenn man xmgr verwendet

Kürzlich schrieb ich über bedeutende Wissenschaft. Ein Begriff, von dem ich nicht weiß, ob er es trifft, ist die Relevanz.

Ihr erinnert Euch sicherlich an die wikipedia Relevanzdebatte (heise). Hey, wenn jemand über mich einen wp-Eintrag schreiben will, dann würde ich mich geschmeichelt fühlen (aber zuerst ist Alex dran).

Spaß bei Seite. In der Wissenschaft gibt es viele Journals, die Relevanzkriterien haben, vor allem die wichtigen. Da geht es dann sehr darum, wie man seine Ergebnisse verkauft.
Außerdem denke ich, daß es in diesem Zusammenhang verschiedene Formen der Relevanz gibt. Zum einen wäre die Relevanz für die Wissenschaft selbst zu nennen, also zB eine Arbeit, die einen wichtigen Erkenntnisgewinn darstellt und somit die Disziplin und die Wissenschaft weiterbringen. Obige Journals haben aber eher gesellschaftliche Relevanz im Sinn, dh man muß plausibel machen, daß die Arbeit irgendwie für die Gesellschaft oder was auch immer wichtig ist.
Es gibt aber auch Journals die keine Relevanzkriterien haben, wo die Papers "nur" wissenschaftlich korrekt sein müssen.

Ein anderer Aspekt, den ich immer im Zusammenhang mit Grundlagenforschung nenne, ist daß man oft gar nicht weiß für was eine Erkenntnis oder eine Entdeckung gut ist. Korrigiert mich, falls ich falsch liege, aber als Beispiel kommt mit das Optische Pumpen in den Sinn. Theoretische Grundlagen gehen auf Einstein zurück. Anwendung fand der Effekt aber erst viele Jahre später beim Laser.

Ich glaube es besteht kein Zweifel daran, daß Relevanz subjektiv ist. Dabei spielt dann eine Rolle, wer etwas vorschlägt und ob die Community mitgeht.

Gute Nachricht, inzwischen habe ich den richtigen Valentin gefunden.

Schlechte Nachricht, es steht kein Vater bei dem Geburtseintrag. Dh. er war ein uneheliches Kind.

Was das bedeutet, könnt Ihr Euch ja denken.

Nachtrag: diese Seite war hilfreich

The History of Bulgarian Jewry during the Holocaust
"If 48,000 Jews lived in Bulgaria before the Holocaust and nearly all of them were alive at the end of the Second World War, how could that not be called a rescue? The answer is fascinating and complex."

Longest known exposure photograph ever captured using a beer can
"A photograph thought to be the longest exposure image ever taken has been discovered inside a beer can at the University of Hertfordshire’s Bayfordbury Observatory."

Why cities are not as bad for you as you think
"Contrary to popular belief, living in densely populated cities can offer many health benefits – even during a pandemic."

Very serious concerns after student calls out journal for fleet of Star Trek articles, other issues
"An undergraduate student in the United Kingdom has taken to task the editors of a purportedly scholarly journal for having published more than 100 papers by a Maltese researcher with a deep affinity for Star Trek."

Vor ein paar Monaten erwähnte ich, daß ich bei genealogischen Nachforschungen meinen Ur-irgendwas-Großvater ausfindig machen konnte.

Jetzt stellt sich heraus, daß ich dem falschen Valentin auf den Leim gegangen bin. Ich weiß zwar noch nicht, wie sein Vater hieß, es ist aber definitiv jemand anderes als besagter Wojciech.

Die entsprechende Urkunde habe ich über ancestry.com gefunden, wo ich durch Zufall kostenlosen Zugang habe.

Beide kommen aus Posen, allerdings liegen die Geburtsorte ca. 100km auseinander.

Weitere Informationen folgen ...