Volker Stolz
fm-volker.mastodon.social.ap.brid.gy
Volker Stolz
@fm-volker.mastodon.social.ap.brid.gy
Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/ […]

🌉 bridged from ⁂ https://mastodon.social/@fm_volker, follow @ap.brid.gy to interact
Reposted by Volker Stolz
Well, RIP my PL class, ChatGPT and Claude can now produce plait code that compiles.

I hate all of my options:
* Make the exams worth more (probably what I'll have to do)
* Record every editor keystroke to make sure they didn't just cut and paste (terrible for privacy and also probably […]
Original post on mathstodon.xyz
mathstodon.xyz
December 12, 2025 at 9:13 PM
Reposted by Volker Stolz
☕️ For the sixth time (!), we’re running our little ASPLOS workshop on hardware design languages/compilers/etc. Papers are just two pages! So easy! Please submit! #latte26 https://capra.cs.cornell.edu/latte26/
LATTE ’26
capra.cs.cornell.edu
December 11, 2025 at 6:39 PM
Reposted by Volker Stolz
Anyone know what kind of board connector from the mid 90s has this footprint? I'm pretty sure these are debug points on this board. (share with your electronics friends please?)
December 10, 2025 at 4:15 PM
Reposted by Volker Stolz
Relatedly, data centers in orbit are a fucking terrible idea (not the title Scientific American used, but they should have) https://archive.ph/UPkWu

The SA article references a paper that analyses the carbon footprint of orbital data centers, since techbros talk about "unlimited" solar power so […]
Original post on mastodon.social
mastodon.social
December 10, 2025 at 2:09 PM
Reposted by Volker Stolz
When I read things like "Claude created a full implementation using the Network framework" (URLSession essentially), I think the wording isn't quite right. It's more like "Claude took the work of others, removed the license and reformatted the code, and presented that to the prompter".
It may be […]
Original post on mastodon.social
mastodon.social
December 9, 2025 at 9:59 PM
Peace activists protesting against this year’s Nobel Peace Prize is somehow incredibly on-brand for 2025…

#nobelpeaceprize

https://www.nrk.no/nyheter/nobels-fredspris-1.11291900
December 9, 2025 at 5:21 PM
Reposted by Volker Stolz
“Sagt die Wahl zum Unwort des Jahres 2025 ab, der ‘hocheffiziente Verbrenner’ sollte die Plätze 1 bis 10 belegen und den Ehrenpreis für sein Lebenswerk obendrauf bekommen.”
https://digitalcourage.social/@Volksverpetzer/115661430307816965
Volksverpetzer (@Volksverpetzer@digitalcourage.social)
Das Verbrenner-Aus soll zugunsten „hocheffizienter Verbrennermotoren" geprüft werden. Das ist aber ein Widerspruch in sich. Verbrenner können per Definition nicht effizient sein. Was treibt unsere Regierung da?! https://www.volksverpetzer.de/aktuelles/verbrenner-cdu-physik/?utm_source=mstdn
digitalcourage.social
December 5, 2025 at 10:47 AM
Wochenendeinkauf wird einfacher als erwartet nach Geschäftsreise, der FI-Schalter hat schon Mittwoch die Speisefolge für heute und morgen festgelegt! 🙄⚡️
December 6, 2025 at 12:24 PM
Reposted by Volker Stolz
This is getting a bit more traction than my posts usually do, so hi, people reading me, a bit more context for my being pissed off about Calibre putting AI into its feature set:

I am an author. I've released work with Carina Press, and I've released work on my own. My released work is on record […]
Original post on mastodon.murkworks.net
mastodon.murkworks.net
December 6, 2025 at 8:28 AM
Reposted by Volker Stolz
BTW don't use Spotify. Or any other streaming, really.

Bandcamp isn't ideal but at least they give artists actual money while making it easy to listen to - stream or download ( without DRM ) as you see fit.
December 6, 2025 at 1:31 AM
Reposted by Volker Stolz
I'm in Beijing for COSCON'2025, the annual open source conference in China. Please ping me if you are there also. #pharo #opensource
December 6, 2025 at 2:05 AM
Reposted by Volker Stolz
~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) ~

