Konec dobíhání autobusů a čekání na zastávkách. V Česku se rozjíždí „MHD na míru“

Startup Citya zavádí nový typ veřejné dopravy – lidé si pomocí aplikace objednají mikrobus, který je zaveze, kam potřebují. A za téměř stejné peníze jako stojí jízdenka na MHD. Koncept se ujal v Česku i zahraničí.

ecoista.cz/konec-dobihani-auto…

Welcome to Alex Snast as #curl commit author 1280: github.com/curl/curl/pull/1400…
#curl

Im #Brandenburg‍ischen #Lauchhammer sowie im Landkreis #OberspreewaldLausitz bildet die #noAfD nun #Fraktion‍en mit der Partei #DieHeimat (aka #NPD).

Es wächst zusammen, was im Geiste schon immer eins war.

#Brandmauer #AfDplus #Heimat&Zukunft

spiegel.de/politik/deutschland…

Here's a user in the wild who was bitten by the Apple "backdoor" in #curl:

github.com/curl/curl/discussio…

#curl
Unknown parent

mastodon - Link to source

daniel:// stenberg://

@callionica they are always slow - I have no secret direct channel to them. I can only use their generic product security email. But they did respond faster than two moths, it just took them this long to come to a conclusion about this particular issue.

I don't know how long it has been there. It would not surprise me if it has been there since they started building curl with libressl, several years ago. (can't recall the exact timing for that)

"Trotz einzelner sinnvoller Maßnahmen, wie Reformen des Unterhaltsvorschusses und des Kinderzuschlags, sei es noch immer nicht gelungen, die belastende Situation für viele Alleinerziehende entscheidend zu verbessern, sagte die Expertin für #Familienpolitik bei der Bertelsmann Stiftung, Antje Funcke."

haz.de/familie/hohes-armutsris…

in reply to Insa van den Berg

"Die Armutsfalle für #Alleinerziehende sei jedoch nicht auf Erwerbslosigkeit zurückzuführen, hieß es weiter, denn mehr als 70 Prozent der alleinerziehenden Mütter und 87 Prozent der alleinerziehenden Väter gingen einer Arbeit nach."

faz.net/aktuell/politik/inland…

Lets Encrypt on their plan and progress to run their services more and more on Rust implementations. They deployed ntpd-rs now.

letsencrypt.org/2024/06/24/ntp…

Blocked Applebot-Extended in my robots.txt today.

Apple support article.

I’m guessing Apple offered this option because community docs on GenAI-scraper opt-outs were starting to include AppleBot which was used for Apple’s search engine for years before Apple’s foray into LLMs.

This entry was edited (1 year ago)

My PhD student Sára and I are looking for people to participate in a study on usability aspects of interactive theorem provers. Please consider signing up!

Who? anyone who uses or has used an interactive theorem prover for whatever purpose

What? 90 - 120 minute interviews (possibly including a small think-aloud programming session)

When? interviews will be scheduled starting September 2024

Where? online (participants from anywhere are welcome)

We are hoping these interviews will help us determine how you interact with your theorem provers and to gain insights on how we can improve the user experience. We are interested in all aspects of interactive theorem provers, including but not limited to their design, their tooling, their libraries, and their documentation.

Sign up here: tudelft.fra1.qualtrics.com/jfe…

#Agda #Coq #Lean #Isabelle #Usability #TheoremProvers

This entry was edited (1 year ago)

Finally got to eat Indian mangoes this mango season. @divya gave me Kesar mangoes

I write about Indian mangoes here buttondown.email/skinnylatte/a…

Whatever you think you know about mangoes, Indian and Pakistani mangoes *in season* are very different, and worth seeking out

#Food

Giving #LinuxMint a spin in a virtual machine because my mom has expressed an interest in migrating to Linux when #Windows 10 enters end-of-life. It's actually pretty darn slick and user-friendly; comes with a lot of stuff made by the Mint devs themselves for #Linux Mint, and I think it might be the perfect thing to migrate my mom over to. Will probably stick with the #Debian based LMDE.
in reply to Majid Hussain

It's Ubuntu based but they make some of their own design and security choices. For one, they are the lead developers of the Cinnamon desktop, so by default it ships with that and you will generally get newer versions of Cinnamon faster on Mint.

They also remove snaps in favor of flatpaks, though you can obviously reinstall snaps yourself if you prefer those, but by default it has flatpaks instead.

They also have a "Debian Edition" or "LMDE" that is based on Debian instead of Ubuntu.

