After getting to learn all about tranches and credit default swaps during the last big financial crisis, I'm so excited to find out what decision-makers with less understanding of even more complex and baroque systems are going to be able to do this time around.

I'm looking for a PhD student to work with me on formal verification for cryptographic protocols.

This is a 4-year position at VU Amsterdam, co-supervised with Kristina Sojakova. Send me an email if you want to know more!

cacm.acm.org/blogcacm/the... I do believe we're going to be spending a good deal of time in the near future figuring out just what "neurosymbolic" is supposed to mean in practice.

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

Column | The hottest college major hit a wall. What happened? Computer science has been a top pick for 15 years. Enrollment data suddenly shows a big drop.

www.washingtonpost.com/technology/2...

Yeah, I wonder what happened. Total mystery. Can't figure it. No correlations with anything that I can think of.

a man in a military uniform is sitting in a bunk bed talking to another man in a bunk bed . ALT: a man in a military uniform is sitting in a bunk bed talking to another man in a bunk bed .

teybannerman.github.io/strategy/202...

Mermaid diagrams are just _great_ you all.

Job ID: 16166
Extract: The Programming Systems Group at ORNL seeks a Postdoctoral Researcher to advance research in Agentic AI and high-productivity programming systems, focusing on code generation and HPC system co-design.

Patrick Cavanaugh Koroly (@patrickckoroly) Ontology, a term popularized by Palantir. (Image w/ highlights from @Susannah Black Roberts on twitter)

substack.com/@patrickckor..., with backcites.

Boy, I sure do hate this.

Struggling to focus on research when the world is 'on fire'? Some ways to cope Keeping up with distressing news is impacting some researchers' mental health and their scientific work.

The deluge of disruptive news from around the globe is making it hard for researchers to focus on their day-to-day work

go.nature.com/4s5bGSc

Well, as I understand it vibes is the only input you need to provide these days

Reading GEB yesterday taught me something I'd missed until now. Nats are a minimally expressive set of values that your PL needs to express quines; a program that prints its own Godel number is a quine; the Godel number is its printed repr. Many langs use other hacks just bc they under support nats.

!!! Adam that's so cool!

Why only the AI PL researchers? Doesn't the whole field face some of the same headwinds?

Why mathematicians are boycotting their biggest conference More than 1,500 mathematicians are demanding that their field’s most prestigious meeting be moved from the U.S.

I sure find it interesting to see what other disciplines are doing in these troubled times. www.scientificamerican.com/article/why-...

Spectrogram art: A short history of musicians hiding visuals inside their tracks Becky Buckle explores the history of artists concealing visuals within the waveforms of their music

I knew about steganographic images, but I didn't know about this similar phenomenon in music: mixmag.net/feature/spec....

It really kind of reminds me of GEB, somehow. But I have GEB on the brain this semester.

slop.zackg.me I don't like that my score was measurably improved because I knew some of the papers by title. Jeez.

Man alive, if your job is to produce 85%-correct software, you must be loving life right now.

My lands, that sounds like a great book.

The Man Who Stole Infinity | Quanta Magazine In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism.

www.quantamagazine.org/the-man-who-...
Wow, this rewrites history. I skipped forward a bit, but the parts I didn't know were fascinating.

NSF Plans to Boost Staffing, Halve Grant Solicitations Following last year’s cuts, the chief management officer of the federal research funding agency says its number of employees is “too low.”

Don't like the sound of that. www.insidehighered.com/news/governm...

I will need a post doc position in May-ish. Topics I want to work on are, lax functors, 2-categories/bicategories, generalized multicategories, double categories, other stuff on graded monads, and anything similar.

Does anyone want to pay me to do this?

Thank you - I Love Free Software Day

❤️ Happy I Love Free Software Day!

OpenProject is fully GPLv3 Free Software – across all editions.

But free software doesn’t maintain itself. It takes dedicated maintainers, contributors, and long-term commitment.

Thank you to everyone who makes it possible 💙

#ilovefs #GPLv3 #OpenSource

Young graduate students---if you're stuck and having difficulty reading a paper, it can be useful to set that ambition aside, read broadly in the nearby area purely for the sake of general enlightenment, and then approach again in 6mo-1year. The paper doesn't change in the meantime, but you will!

How long are you in town?

Please help us publicize TEAL: Tools for Educational Activities in Logic, a workshop associated w/ FLoC26. We have a novel design, focused on demos, discussion, and generally high-quality interaction rather than weak papers. See full details on our site!
teal.cs.brown.edu/floc2026/

Isabelle (proof assistant) - Wikipedia

Am I thinking of the same isabelle? en.wikipedia.org/wiki/Isabell...

I assume that there was some very well intentioned reasoning at play behind something so silly. blog.adafruit.com/2025/12/30/n...

I can't quite believe that we're now announcing the eighth Programming Language Implementation Summer School (PLISS), but we are --- in May next year, if you want to learn more about programming language implementations, this is the place to come!