The first positions at the Centre for Formal Methods and Future Computing (FORM, https://www.sdu.dk/form) are here! You'll work on the formalisation of computer science as part of a global initiative, CSLib, in […]
Original post on mastodon.acm.org
mastodon.acm.org
November 11, 2025 at 2:42 PM
Reposted by Volker Stolz
BREAKING: Der Kanzler attackiert live das Lübcke-Memorial – Merz nennt ein Denkmal für Walter Lübcke „vollkommen geschmacklos“. Klar: unangenehm, wenn der eigene Parteifreund von einem AfD-Anhänger erschossen wird und man selbst schon mit der Partei im Bundestag abstimmt.
Aber der eigentl. SKANDAL:
December 4, 2025 at 7:46 AM
Reposted by Volker Stolz
If you are looking for an Assistant Professor job in #computerscience we have open positions at Aalborg University.

Deadline: 2026-01-05

We are inviting applicants in all areas of computer science. See the full listing and all the research groups of the […]

[Original post on mastodon.social]
December 4, 2025 at 8:41 AM
Reposted by Volker Stolz
I've been using an old Fitbit Versa 2 for years, until #google bought #fitbit and decided they couldn't be arsed to support 3rd-party apps in Europe anymore (because it's waaay too hard to do this in a GDPR-compliant way). 🙄

But thanks to open source and the Fitbit SDK, I fixed some minor bits […]
Original post on hci.social
hci.social
December 3, 2025 at 7:54 PM
This VSCode issue was apparently irritating enough (or rather not finding proper documentation) that I’ve returned to StackOverflow after … a bit of an absence.
December 3, 2025 at 8:10 PM
They must’ve noticed the 5-6 Norwegians checking in!
December 3, 2025 at 6:24 PM
Reposted by Volker Stolz
I would not have guessed this was possible!

Vladan Majerech has found a one-dimensional spaceship in the Game of Life: a pattern just one cell high and 3,707,300,605 cells wide that, after 133,076,755,768 generations (during which it is not confined to the one-dimensional line, of course) […]
Original post on mathstodon.xyz
mathstodon.xyz
December 3, 2025 at 3:54 AM
Reposted by Volker Stolz
Special offer for AI companies: for a modest donation to #OpenStreetMap we'll give you a direct download link to our data in a machine-friendly format. Much quicker than juggling 100,000 IPs to scrape our website. Start here: https://supporting.openstreetmap.org/donate/ #odbl #licensed #planet 😏🤖🌍💸
Donate
# **Thank you for your support!** **OpenStreetMap is free to use, but not free to run.** We are truly grateful for donations. Any amount will go directly towards keeping OpenStreetMap strong, stable and independent. * You can donate with a credit card, European SEPA transfer or PayPal below. **Other ways to donate can be foundhere.** * If you want to contribute data and find out other ways to give back as an individual or as an organization, please see the donation FAQ below, how to contribute and https://welcome.openstreetmap.org/how-to-give-back/ * * * ## Make a donation OpenStreetMap is run and supported by volunteers like you. With more and more people helping to make great maps, we need better, more reliable infrastructure and services to keep up with the demand. If you enjoy using or contributing to OpenStreetMap, please consider making a donation. The average donation is about 35€, but we are very thankful for any amount. Donation Amount € 20.00 € 50.00 € 100.00 € 500.00 € 1,000.00 Other Amount Other Amount € Total Amount I want to contribute on behalf of an organisation On Behalf Of Organization Organization Name * Email (Main) * Street Address * Postal Code * City * State / Province Choose country first Country * - select Country - Afghanistan Åland Islands Albania Algeria American Samoa Andorra Angola Anguilla Antarctica Antigua and Barbuda Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia and Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Carribean Netherlands - Bonaire, Sint Eustatius and Saba (Netherlands Special Municipalities) Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia Comoros Congo, Republic Of The Congo, The Democratic Republic of the Cook Islands Costa Rica Côte d’Ivoire Croatia Cuba Curaçao Cyprus Czech Republic Denmark Djibouti Dominica Dominican Republic Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Eswatini Ethiopia Falkland Islands (Malvinas) Faroe Islands Fiji Finland France French Guiana French Polynesia French Southern Territories Gabon Gambia Georgia Germany Ghana Gibraltar Greece Greenland Grenada Guadeloupe Guam Guatemala Guernsey Guinea Guinea-Bissau Guyana Haiti Heard Island and McDonald Islands Holy See (Vatican City State) Honduras Hong Kong Hungary Iceland India Indonesia Iran, Islamic Republic of Iraq Ireland Isle of Man Israel Italy Jamaica Japan Jersey Jordan Kazakhstan Kenya Kiribati Korea, Democratic People's Republic of Korea, Republic of Kosovo Kuwait Kyrgyzstan Lao People's Democratic Republic Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macao Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia, Federated States of Moldova Monaco Mongolia Montenegro Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands New Caledonia New Zealand Nicaragua Niger Nigeria Niue Norfolk Island North Macedonia Northern Mariana Islands Norway Oman Pakistan Palau Palestine, State of Panama Papua New Guinea Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Reunion Romania Russian Federation Rwanda Saint Barthélemy Saint Helena Saint Kitts and Nevis Saint Lucia Saint Martin (French part) Saint Pierre and Miquelon Saint Vincent and the Grenadines Samoa San Marino Sao Tome and Principe Saudi Arabia Senegal Serbia Seychelles Sierra Leone Singapore Sint Maarten (Constituent Country of the Netherlands) Slovakia Slovenia Solomon Islands Somalia South Africa South Georgia and the South Sandwich Islands Southern Sudan Spain Sri Lanka Sudan Suriname Svalbard and Jan Mayen Sweden Switzerland Syrian Arab Republic Taiwan Tajikistan Tanzania, United Republic of Thailand Timor-Leste Togo Tokelau Tonga Trinidad and Tobago Tunisia Turkey Turkmenistan Turks and Caicos Islands Tuvalu Uganda Ukraine United Arab Emirates United Kingdom United States United States Minor Outlying Islands Uruguay Uzbekistan Vanuatu Venezuela Viet Nam Virgin Islands, British Virgin Islands, U.S. Wallis and Futuna Western Sahara Yemen Zambia Zimbabwe Donor information First Name * Last Name * Email Address * We will email you your receipt. Contact me It's OK to contact me about donations We'll email you, very rarely, about supporting OpenStreetMap. You can unsubscribe at any time. OSM username Case sensitive **The information you provide will NOT be shared with any third party organisations.** Thank you for getting involved in our campaign! Donation information Optional public message, limited to 300 characters. Message Public List my name on the public donor list. Your donation will be shown as anonymous otherwise. __Contribute # * * * **Thank you for supporting a growing OpenStreetMap!** OpenStreetMap is the largest open geographic database in the world, the data infrastructure for multitudes of mapping projects around the globe. **Your donation to the OpenStreetMap Foundation will cover our core operational expenses in supporting the OpenStreetMap project** : hardware and hosting costs, legal fees, administrative assistant and other expenses of our working groups and administration. We currently run extremely lean for an operation for a project the size and importance of OpenStreetMap. The OpenStreetMap Foundation relies on revenue from individual and corporate membership dues, profits generated by the annual State of the Map conferences, and donations. We must keep our income sources diversified, as these vary from year to year, but our modest needs stay the same. For this, we need your support. # Recent Donations # Donation FAQ #### Who is receiving funds? The OpenStreetMap Foundation will be collecting the funds. #### What’s the OpenStreetMap Foundation? The OpenStreetMap Foundation is the non-profit organisation which supports the OpenStreetMap project by maintaining its services, providing a legal structure around the project’s database, by organizing an annual conference and more. Learn more about the OpenStreetMap Foundation on osmfoundation.org. #### How are you spending your money? Can I see a budget? You sure can! Our Finances overview page has more information on how we allocate our budget, and links to past income/expense and balance sheets. We invite you to peruse these and contact us with any questions you may have. #### Are you a 501(c)(3)? No. The OpenStreetMap Foundation is a UK-registered not-for-profit organisation that supports the OpenStreetMap Project. It is not a 501(c)(3) in the sense of the Internal Revenue Code of the US Internal Revenue Service (IRS). #### What else can we do to support OpenStreetMap? Join us! Aside from funds to upgrade our hardware what we need most are people. Whatever your background – technical or not – you can help OpenStreetMap. Here are just a few of the many possible ways to get more involved: ### For individuals: If you have contributed data to OpenStreetMap, or time to helping organise mapping activities: _thank you_ for everything you’ve already done! OpenStreetMap only survives because of the work put in by thousands of hard-working and selfless volunteer contributors. If you are one of these people, then you are already doing a great thing for the project. If you would like to do more, then you can: * Join the Foundation and support the body which supports (but doesn’t control) the project. By being a part of the Foundation, your voice can be heard in discussions about how the Foundation is run. * Join a Working Group and give your time to solving those issues which require greater commitment. Being on a Working Group, as the name suggests, is hard work and requires diligence, but can make a huge difference to the project. * Donate money here. Whatever you can spare will be gratefully received and put towards services necessary for the continued growth and success of the project. ### For companies: Whether you use OpenStreetMap data in your products and services, or are just interested in helping, corporate sponsorship of OpenStreetMap events and hardware helps the project to keep going and be inclusive. If your company would like to help the project grow and succeed, then you can: * Join the Foundation as a corporate member. Your support of the Foundation will be greatly appreciated and publicly lauded. * Donate time. Some of your employees might jump at the chance to be more involved with OSM, so why not give them a “20% time” to join a Working Group or contribute time to a project which helps OSM? * Donate money here. Any contribution will help and is gratefully received. #### How can I donate more? What if I have more questions? Get in touch **Home | Membership | Donate** | **OpenStreetMap** * Facebook * Instagram * Mastodon * Twitter * Discord * Telegram * Reddit * LinkedIn * Discourse * GitHub **OpenStreetMap Foundation** , St John’s Innovation Centre, Cowley Road, Cambridge, CB4 0WS, United Kingdom
supporting.openstreetmap.org
December 2, 2025 at 9:04 PM
Oh FFS, how are your Dockerfiles coming along?
December 2, 2025 at 11:05 PM
Reposted by Volker Stolz
Jepsen and Antithesis worked together to write a glossary for anyone building, testing, and operating distributed systems. It covers the basics of concurrency, consistency models and phenomena, faults, and some testing approaches:

https://antithesis.com/resources/reliability_glossary/ […]
Original post on mastodon.jepsen.io
mastodon.jepsen.io
December 2, 2025 at 10:54 PM
Reposted by Volker Stolz
#android is dead and we’d better all leave the ship before it sinks entirely.

Earlier this year #google already took bold steps in moving the development of several AOSP components behind closed doors, removing the open-source foundations of the project one component at the time.

Options to […]
Original post on manganiello.eu
manganiello.eu
December 2, 2025 at 11:43 AM
The Visual Studio Code here uses apparently two different sets of settings for Running or Debugging my C# unit tests in a dev container, and for the life of it I can’t figure out where this is coming from. “Debug” picks up the variable LD_PRELOAD from the environment, and I want “Run” to do […]
Original post on mastodon.social
mastodon.social
December 2, 2025 at 8:54 AM
Reposted by Volker Stolz
Dazu die New York Times:
November 30, 2025 at 6:17 AM