Spanish Parliament votes in favor of motion correcting Government's position on Western Sahara issue: "Support for Justice and Legitimacy of the Cause"
@westernsahara
spsrasd.info/en/2024/06/24/402…

CISA confirms hackers may have accessed data from chemical facilities during January incident

The agency found no evidence that hackers exfiltrated information but noted the intrusion “may have resulted in the potential unauthorized access”...

🔗️ [Therecord] link.is.it/ageimw

I see you Valérie Plante...

Montréal gets a Fête Nationale parade w/ no red tape politics. montreal.ctvnews.ca/thousands-…

Canada Day parade cancelled b/c of red tape politics: cp24.com/news/organizer-cancel… #polMTL #MTLpoli #cdnpoli #polcan #valerieknowsbest #BS

From the Florida Outreach Center for the Blind: FREE WORKSHOP ON LOW COST COMPUTERS FOR THE BLIND & VISUALLY IMPAIRED: Erika Engler from Computers for the Blind: Thursday, July 18, 2:00 PM Eastern Time groups.io/g/tech-vi/message/71…

Structured Negotiation Helps Parties Improve CVS Kiosk Accessibility Strategy used by CVS and National Federation of the Blind after a filed lawsuit lflegal.com/2024/06/cvs-kiosks…

Creo que necesitamos un movimiento jurídico materialista y empirista. En concreto, es necesario que el sistema judicial atienda más a la verdad material que a la forma. No hablo de eliminar ni reducir garantías cuando estas tienen un objeto legítimo, pero una cuestión como el plazo no debería en general sobreponerse a la realidad.

Lo que me ha hecho pensar en esto es esta sentencia del TSJ de Navarra absolviendo a una funcionaria de revelación de secretos. Reconoce que lo hizo y que es delictivo, pero se le pidió declaración fuera del plazo del año que manda la LECRIM. economistjurist.es/actualidad-…

Last night i tested some apps with text to speech just out of curiosity. Just listening that the things it depict sound right at all.

I can't fully test things because i am not in a spot to do so, but this is something anyone can do really. Enable text to speech, click around your app, make sure that all fields, buttons, texts and things are described. Make also sure that you can use keyboard only to move around.

If you want to help with #Linux #accessibility this is something anyone could try to do and fix! It will not make things perfect necessarily but it really does help. You dont have to even write code, you can document things and then make a bug report!

I learned a lot from this @LateNightLinux podcast episode and i highly recommend anyone who makes apps and websites to listen it! Even if youre not on linux!
linuxafterdark.net/linux-after…

This entry was edited (1 year ago)

Der Podcast ist bisher (bin bei Folge 2 "Warum so wütend hier?" von 6) sehr, sehr spannend für mich. Ich bin in der Gegend groß geworden, hab damals in #Freital im Bus von einem Glatzkopf, wie sagt man: "auf's Maul gekriegt", ohne dass es jemenschen gejuckt hätte.

Spannend finde ich an diesem Podcast dennoch vor allem, wie #Journalismus hier eine Selbst-Erzählung inszeniert, nach der JournalistÏnnen, sensibel, objektiv, souverän und medienkompetent kommunizieren können. Beschämend finde ich, dass sich die beteiligten JournalistÏnnen das Scheitern dieses Anspruches an medienpolitischen Wirklichkeiten nicht eingestehen wollen/können/dürfen, ja sich dem nicht mal bewusst zu sein scheinen.

Gleichzeitig macht es mich ratlos und traurig zu hören, wie in diesem Podcast unter dem Deckmantel der "Verständigung zwischen Dorf und Stadt / Wir wollen nicht über, sondern mit den Menschen reden" ein wirklich schlimmer old school #Kulturalismus betrieben wird.
Ich hätte mir gewünscht, in diesem Podcast auf mehr ethnografisches Wissen / Kompetenzen zu treffen. Jedenfalls hatte ich beim Hören den Eindruck, dass die MacherÏnnen selbst diesen Anspruch hatten.

podimo.com/de/shows/allein-unt…

#LVZ #Pretzschendorf #Sachsen #Medien #Dorf #Erzgebirge #Medienkompetenz #Leipzig #Podcast #Ethnografie #Kulturalismus

Apple becomes first target of EU's new digital competition rules aimed at big tech
https://apnews.com/article/apple-european-union-digital-regulation-rules-app-store-07c34a80a5c98d0014e1c669a86af6a4?utm_source=flipboard&utm_medium=activitypub

Posted into Top Stories in Business @top-stories-in-business-FlipboardUK