Mastodawn

Oliver Kennedy 12h ago

Inkican 12h ago

Find joy where you can, today.

Oliver Kennedy 13h ago

Colin Cornaby 14h ago

With the LLM labs raising prices - I’ve been working on a great new set of tools. They’re called “Integrated Development Environments.” They work with formal specification languages, and a series of language processing models to turn that formal language into working software. Best of all, there is little to no cost and they can be hosted entirely locally - even on very old hardware. And they work with the platforms you support today. All without usage limits.

Oliver Kennedy 17h ago

Brian Gettler 21h ago

RE: https://mas.to/@brian_gettler/116506332823026464

Oh, and taxes. Brought to you by taxes. Of which many of us could pay more.

Oliver Kennedy 19h ago

Jaric Zola 20h ago

Williamsville Lehigh Valley Railroad Depot, Hasselblad 503CX, Zeiss Planar T* 80mm F/2.8 CFE, Kodak Tri-X 400, more at https://photo.jzola.org/Film/UrbanX/ #photography #filmisnotdead #filmisalive #filmphotography #believeinfilm #blackandwhite #kodaktrix400

Oliver Kennedy 2d ago

For anyone in #WesternNewYork (#WNY), and specifically the #Buffalo/#Niagara area, #UBuffalo will hold its bi-annual UB CSE Demo Day in Davis Hall on May 5th at 2:00

https://ub-cse-demo-day.github.io/

This is one of the big highlights of the semester, and always features a lot of really neat student efforts. If you're in the area, check it out.

Oliver Kennedy 4d ago

I know I'm supposed to be prepping material for in-class review for my final...

... but if "ACID-compliant laser marmots" isn't an existing band name, it needs to be.

Oliver Kennedy 6d ago

Simon Oddershede Gregersen Apr 27

Wanna do a PhD on formal verification for cryptography? Sabine Oechsner and Kristina Sojakova are looking for a motivated PhD student to join them at VU Amsterdam. See more information below, or reach out to Sabine ([email protected]) or Kristina ([email protected]) if you have any questions.

https://workingat.vu.nl/vacancies/phd-position-in-formal-methods-for-concurrent-cryptographic-protocols-amsterdam-1288339

Vacancy — PhD Position in Formal Methods for Concurrent Cryptographic Protocols

The goal of this project is to use formal methods to develop a systematic way to describe concurrent cryptographic protocols and to reason about their security. If this sounds interesting to you, please apply at Vrije Universiteit Amsterdam (VU).

Oliver Kennedy Apr 27