The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities.

There is no #Haskell without the trans people who have shaped it through the years.

This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ

Now with RSS and JSON feeds!

I am collecting material, sources on LLMs and vulns before and after the recent mythical moment in time.

The (searchable) list is here: https://tzafaar.codeberg.page/

Take a look and let me know if your favourite source, paper, blog post, repo is missing or directly submit pull request here:
https://codeberg.org/tzafaar/pages/src/branch/main/
Would appreciate retoots

A few things that Microslop could have done to make Outlook better that would have been cheaper than all of the 'AI' nonsense they've been pushing:

• An option to automatically cancel meetings if it's a public holiday in the countries of more than N of the attendees.
• Fix the UI for adding more than one owner to a meeting so that more people than me know it exists and more people than the empty set is able to use it.
• Make it easy to automatically decline all meetings when you're on holiday.
• When every attendee of a meeting except the organiser declines (especially relevant to 1:1s) flag it in the high-level UI and, for meeting series, provide an option to automatically cancel if only one person will be there.
• Provide an option to cancel meetings if they are below quorum (N people accept).
• Make it possible to set organisation-specific locations. Don't put your internal meeting room as the location with external participants, make it possible for two groups to have a meeting room close to them as the location.

🆕 A blueprint for formal verification of Apple corecrypto

Learn more about the formal verification methods used for ensuring the mathematical correctness of corecrypto's post-quantum ML-KEM and ML-DSA implementations.
We are also releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator!

https://security.apple.com/blog/formal-verification-corecrypto/

#FormalMethods #PostQuantum #Security

RE: https://mastodon.scot/@spli/116318837010884161

Registration is now open for this year's SPLV in Glasgow!

"GitLab Act 2" -- GitLab is restructuring. Interesting announcement, including number of "core beliefs", and a "vision of the world we're building for"

- Software will be built by machines, directed by people.
- The agentic era multiplies demand for software.
- The consequential work belongs to engineers.

https://about.gitlab.com/blog/gitlab-act-2/