Nostr notes by Jesper Agdakx 🔸

A message from my colleague Benedikt Ahrens: > Hi all, > ...

2026-09-23T11:33:40Z

A message from my colleague Benedikt Ahrens:

> Hi all,
>
> I have funding for a postdoc position at TU Delft on combining computer proof assistants and computer algebra systems in the area of category theory, and I would be happy to hear from potential applicants before the formal advert goes out.
>
> I am looking for someone who is interested in all three of proof assistants, computer algebra systems, and category theory, and who has some experience in at least one or two of them.
>
> The position ideally starts no later than March 2027.
>
> If you are interested, please email me at B.P.Ahrens@tudelft.nl with a short note about your background and your research interests. Informal questions are very welcome.
>
> Please feel free to forward this to anyone who might be a good fit.
>
> Best wishes,
> Benedikt

Our department is hiring an assistant professor in computer ...

2026-04-14T07:55:07Z

Our department is hiring an assistant professor in computer science (including programming languages). If you would like to join our small but diverse PL group in beautiful little Delft, please don't hesitate to apply! Also feel free to reach out to me if you want to know anything about our department or academic life in the Netherlands.

Deadline for applications: 11th of May

https://www.academictransfer.com/en/jobs/360114/assistant-professor-in-computer-science/

#TUDelft #AssistantProfessor #Hiring #ComputerScience #SoftwareTechnology #ProgrammingLanguages #TypeTheory #SoftwareVerification #Agda #Rocq

I just installed @npub1rk6…hv4q on our VPS together with my ...

2025-12-29T14:17:44Z

I just installed Nextcloud 📱☁️💻 (npub1rk6…hv4q) on our VPS together with my dad, as a replacement for our Seafile server that started misbehaving a bit after an upgrade. While it took some time to figure out the nginx and docker configuration, the whole process was pretty smooth and I imagine someone who's more used to setting up such things could do it in less than an hour.

Now that we have it, there is so much cool stuff that's included: photo albums, calendars, collaborative editing, Doodle-style polls, synced bookmarks, and many more (see https://apps.nextcloud.com/).

So far there's just a few small things that could be improved: syncing softlinks is not supported, and history is only on a per-file basis (not a whole directory). But overall I'm really happy with the quality and feature set.

#NextCloud #SelfHosting #OpenSource

Here's a small selection of the photos I took on our trip to ...

2025-08-29T19:09:00Z

As part of our (@npub198y…6hu0 and yt) research on **the ...

2025-03-11T08:59:48Z

As part of our (Sára Juhošová (npub198y…6hu0) and yt) research on **the usability of interactive theorem provers**, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in **tools that encourage and facilitate type-driven development**, especially in cases when they can help us reason about complex problems.

We are hoping to use your responses to identify the characteristic language features and tool interactions that enable type-driven development, with the eventual goals of enhancing them and bringing their benefits to a wider range of programmers.

Please fill in our *anonymous*, 10-minute survey here: https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS

You are welcome to participate if you have experience with *any* type-driven development tool, including dependently-typed languages (e.g., Coq, Lean, Agda), refinement types (e.g., Liquid Haskell), or even other static type systems (e.g., in Rust or Haskell).

P.S. In case you remember signing up for an interview with us in a previous survey and are now wondering whether that study will still go on, the answer is: yes! We've had to revise our schedule, but we are still excited to talk to you and will start inviting people for an interview soon.

#Agda #Coq #Rocq #Lean #LiquidHaskell #Rust #Haskell #TypeDrivenDevelopment #TyDe #DependentTypes #LiquidTypes #RefinementTypes #ProofAssistants #Survey

Ok this is genuinely terrifying. Once again I'm so glad I ...

2024-11-05T18:17:21Z

In reply to nevent1q…tjrn
_________________________

Ok this is genuinely terrifying. Once again I'm so glad I live in the Netherlands. Let's hope it stays strong as a bulwark for pedestrians and cyclists.