@djoerd.idf.social.ap.brid.gy
Research, Teaching and More. Also at @djoerd @ https://social.edu.nl
Formerly known as @hiemstra @ https://mastodon.utwente.nl […]
🌉 bridged from ⁂ https://idf.social/@djoerd, follow @ap.brid.gy to interact
@djoerd.idf.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyIf a bot "maths" in a forest, and there's no one around to hear it, did it proof a conjecture?
@ploum.mamot.fr.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyI’ve read today a contributor to an open source project says, in substance: "If generated code is accepted in the project, I will stop contributing because I don’t want to spend time trying to understand the code in order to contribute just to see it changed the next generated commit" […]
@ionica.mathstodon.xyz.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gy“Seker” is in het Afrikaans “misschien”. Hoorde vandaag over een relatie tussen een Nederlander en een Zuid-Afrikaanse die bijna misliep toen zij vroeg of hij van haar hield en hij antwoordde met “Zeker.”
@echo-pbreyer.digitalcourage.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gy🇪🇺 Private chats and emails reported via #ChatControl 1.0 are ending up in #Palantir systems - scandalous!
This includes direct messages on Instagram, TikTok, Discord, Snapchat, Skype and Xbox, as well as emails via Gmail.
Details […]
@thejessiekirk.ohai.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyI don't care if the homeless person we house or the refugee person we welcome is a "good investment". Humanity is not a business. I just want as many HUMAN BEINGS to be warm, happy, safe and healthy as possible. Wrap that up in whatever political affilliation you care too, it's how we should […]
@henk.waag.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyAmsterdam police seize server of Italian internet service provider A/I on US request
(translated from dutch)
#autistici #autisticiInventati @MarloesdeKoning
"A unit of the Amsterdam police on Tuesday at a data center at the Science Park in Amsterdam seized a […]
@kim-harding.mastodon.scot.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyYes, you are using Windows...
@djoerd.idf.social.ap.brid.gy@2legged I think by blocking @bsky.brid.gy
@bosalomons.bsky.socialReposted by @djoerd.idf.social.ap.brid.gyHet staat er in veel dure woorden, maar: dit amendement maakt het mogelijk voor de regering om eigenhandig, zonder tussenkomst van de Kamers, allerlei nieuwe soorten detentie en vrijheidsbeperkingen te bedenken en in te voeren. Waaronder enkelbanden voor vluchtelingen, bijvoorbeeld.
@ionica.mathstodon.xyz.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyAls AI een wiskundig bewijs maakt, en er is geen mens om het te lezen, is er dan wel een bewijs?
@koen-hufkens.mastodon.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyDon't use it in the first place. Next question, please?
@djoerd.idf.social.ap.brid.gyWe have to seize the means of retrieval:
@djoerd.idf.social.ap.brid.gyI talked to Herman Geuvers yesterday and well... I feel the answer seems to be: "no"
@touaregtweet.mastodon.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gy"Het is vrijdagochtend 16 mei 2025 en Eduard Cousin typt: ‘Dag collega’s, ik ga de NOS verlaten.’ Cousin woonde tien jaar in Egypte en schreef talloze artikelen over het Midden-Oosten. In die tijd zag hij Nederlandse journalisten regelmatig de plank misslaan in hun verslaggeving over de regio. [ […]
@djoerd.idf.social.ap.brid.gyIf a bot "maths" in a forest, and there's no one around to hear it, did it proof a conjecture?
@djoerd.idf.social.ap.brid.gyIt seems that OpenAI claims it "vibemath proofed" the Barendregt-Geuvers Klop conjecture... https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Weak-and-strong-normalization-in-pure-type-systems-September-25-2026/paper.pdf
@egonw.social.edu.nl.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyWar is a choice. A choice of Putin of Trump. Of others. It is not inevitable, it is not human nature. It is a choice to let people in charge to do not mind to see their other people die
@jonalendering.mastodon.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyEen van de opmerkelijkste vrouwen uit de middeleeuwse geschiedenis van Nederland (en Duitsland): Theophanu. Met een gastoptreden van Sinterklaas.
https://mainzerbeobachter.com/2026/10/14/keizerin-theophanu/
@ben.werd.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gyIf you haven't been paying attention to this story, it's truly wild - a supposed European alternative to big tech social media that lured in politicians and made waves but is incredibly poorly thought-out and is effectively doxxing its users. @_elena has been on it from the beginning […]
@farside-bot.mastodon.social.ap.brid.gyReposted by @djoerd.idf.social.ap.brid.gy#thefarside #farside #comic https://www.thefarside.com/2026/10/13/0
“Now that desk looks better. Everything’s squared away, yessir, squaaaaaared away.”
