Ruth Malan
We're discussing "Programming as Theory Building," by Peter Naur, (on zoom) today!!

Join us? 1-2pm Eastern Time (followed by "hallway chat).

Discussion will be led by @yvonnezlam

Paper: https://pages.cs.wisc.edu/~remzi/Naur.pdf

Sign up (for access): https://ti.to/bredemeyer/naurtheorybuildingaug2024

#PapersInSystems

Papers in Systems: Programming as Theory Building

Programming as Theory Building Our Papers in Systems discussion series will continue with discussion of “Programming as Theory Building” by Peter Naur The discussion will be led by Yvonne Lam.
Tito
@yvonnezlam
Dieser Beitrag wurde bearbeitet. (2 Monate her)
3 Kommentare - Zeige mehr
Ruth Malan
Connecting dots:

“It’s developer’s (mis)understanding [..] that gets released in production”

— Alberto Brandolini

Source (2017): https://x.com/dechampsgu/status/857924498280124416
From Alberto’s slide: IT'S DEVELOPER'S (MIS)UNDERSTANDING, NOT EXPERT KNOWLEDGE THAT GETS RELEASED IN PRODUCTION
Ruth Malan
“Hypothesis: people think code is a better boundary object than it often is” — @yvonnezlam

Source: https://x.com/yvonnezlam/status/1350959871919845376
From Yvonne Lam @yvonnezlam on twitter: Hypothesis: people think code is a better boundary object than it often is. Quotetweet: Michael Feathers on Jan 16, 2021 Code is perceived to have too much value. In reality, the active knowledge of a cohesive team is the value.
@yvonnezlam
Eberhard Wolff hat dies geteilt
Stadt Heidelberg
In der Ringstraße muss ab Montag, 19. August 2024, auf Höhe der Hausnummern 12 bis 14 eine Fahrspur stadtauswärts gesperrt werden. Der Grund dafür ist die Sanierung eines Fernwärmeschachts durch die Stadtwerke Heidelberg. Die Sperrung der Fahrspur dauert voraussichtlich bis Sonntag, 8. September 2024. https://www.heidelberg.de/HD/Presse/12_08_2024+ringstrasse_+halbseitige+sperrung+der+fahrspur+stadtauswaerts+ab+19_+august+in+einem+abschnitt.html
Stadt Heidelberg
Wie können tragbare Technologien die Herzgesundheit unterstützen? Wie verhindert ein smarter Gürtel Bauchwandbrüche? Fragen wie diese werden in dieser Woche im Pop-up Living Lab für Tragbare Technologien der Stadt Heidelberg geklärt. In der Kurfürsten-Anlage 3 ist das Lab mittwochs bis freitags von 14 bis 18 Uhr geöffnet sowie je nach Programm. Der https://www.heidelberg.de/HD/Presse/12_08_2024+wearables+fuer+ein+gesundes+herz+forschungsprojekt+und+selbsthilfegruppe+zu+gast+im+pop-up+lab.html
LabourNet Germany
#Serbien: 14 Festnahmen bei erneuten Protesten in Belgrad gegen das Lithium-Bergwerk, samt Besetzung von Schienen und Autobahn, Ausweitung der Blockaden angekündigt https://www.labournet.de/?p=222144

Trotz Protesten: EU und Serbien schmieden Lithium-Pakt » LabourNet Germany

Dossier "... Die Europäische Union und Serbien wollen gemeinsam eines der größten Lithium-Vorkommen Europas im Wert von mehreren Milliarden Euro für die Herstellung von Batterien, vor allem für Elektroautos, abbauen. (...
Mag (LabourNet Germany)
#Serbien
calou

N. E. Felibata 👽 hat dies geteilt
N. E. Felibata 👽

calou

2024-08-02 07:13:00




calou

N. E. Felibata 👽 hat dies geteilt
calou

N. E. Felibata 👽 hat dies geteilt
Scharfrichter (Peter Walther)
Es kommet und frommet die Weißheit
vor Jahren/
Wann Tugend und Jugend einander ſich
paaren.
Hergegen dann regen ſich widrige Sa=
chen/
Kan Tugend und Jugend kein’ Einigkeit
machen.

Eberhard Werner Happel (12. August 1647 - 15. Mai 1690) Der Academiſche ROMAN, Ulm 1690
Titelseite Der Academiſche ROMAN, Worinnen Das Studenten-Leben fuͤrgebildet wird; Zuſamt allem/ Was auf den Univerſitaͤten paſſi- ret/ wie dieſe beſtellet werden/ wie die Profeſſiones und Facultaͤten eingetheilet ſind/ was deß Rectoris Magnifici, Decani, Profeſſoren/ Stu- denten/ Pedellen/ &c. Amt und Privilegia, wie und welcherley Gradus man conferiret/ wie viel Univerſitaͤ- ten/ hohe und andere beruͤhmte Schulen und Collegia jetzo in gantz Europa; Wann der Pennaliſmus abge- ſchaffet; Was fuͤr Exceſſen die Studenten offt begehen/ was die Bachanten fuͤr Leute/ und was man von dem Academiſchen Leben zu wiſſen verlangen mag. Das Gute zur Lehre/ das Boͤſe aber zur Warnung der Ehr-liebenden Jugend/ in einer ſchoͤnen Liebes-Geſchichte fuͤrgeſtellet von Everhardo Gvernero Happelio.
Protestation (Deutsch)
Großbrand nahe Athen https://www.zlv.lu/db/1/1464484782200/0
calou

les déjeuners couteux !

Les repas (discrets) et très coûteux de Laurent Wauquiez révélés et épinglés | Actu Lyon

La chambre régionale des Comptes épingle le coût des déjeuners et dîners de Laurent Wauquiez payés par la Région Auvergne-Rhône-Alpes révèle Le Dauphiné Libéré vendredi 2 août.
Nicolas Zaugra (actu.fr)
N. E. Felibata 👽 hat dies geteilt
N. E. Felibata 👽

calou

2024-08-03 09:30:01



les déjeuners couteux !

Les repas (discrets) et très coûteux de Laurent Wauquiez révélés et épinglés | Actu Lyon

La chambre régionale des Comptes épingle le coût des déjeuners et dîners de Laurent Wauquiez payés par la Région Auvergne-Rhône-Alpes révèle Le Dauphiné Libéré vendredi 2 août.
Nicolas Zaugra (actu.fr)
calou

#caturday
#Caturday
N. E. Felibata 👽 hat dies geteilt
N. E. Felibata 👽

calou

2024-08-05 07:58:17



média toi même

Semaine Internationale de Solidarité avec les Prisonnièr·es Anarchistes 2024 // 23 au 30 août » Indymedia Nantes

calou

média toi même

Semaine Internationale de Solidarité avec les Prisonnièr·es Anarchistes 2024 // 23 au 30 août » Indymedia Nantes

N. E. Felibata 👽 hat dies geteilt
mrd_ill_be_back

Deutsche Welle (inoffiziell)

2024-08-12 12:48:47


KI trifft auf deutsche Kolonialgeschichte


Das deutsche Bundesarchiv bewahrt zahlreiche bedeutende handschriftliche Dokumente aus der Kolonialzeit auf, die nur schwer zu entziffern sind. Ein KI-Tool kann den Forschern dabei helfen.
KI trifft auf deutsche Kolonialgeschichte

calou

#cateveryday
#cateveryday
2 Personen haben dies geteilt
Stadt Heidelberg
Blick ins Jahr 2035: Was hat sich bis dahin in der Stadt verändert? Was muss es im Stadtteil unbedingt geben, damit alle Menschen dort gut wohnen und leben können? Auf diese und weitere Fragen zur Stadtentwicklung konnten Interessierte bis zum 25. Juli 2024 Antworten einbringen – und machten von dieser Möglichkeit reichhaltig Gebrauch: Mehr als 3.400 Beiträge kamen im Online-Portal zum https://www.heidelberg.de/HD/Presse/12_08_2024+stek+2035_+reges+interesse+an+der+online-beteiligung.html
calou

N. E. Felibata 👽 hat dies geteilt
calou

le Sabot

"Le Sabot est un lieu qui compte bien s'inscrire durablement dans la réalité sociale et politique du quartier, de la ville et de la région !
Pour financer notre projet, nous comptons sur toutes les bonnes volontés partageant nos valeurs. Plusieurs évènements seront organisés afin de récolter des fonds. En parallèle nous avons lancé une souscription, et si vous souhaitez n'hésitez pas à y participer, plus d'informations au Sabot. Même les plus petites sommes sont utiles !
Parce que nous refusons de céder à l'ambiance délétère que nous impose le capitalisme nous nous lançons dans un projet enthousiaste, pour ainsi entrevoir le monde futur !"

Un local libertaire à Metz : Le Sabot !

Le mouvement libertaire organisé s'articule à Metz principalement autour de la CNT Moselle, du Groupe de Metz de la Fédération Anarchiste et de l'Anarchorale. Depuis plusieurs années nous cherchons un local et maintenant...
manif-est.info
N. E. Felibata 👽 hat dies geteilt
N. E. Felibata 👽

calou

2024-08-07 18:30:02



le Sabot

"Le Sabot est un lieu qui compte bien s'inscrire durablement dans la réalité sociale et politique du quartier, de la ville et de la région !
Pour financer notre projet, nous comptons sur toutes les bonnes volontés partageant nos valeurs. Plusieurs évènements seront organisés afin de récolter des fonds. En parallèle nous avons lancé une souscription, et si vous souhaitez n'hésitez pas à y participer, plus d'informations au Sabot. Même les plus petites sommes sont utiles !
Parce que nous refusons de céder à l'ambiance délétère que nous impose le capitalisme nous nous lançons dans un projet enthousiaste, pour ainsi entrevoir le monde futur !"

Un local libertaire à Metz : Le Sabot !

Le mouvement libertaire organisé s'articule à Metz principalement autour de la CNT Moselle, du Groupe de Metz de la Fédération Anarchiste et de l'Anarchorale. Depuis plusieurs années nous cherchons un local et maintenant...
manif-est.info
Protestation (Deutsch)
Friedrich Engels - Zur Urgeschichte der Deutschen http://www.mlwerke.de/me/me19/me19_425.htm
Spektrum (inoffiziell)
Im Jahr 2023 sind in Europa etwa 47 000 Menschen an Hitze gestorben. Ohne Maßnahmen der Klimaanpassung wären es noch viel mehr gewesen.#Klima #Klimawandel #Hitze #Erwärmung #Hitzetote #Klimaanpassung #Medizin

Mehr als 47 000 Hitzetote 2023 in Europa

Spektrum.de
#Medizin #Klimawandel #Klima #Hitze #Erwärmung #Klimaanpassung #hitzetote
calou


#robertoferri

https://www.robertoferri.net/
#robertoferri
N. E. Felibata 👽 hat dies geteilt
Trauergas
Okay der Busfahrer ist nun sauer auf mich weil er offenbar nicht verstanden hat wo ich raus will und nun Gaisbergstraße an der Rampe stand.
Jägerhaus klingt auch nicht so ähnlich eigentlich.
Er ist kopfschüttelnd wieder eingestiegen.
Das ist die random Erinnerung: braucht es zwingend einen Dritten ist es nicht barrierefrei.
Denn dieser Dritte kann die zusätzliche Barriere sein. #Barrierefreiheit #Rollstuhl #ÖPNV
#öpnv #Rollstuhl #Barrierefreiheit
Aurin Azadî
Offiziell muß der ÖPNV in Deutschland seit 1. Januar 2022 (!) barrierefrei sein, § 8 Abs. 3 PBefG: https://www.gesetze-im-internet.de/pbefg/__8.html

Für Düsseldorf habe ich dieser Tage erfahren, daß sie eine Verlängerung bekommen haben. Ich vermute, daß diese auch von anderen Städten beantragt und erreicht wurde. Es genügt offenbar, Pläne zu haben, die irgendwann vielleicht eventuell mal umgesetzt werden, oder auch nicht.

Warum da nichts passiert? Weil es nicht sanktioniert wird, nichts zu tun. Geht ja schließlich nur um so'n paar Behindis und kostet Geld.
Trauergas
"barrierefrei" im Abled Sinn sind die Busse mit den Rampen und dafür nötigem Fahrer/Fahrgast ja glaub ich.
Echte Barrierefreiheit wäre halt anders.
calou

http://www.atelierdecreationlibertaire.com/Claire-l-enragee,1061.html

"Ce mardi 6 août 2024, nous venons d’apprendre la mort de notre amie Claire Auzias. Le cancer ne lui aura laissé aucune chance.
En 2006, dans la collection « l’Anarchisme en personne », nous avions publié un long et très personnel entretien avec Claire, qui nous avait remué : «Claire l’enragée».
C’est ce livre que nous aimerions partager avec vous et que nous mettons en libre téléchargement. Vous connaîtrez, nous l’espérons, un peu mieux qui était cette personne si particulière et attachante.
En attendant la sortie, fin septembre, d’un livre que nous étions en train de publier avec elle."
N. E. Felibata 👽 hat dies geteilt
calou

#caturday
#Caturday
N. E. Felibata 👽 hat dies geteilt
erich christoph

https://www.facebook.com/share/p/bcBCnQrbGfuveJbi/
Trauergas
Der Bus ist angenehm klimatisiert.
Trauergas
für Tiefkühl war es zu warm außen.
War wirklich angenehm temperiert.
utzer [Pleroma]
da gibt es wahrscheinlich eine Automatik die auch darauf ausgelegt ist, dass immer mal wieder Türen auf sind, aber die schalten wahrscheinlich auf manuell und lassen es dann so.

Meine Vermutung ist, dass die Automatik das schon recht gut hin bekommen sollte.
Protestation (Deutsch)
Society-Löwe Richard Lugner gestorben https://www.zlv.lu/db/1/1408986240462/0
N. E. Felibata 👽

𝕕𝕚𝕒𝕟𝕖𝕒 🏳️‍⚧️🦋

2024-08-12 08:44:54



#Palestine

#Palestine
N. E. Felibata 👽

𝕕𝕚𝕒𝕟𝕖𝕒 🏳️‍⚧️🦋

2024-08-12 08:25:40



#caturday ,#caturdayeveryday

#Caturday #caturdayeveryday
Prof. Stefan Rahmstorf
Und bei Amazon sind wir sogar #1 bei den meistverkauften populärwissenschaftlichen Bücher!
Das ist aber auch wirklich gut gelungen und zeigt positiv auf, wie wir rasch die #Klimakrise überwinden und das fossile Verbrennungszeitalter hinter uns lassen können.

N. E. Felibata 👽

taz (inoffiziell)

2024-08-12 14:19:59


Artenvielfalt in Brasilien: Rios letzte Raubtiere


Seit Millionen Jahren leben Kaimane in der Gegend um Rio de Janeiro. Doch ihre Lagunen werden bebaut. Unterwegs mit einem, der sie retten will.#Reptilien #Brasilien #RiodeJaneiro #LuizInácioLuladaSilva #Artenschutz #ReportageundRecherche #Gesellschaft #Schwerpunkt
Artenvielfalt in Brasilien: Rios letzte Raubtiere

#Brasilien #Artenschutz #Gesellschaft #Schwerpunkt #Reptilien #RioDeJaneiro #LuizInacioLuladaSilva #ReportageundRecherche
Protestation (Deutsch)
Flugblatt_bernd_2 http://ciml.250x.com/sections/german_section/ddrsektion/stasi/flugblatt_bernd_2.html
Protestation (Deutsch)
Katastrophale Dürre auf Sizilien https://www.zlv.lu/db/1/1426895988398/0
Ami Angelwings
what the f

#Apple #Patreon
Email from Patreon that reads: Hey, ‌ Apple is requiring that Patreon use their in-app purchasing system and remove all other billing systems from the Patreon iOS app by November 2024. This means that starting in November, new memberships purchased in the iOS app will be subject to Apple's 30% App Store fee. ‌ You're currently on a first-of-the-month billing model, but Apple's in-app purchase system only supports subscription billing. Apple has made clear that if creators on Patreon continue to use unsupported billing models or disable transactions in the iOS app, we will be at risk of having the entire app removed from their App Store.   ‌ So, starting in November, your fans in the iOS app won't be able to purchase subscriptions to your membership until you switch to subscription billing. And, as a result of Apple's mandates and in order to make sure that you can continue getting new members in the iOS app, we've started a 16-month-long migration process to bring all creators onto subscription billing by November 2025. This means that your current billing model will be discontinued in November 2025.   ‌
We want to give you all of the tools and information you need to navigate this change in the least disruptive way possible.  To help you keep growing across all platforms, we're going to automatically switch you over to subscription billing in November 2024. Once you're on subscription billing, you can control how Apple's fee is applied. You can either maintain your earnings by setting a higher price for new memberships purchased in the iOS app (default) or absorb the App Store fee yourself. Remember: the Apple fee only applies to new memberships purchased in the iOS app. You can delay the migration to subscription billing by choosing to in your settings. The deadline to delay the migration to subscription billing is November 1, 2024.  If you delay, you'll be able to stay on your current billing model until November 2025, but Apple's mandate still applies. Come November 2024, your fans won't be able to purchase memberships in the iOS app until you switch to subscription billing. 
We want to do absolutely everything we can to make sure that these changes are as smooth as possible for you, your fans, and your business. We didn't choose this path, but we're focusing our resources on making subscription billing an even better experience for creators and fans. This will take time and we're committed to making it happen for every creator. In the coming months, expect to hear more from us as we bring together communities of creators on first-of-the-month billing to talk about migration tips, keep you up-to-date with reminders and notifications, and share more resources to support you through the billing model change. We'll be in touch soon.  
#Apple #patreon
Mark Lansbury

Authorities to open underground schools in Zaporizhzhia Oblast by late October


Local authorities plan to open some of the six #underground #schools being built in the southeastern city of#Zaporizhzhia and the surrounding region by late October, Zaporizhzhia Oblast Governor Ivan Fedorov said on Aug. 11.

Kharkiv was the first Ukrainian city where the concept of underground schools was introduced to ensure offline education despite regular Russian attacks. The first school was established in #Kharkiv's #metro.

https://kyivindependent.com/local-authorities-plan-to-open-some-underground-schools-in-zaporizhzhia-oblast-by-late-october/

#UkrainianChildren #StopRussianAggression #WarCrimes

Authorities to open underground schools in Zaporizhzhia Oblast by late October

Kharkiv was the first Ukrainian city where the concept of underground schools was introduced to ensure offline education despite regular Russian attacks. The first school was established in Kharkiv's metro.
The Kyiv Independent news desk (The Kyiv Independent)
#schools #Underground #metro #warcrimes #StopRussianAggression #UkrainianChildren #Kharkiv
𝕕𝕚𝕒𝕟𝕖𝕒 🏳️‍⚧️🦋

#gif
#gif
N. E. Felibata 👽 hat dies geteilt
Dave Higgins [Main Account]
Don't worry small human, alpaca that up for you.
Mark Lansbury

Zelensky promises 'fair response' to Russian regions that attack Ukraine


Russian forces launched over 50 #drones and four #missiles at Ukraine overnight on Aug. 10-11. One missile strike in Kyiv Oblast killed a father and his four-year-old son.

"Russians launched them from #Voronezh Oblast," Zelensky said, referring to the ballistic missiles.

"We are recording all the places from which the Russian army strikes, including #Belgorod Oblast, #Kursk Oblast, and other areas. ... We record every #MissileStrike. And each of these strikes deserves a fair response."

https://kyivindependent.com/zelensky-promises-fair-response-to-russian-regions-that-attack-ukraine/

#StopRussianAggression #WarCrimes #Ukraine

Zelensky promises 'fair response' to Russian regions that attack Ukraine

"We are recording all the places from which the Russian army strikes, including Belgorod Oblast, Kursk Oblast, and other areas. ... And each of these strikes deserves a fair response."
Abbey Fenbert (The Kyiv Independent)
#Ukraine #Drones #warcrimes #missiles #kursk #StopRussianAggression #Belgorod #Voronezh #MissileStrike
neuer älter

This website uses cookies to recognize revisiting and logged in users. You accept the usage of these cookies by continue browsing this website.