Giving students fair, justified and consistent feedback on their work is a cornerstone of good teaching practice. So how consistent are humans when they are grading programming assignments?
This morning I woke up to the notice that my Garmin watch had now collected enough data to provide me with a Health Status insight - a new beta feature I hadn’t heard about before. Curious, I opened it to see how Garmin approaches making health status predictions – and was greeted with a familiar view.
Entre os dias 1 e 3 de outubro de 2025 ocorreu o I Encontro de Filosofia da Psicologia, organizado pela Pós-Graduação em Filosofia da UFPR, o Departamento de Psicologia da UFPR e o Departamento...
Successively clicking the first link in a Wikipedia article almost always leads to Philosophy
Disziplinäre Realitäten. Ein Kommentar zur Diskussion um den Ausschluss des Verfassungsblogs aus dem DOAJ Anfang des Jahres machte der Verfassungsblog seine unfreiwillige Auslistung aus dem DOAJ bekannt.
Our lab is growing! In our Three Questions series, we’re profiling each of our members and the amazing work they’re doing.
This is part 2 of 5 of a series of posts [1] about ICFP 2025. Several extensions to "oxidize" OCaml (Rust performancew with ML ergonomics!) have been developing rapidly in a fork called OxCaml. I helped an intrepid crew from Jane Street, IIT-M, Tarides, Brown and Cambridge pull together a really fun tutorial in ICFP 2025 that you can try out too!
This is part 1 of 5 of a series of posts [1] about ICFP 2025. The first outing of PROPL was last year in London, and this time around Dominic Orchard and I invited KC Sivaramakrishnan to be the PC chair and held it at ICFP/SPLASH. The uptake was encouraging, and we got enough submissions to have a proper published proceedings in the ACM Digital Library for the first time!
Zum 15. Mal findet vom 22. bis zum 25. Oktober 2025 die Konferenz „Zugang gestalten! – Mehr Verantwortung für das kulturelle Erbe“ statt. In diesem Jahr ist die Konferenz zu Gast bei der Deutschen Nationalbibliothek in Leipzig, der Themenschwerpunkt ist Künstliche Intelligenz. Themenschwerpunkt KI KI bestimmt derzeit die gesellschaftliche, politische und rechtliche Debatte.
Around two years ago, almost to the day, I spent an absolutely frantic evening in Berkeley, going through enough coffee to power a mid-sized city, hammering away at my laptop on trying to figure out what comes after LLMs. What to most people was still barely on the horizon at the time has been a subject I have been working on in various capacities for the best part of the past decade, on and off.
I have been playing around with [Pangolin](https://github.com/fosrl/pangolin), a really nice management system for exposing internal services over HTTPS. However, I found that its internal wireguard networking does not play nicely if you already have another wireguard system, like tailscale, on the box. The solution was actually simple, but has a potential tripwire.