We're trying to use @Tutanota for our email needs, but it seems like our email address is getting marked as spam by Gmail. Hopefully it's something we can overcome soon as we try to recruit members!
Spam is classified by many factors - if you send out many similar, unasked for emails for recruiting, Gmail users will mark them as spam, which then blacklists your domain on Gmail. Please do not do this to reach out to people, but use other methods than email!
ah ok, that's exactly what I was doing! Not spam emailing, but researching to see what local businesses or groups might be interested in our club. We'll try another way!
## Summary:
In curl’s OpenSSL backend, `ossl_get_channel_binding` retains a new reference to the server’s X509 certificate via `SSL_get1_peer_certificate` and never releases it. When Negotiate...
Appreciate your transparency with the process and outcome here.
It's really helpful to be able to reference how maintainers of well known / well respected projects have handled issues like this where it's not always clear cut.
Avis non-sollicité d'une personne noire sur le débat Bluesky VS Mastodon
Sensitive content
Face aux mouvements de contestation de la Gen Z de Madagascar qui, à la base manifeste pour un réel accès à l'eau potable et à électricité sans coupure, le président malgache a nommé comme premier ministre un général de l'armée de terre.
22 personnes sont mortes selon les chiffres de l'ONU qui datent d'il y a déjà une semaine. Une grève générale est prévue si le gouvernement ne répond pas aux exigences du mouvement Gen Z et la répression des forces de l'ordre va sûrement être de nouveau violente. Il est important de regarder et de partager ce qu'il se passe là-bas.
Bluesky et Mastodon dans tout ça ? La portée de ces évènements est assez faible sur le fedivers, les rares publications sur le sujet que j'ai vues passer sont à peine partagées.
Bluesky c'est à peine mieux mais uniquement parce qu'il y a plus de monde qu'ici, une recherche du terme "Madagascar" sur Bluesky me donne un peu trop de résultats sur les films d'animation.
Et honnêtement je m'en fous, si on doit combattre l'algorithme sur les réseaux sociaux détenus par des milliardaires pour avoir de la portée médiatique, on fera ce qu'il faudra.
Two years ago today was the vicious Hamas October 7th attack. So much suffering of innocents on that day, so much suffering since. That was of course what Hamas wanted; their plan was to provoke a response from the Israeli government that would eventually weaken international support for Israel.
I pray that the residents of the Holy Land may live in peace someday. May it be soon.
A few years ago, I learned how to use #Coq, a proof assistant, by reading a wonderful freely available book called software Foundations (I think it was called something else at the time). This resource was, as well as an excellent introduction for a user who hadn't done (almost) any proof assistant stuff before, accessible for a blind person. It was easy to read the .v files and follow along filling in the exercises.
A bit later, Coq changed its interface. Specifically, coqtop, which is the command-line REPL-ish way to use coq, removed the capability to show proof scripts (Show Script) and the automatic script printing after Qed/Defined/Admitted/etc. This made it very hard for me to keep using it, because the IDEs were not accessible at the time (nor now).
Recently I used #Codex, specifically codex-cli, to solve this problem. I asked it to write me a script that would sit between me and coqtop, and allow me to enter theorems, tactics, etc, and keep a record of them on a .v file, including tactics only when they succeeded, and unwinding when the undo command was used. Codex took a while flailing, and I had to direct its attempts carefully, but it got a script that works, written in python, to do just this. I can now use Coq again, and I get usable .v files afterwards which I can work on.
In principle this is something I could have done myself. But the python script is fairly large, and the task is fiddly (requires messing about detecting prompts, etc). Realistically, I think I would never have done it. My next possibility was trying to use Coq from VS Code, but I don't know how well that would have worked out.
So, in this particular case, an AI coding agent made #accessibility where there was none and increased my ability to learn and work. It's going to be difficult to convince me that this has no value.
Yes, I asked the Coq-Club mailing list for solutions to this problem. None were offered.
Does anyone know the origin of the phrase "Mother of all Demos" as applied to Douglas Engelbart's famous 1968 demo? Wikipedia doesn't say; it only mentions that the name was retroactive. I'm guessing the origin is Steven Levy's 1994 book _Insanely Great_. Rationale: Other authors write things like "known as" or "so-called" when mentioning that phrase, but Levy simply said "It was the mother of all demos." (I don't know about capitalization as I pulled that quote from the audiobook.)
@esoteric_programmer Almost certainly not, because the phrase "mother of all X" in English apparently only came into common usage in 1991 with the Gulf War.
The Rust Foundation is hiring a Rust Infrastructure Engineer!
Help scale & secure the systems that power Rust & support its global community.
If you’re passionate about open source & infrastructure, we’d love to hear from you. Learn more and apply here by Oct 26: app.beapplied.com/apply/wus8sn…
The Rust Foundation was formed in 2021 as an independent, non-profit organization to serve as a steward of the Rust programming language and its users, maintainers, and enterprise advocates.
Travelling my air is already terrible. But they make it even worst to get to the airport. There are very few options to get to the airport beside cars.
Couldn't they have waited for the REM to be in service?
Montreal-Trudeau Airport is set to permanently close its multi-level parking lot on Oct. 15 as part of its development plan to modernize the airport’s infrastructure.
: undear mr. Netanyahu, *YOU* are the biggest terrorist.
The armed wing of Hamas are freedom fighters. Nobody but *YOU* turned them into temporary monsters on Oct. 7, 2023 - because *YOU * turned Gaza into a concentration camp decades before 2023.
YOU DON'T CARE SHIT ABOUT YOUR PEOPLE.
You WANTED the Oct 7, 2023, attack attack to happen, as an excuse to colonize greater Israel. Palestinians have the D-choice: Die or Disappear.
🚨 HOWEVER: You and your people have NO RIGHT WHATSOEVER on Palestinian soil.
Palestinians MAY even have been prepared to live together with you in Palestine, but YOU NEVER HAD ENOUGH. YOU kept stealing land and murderering Palestinians.
If you EVER had ANY right: YOU, and your fscking pathetic "democratic" voters, caused zero of it to remain.
ISRAELI's: GET LOST!
Maybe Musk can help you colonize Mars. Most Israeli's are inhumane (the rest can stay). Earth will be a better place when you, the *REAL* terrorists, are gone.
And when (not if) you go, please take Donald J. Trump with you.
Hi everyone, just a quick reminder that we'll shortly take the NV Access website and other infrastructure (certification, add-on store, update checking etc) offline for planned maintenance. Hopefully it should not take long and I'll post again when we're back. Do behave while we're in the dark :)
Now's our chance to see what y'all are hiding in that back closet. You know, the one with the multiple locks. We can have that picked before you return. LOL. Good luck with the maintenance. Thank you for all you folks do.
curl maintainers meet-up to discuss HTTP3, GnuTLS, wcurl and other things.Presenter:Samuel Henrique "samueloph" is a software developer focused on Debian, Li...
I can't watch it because I have class, but I've already decided who to vote for. You should watch it so that you can decide to vote for Transition Montreal as well.
Greta Thunberg could have, by now, carved out a very comfortable life for herself as a liberal grifter-celebrity offering platitudes about personal responsibility at Davos. Instead she connected the dots between ecocide, capital, and empire, aiming squarely at the heart of the beast. And now fresh out of captivity she downplays her own suffering to recenter the urgency of aid to the Palestinian people. No wonder she's hated by the fascist+lib coalition that rules this world.
What’s New Gajim 2.3 comes with a new design featuring Adwaita, a user interface library which provides building blocks for modern adaptive applications.
Any of you among the "undisclosed recipients" of this double #XSS attempt just landed in my inbox (thanks @thunderbird for being impervious to these sheenigans)?
Ghostty 1.2.1 released, focused on fixing bugs introduced by the 1.2.0 release. This also contains more macOS 26 compatibility changes. ghostty.org/docs/install/relea…
@15b77589 is there a proper way to format a note from NOSTR to ensure that it shows up the way it is expected to in a friendica forum (like with proper title and stuff)?
Germany just refused to back the EU's mass surveillance "Chat Control" regulation after public pressure! This blocks the required majority in the EU Council and derails next week's planned vote.
+ Easy Control Next: control other android devices from an android device (scrcpy) 🛡️ + Bluesky Redirect: automatically launch Bluesky links in your preferred Bluesky client 🛡️
This is a repository of apps to be used with your F-Droid client. Applications in this repository are official binaries built by the original application developers, taken from their resp. repositories (mostly Github, GitLab, Codeberg).
- 1-2-Authenticate: last release 2018, just a limited demo (OTP) - TaskLabAct: last updated 2021, very few installs (ToDo) - AndroidBible: GMS, Firebase, Crashlytics – and no efforts to address this for over a year
Your gardener takes a little break now, more later. Check our sereviceToots if you can help, some requests for feedback are still open 🤗
Tuta
in reply to Miami Tech Enthusiast Club 📎 • • •Miami Tech Enthusiast Club 📎
in reply to Tuta • • •