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
Qualtrics Survey | Qualtrics Experience Management
The most powerful, simple and trusted way to gather experience data. Start your journey to experience management and try a free account today.tudelft.fra1.qualtrics.com
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
Mango Mela
If you have ever spent any time with people from South Asia, you'll find that mangoes are talked about a lot. Especially between April and August each year....BAE Eats
Zdroj: sport.ceskatelevize.cz/clanek/…
Týmy a jezdci letošní Tour de France
Kdo všechno se představí na letošní Tour de France? Potvrzené i provizorní soupisky a komentáře k jednotlivým týmům si projděte níže.Vojtěch Jírovec (ČT sport - Česká televize)
@westernsahara
spsrasd.info/en/2024/06/24/402…
Spanish Parliament votes in favor of motion correcting Government's position on Western Sahara issue: "Support for Justice and Legitimacy of the Cause"
Madrid, 24 June 2024 (SPS) - Mr. Salamo Hammoudi Bachri, Head of Political Affairs at the Polisario Front Office in Spain, affirmed that the Spanish Parliament's vote on a motion calling for a correction of the government's position on the Western Sa…Sahara Press Service (SPS)
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
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” to security plans, vulnerability assessments and user accounts within a national system to protect the …link.is.it
Ano, přesně, taky si to myslím, už aby byl sychravý podzim. 🍁 Tak hurá do práce a žádné přestávky, humlu v chumlu😀
Safra, teď tu projel debil na koloběžce a málem mi srazil. Co myslíte, neměli by ti blbečkové co jezdí po chodníku na koloběžce 🛴platit měsíční daň bezpečnosti? Třeba, já nevím, pakatel, 10000
How the European Accessibility Act (EAA) will impact product accessibility
How does the European Accessibility Act (EAA) impact products?Derrin Evers (Deque)
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
Organizer cancels Montreal Canada Day parade, citing red tape, politics
The organizer of Montreal's Canada Day parade has cancelled this year's event and says red tape and politics are to blame.Morgan Lowrie (CP24)
Beyond Doctor Who: Harry Sullivan’s War to be Turned Into an Audiobook This Christmas
Relive this classic from the short-lived The Companions of Doctor Who range.The Doctor Who Companion
Structured Negotiation Helps Parties Improve CVS Kiosk Accessibility
Congratulations CVS and the National Federation of the Blind for reaching agreement to improve kiosk accessibility at Minute Clinics in CVS stores. The agreement was reached with the help of the Structured Negotiation process.Law Office of Lainey Feingold
If You Tag, I Will Read
In my experience, a fundamental disconnect exists between accessibility and the investing world when it comes to a statement that is blasted all over every investment web site when you are about to…The Idea Place
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-…
Revocada la condena a una funcionaria en Navarra por acceder sin autorización a datos confidenciales de Hacienda
Debido a la invalidez de la declaración realizada fuera del plazo legalJuan Luis Martín Romero (Economist & Jurist)
Three new Covid variants surge across UK as hospital cases soar
Experts are raising the alarm as new figures reveal Covid admissions have rocketed by a staggering 24 percent in a single week.
examinerlive.co.uk/news/uk-wor…
Three new Covid variants surge across UK as hospital cases soar
Hospital cases were highest in people aged 85 or over, and although intensive care admissions were 'very low' they did increase slightly to 0.12 per 100,000Yorkshire Live
Ireland: 'WAKE UP CALL' Major health warning issued as new Covid variant now accounts for one third of hospital admissions
A 24 per cent increase in admission to United Kingdom hospitals has been reported in the previous week for KP.3 - a subvariant of the deadly contagious Omicron strain.
thesun.ie/health/13231594/majo…
Major health warning issued as new Covid variant now accounts for one third of hospital admissions...
AN URGENT warning has been issued over the new Covid-19 variant now accounting for one-third of the hospital admissions. A virologist urged people that Covid-19 isn’t gone as a new variant of…Macarten Burke (The Irish Sun)
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…
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
Allein unter Sachsen: Mein Umzug aufs Dorf
Die Journalistin Johanna Weinhold zieht mit ihrer Familie aus Leipzig ins Erzgebirge. Aus der Großstadt mit hohem Grünen-Wähler-Anteil geht es für sie dahin, wo die AfD besonders stark ist.podimo.com
Würd' mich sehr interessieren.
Da beklage ich erst heute noch die mangelnde Medienberichterstattung zur aktuellen #Corona-Lage - und finde plötzlich dieses tolle Meinungsstück. 👏
"Und wer einen Fuß in die Tür der wenigen #LongCovid-Ambulanzen bekommen will, muss oft Monate warten. Eine wirkliche Strategie ist nicht in Sicht. Angesichts der steigenden Fallzahlen ist das ziemlich leichtsinnig."
nrz.de/politik/article40664678…
Corona: Es ist keine Langzeit-Strategie in Sicht
Michael Minholz kommentiert.Michael Minholz (Neue Rhein/Neue Ruhr Zeitung)
Canned coffee recalled over deadly toxin fears
Snapchill canned coffee products that were distributed nationwide are being been recalled after the FDA warned about an issue with the production process.Daniella Genovese (Fox Business)
this new #systemd feature is really cool
being able to *just* connect to a libvirt qemu vm is really nice, without having to think about network config
i just updated libvirt in nixpkgs to the latest version so it supports this :3
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
Apple becomes first target of EU's new digital competition rules aimed at big tech
European Union regulators are accusing Apple of breaking new rules on digital competition by imposing rules in its App Store marketplace that prevent app makers from pointing users to cheaper options on other venues.KELVIN CHAN (AP News)
Resources 1.5 has landed on Flathub yesterday with battery monitoring along with other bug fixes and improvements! 🥳
Check it out! :)
reshared this
MSC2867 got merged 🎉.
github.com/matrix-org/matrix-s…
It only took a bit under 4 years. 🙈
matrix-spec-proposals/proposals/2867-rooms_marked_unread.md at main · matrix-org/matrix-spec-proposals
Proposals for changes to the matrix specification. Contribute to matrix-org/matrix-spec-proposals development by creating an account on GitHub.GitHub
Spec for MSC2867 (Marking rooms as unread) by Johennes · Pull Request #1895 · matrix-org/matrix-spec
Per MSC2867 (markdown) Relates to: matrix-org/matrix-spec-proposals#2867 Signed-off-by: Johannes Marbach n0-0ne+github@mailbox.org Pull Request Checklist Pull request includes a changelog file ...GitHub
Recently, there was a viral tweet claiming that NVIDIA is like Sun from the Dot Com Bubble. Despite my best attempts to resist talking about this, I am giving into temptation: on today's Oxide and Friends, @ahl and I will take this one apart. Is NVIDIA like Sun from the Dot Com Bubble? Join us today at 5p Pacific to discuss!
discord.gg/seUfwq7R?event=1254…
Join the Oxide Computer Discord Server!
The Oxide Computer Company and friends; home of the Oxide and Friends podcast. | 3255 membersDiscord
Ik ga via Breda
spoorbeeld.nl/databank/ik-ga-b…
Ik ga via Breda
Vlak voordat treinreizigers vanuit zuidelijke richting station Breda binnenrijden, passeren zij het voormalig fabrieksterrein van de suikerfabriek CSM. Twaalf letters vormen hier de tekst Ik ga via Breda.Spoorbeeld
There Are Now More Than 2,000 Free Live Channels on Services Like Pluto TV, The Roku Channel, and Tubi in the United States | Cord Cutters News
Free ad-supported streaming is one of the fastest growing areas in cord cutting in 2024. Now according to Maria Rua Aguete, the Senior Director from Omadia, there are more than 2,000 free ad-supported live channels in the United States with more than…Luke Bouma (Cord Cutters News)
Majid Hussain
in reply to Marcus • • •Marcus
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.
Majid Hussain
in reply to Marcus • • •