TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-...
🧵

"Theorem Proving in Lean 4" is the essential guide for anyone using Lean for mathematical proofs. Kept up-to-date with each new Lean release, it covers everything from basic tactics to advanced proof strategies.

Read the book here: lean-lang.org/theorem_prov...

#LeanLang #LeanProver #Mathematics

Denmark invests 80M DKK in digital sovereignty.

Minister of Digital Affairs @carolinestage.bsky.social will lead initiatives to reduce dependency of big tech. Money will be spent on developing and testing alternatives.

www.digmin.dk/digitaliseri...

I gave a talk at PLDI '25 about the future of Actor GC in Apache Pekko - with applications to #akka #erlang and #elixir. It's the culmination of my 6+ year PhD at UIUC, and I tried to make the talk really fun and easy to follow :)

Check it out here: www.youtube.com/live/lGM37Z3...

#AI-powered peer reviews are here: `ReviwerGPT' landed at AAAI

aaai.org/aaai-launche...

The high volume of papers for flagship conferences like AAAI is putting a strain on reviewers--nothing new here. Tools to help reduce workload are clearly needed. But are #LLMs the right way to do that?

What links cybersecurity awareness and supply chain risk management, and why does it matter for small manufacturers?

We explore how these factors shape firm performance in our latest paper doi.org/10.1108/SCM-... in the journal Supply Chain Management.

#Cybersecurity #SupplyChain #C-SCRM #SMEs

How GenAI will help in education /s. Vasari's chapter on Giotto has a story about a commission gone bad. Here is the original (de Vere), GPT-4, Claude 3.5, and Google Search. You just have to ask the right question—even on old, famous content!—to break it BADLY! #Italy25

We need a conference on Usable Formal Methods.

Every submission to it must come with a verifier,a set of positive/negative examples for it, and, most importantly, an exercise. A review may give a positive score only if it provides a solution to the exercise, which is accepted by the verifier.

The days of Google Docs are ending; we enter the age of Docs, made by France's Interministerial Directorate for Digital Affairs and Germany's Center for Digital Sovereignty of Public Administration.

We need more governments to collaborate on public software projects to achieve digital sovereignty.

📢 Workshop on Safe Production in Uncertain Times

📅 24 June at @sdu.dk #Kolding

A deep dive at the intersection of #cybersecurity, #geopolitics, and #governance in the context of safe production.

👉 event.sdu.dk/gaa-hjem-moe... 👈

Organised by cyber-smv.dk funded by @industriensfond.bsky.social

The EU announced a defence and security preparedness development plan. Good.

📢 #AcademicJobs Multiple Computer Science professor positions (all levels) available @sdu.dk 🇩🇰.

Assistant and associate positions: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid...

Full professor and centre leader position: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid...

🚨 Europe’s digital dependence is a ticking time bomb – but we can still turn the tide.

Jan Stentoft, @vckeating.bsky.social, and I explore how Europe's reliance on digital imports threatens our sovereignty and security and how we can reclaim control over our digital future.

tinyurl.com/2p9hwnc3

📢 Faculty Job! We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our research group @sdu.dk 🇩🇰

🔗 About us: acp.sdu.dk
📝 Apply: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid...
⏳ Deadline: 2025-02-01

#AcademicJobs #ResearchJobs

#GeologyJokes make me happy 😊

I met Valentino Picotti when I supervised his bachelor project and today I'm excited and proud to share that he successfully defended his PhD dissertation "Language Support for #Microservices Development". It's been a pleasure to work with him and be his supervisor together with Fabrizio Montesi.

Hi bluesky! I'm a research guy circulating around the US and Denmark. Here's a video I made about some of my recent work on PL/concurrency/distributed systems :)

www.youtube.com/watch?v=23y1...

Project Chords is officially started: an ambitious research initiative to explore the theory and practice of Choreographic Programming on an unprecedented scale. The project's goal is to enhance the effectiveness, transparency, and safety of developing connected digital systems.

👉 chords.dev 👈