Oliver is a CSE Prof teaching databases and data structures. He enjoys HEMA, cooking, photography, home automation, and coding random stuff. He built a notebook for collaborative, reproducible data science called Vizier (https://vizierdb.info) and now works on scaling datalog on commodity hardware (https://git.odin.cse.buffalo.edu/Norn/Draupnir)
Expect posts here to be mostly about #draupnir, #vizier, bad puns, #photo graphy, and/or travel logs.
[He/Him]
| Home | https://odin.cse.buffalo.edu/people/oliver_kennedy.html |
| DBPL @ UB | https://cse.buffalo.edu/dbpl/people/ |
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.
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.
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.
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).
half the point of programming-tool design is to reduce the need for hypervigilance on the user.
if we're designing tools that require you to be *more* hypervigilant, legitimately what use are they?
Talking to my 8-year-old about my upcoming Way Too Big Blog Post About genAI. I explain that my goal is to describe why I think it's bad, because it's really complicated and hard to understand, and so I don't blame people who disagree.
They ask, matter-of-factly, "Oh, are you trying to get people to stop using it because if they don't stop then by the time my generation grows up, nobody will have jobs any more and everyone will be poor because AI will just do everything and keep all the money?"
I was saddened to hear that Creations' (nee #StarfireSwords) master swordsmith, Zach, passed away over the last year.
Back in my #StageCombat days, Starfires and their distinctive leather- and wire-wrapped grip style were one of our main standbys. The steel made this gorgeous ringing sound any time you had blade on blade contact.
Although I never got to meet the man in person, the beauty and care that he brought into the world enriched my life immeasurably. I was also happy to hear that the legacy he built lives on.
Simon Oddershede Gregersen
Jeff Johnson
jneen collective
Tess, Joint Chief of Stiff
Glyph
Christine Lemmer-Webber