Episódios
-
Harry Eldridge is a Cryptography PhD student at Johns Hopkins, advised by Abhishek Jain and Matthew Green. His research (so far) touches on security and privacy implications of commodity hardware, which is a fascinating topic deserving of the mathematically disciplined, cryptographically informed approach his lab takes to such problems. Today Harry joined us to talk about his research into the problem of AirTag stalking, and how it can be ameliorated, while retaining acceptable performance, through cryptographic protocols. This was a very interesting talk with serious, real-world implications, and we hope you enjoy it as much as we did!
-
Ian Bicking is an engineer at Brilliant, which is also what he is. (Sorry, dad joke). Ian joined us today to talk about his super charming (and extremely interesting) weekend of experiments hacking various LLMs to solve puzzles using z3. The presentation was roughly the first 2/3 of the event and the remaining third presented a fantastic conversation about the future of AI, tool use, chain and tree of thought, o1, and more. Thanks again for joining us Ian!
-
Estão a faltar episódios?
-
Dhekra Mahmoud
at LIMOS in Clermont-Ferrand, France, where she researches the formal analysis of cryptographic protocols under the supervision of Pascal Lafoucade and Jannik Dreier. Today Dhekra joined us to present her recent USENIX paper Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. This was a really interesting presentation with a good conversation afterword touching on some subtler points around the Dolev-Yao threat model, the limitations of ProVerif, and proof optimization. -
Matej Panciak holds a PhD in mathematics and is a software engineer at the Argument Computer Corporation, where among other things, he works on Lurk. Lurk is a LISP for defining computations that can prove (in the ZKP sense) that they ran, which is probably useful for all sorts of cool things we haven't thought of yet, but right now, is pretty important for doing stuff on-chain. (I can easily imagine this being applicable to building something like a dweb version of AWS ... in some theoretical future where FHE is so good that you can just trust randos to run code for you). Anyway, Matej presented a super rad intro to Lurk, gave us a code demo (it worked!) and then enjoyed our usual über-nerd conversational segment at the end.
-
Derek Egolf is a PhD student (since 2021) at Northeastern University, advised by Stavros Tripakis. His primary research focus is the automatic generation of correct-by-construction systems from high-level specifications (synthesis). Today Derek talked about his recent paper in this vein, Efficient Synthesis of Symbolic Distributed Protocols by Sketching, to appear in FMCAD. This was a very interesting talk with a technical conversation afterword. We hope you enjoy it as much as we did!
-
Joshua Ramette (https://x.com/RametteJoshua) recently completed a PhD in physics at Mass Tech, and today he joined us to talk about his new project, Undermind. Josh and his friend Tom Hartke (https://www.tomhartke.com/) founded Undermind (YC S24) to radically improve academic literature search using a mixture of AI techniques. Their system is slow, deliberate, and very high quality. You can check out Undermind at www.undermind.ai , or peruse the query I did during the Q&A section here: https://www.undermind.ai/query_app/display_one_search/c743b66ee4378b12ae8bad1fe58975ba95da71e7f7a1d5c2f0c6973c677648cc/
-
Evan Pu ( https://evanthebouncy.github.io/ , @evanthebouncy on X ) is a senior research scientist at Autodesk AI Lab, working on code-generation for human-machine collaboration in CAD, and industry scale instruction-following dataset annotation. Today Evan joined us from a toilet (with the lid closed) so as not to wake up his wife due to a rather large time-zone delta, which was hilarious and a first for the Boston Computation Club. Anyway, this was a really fun talk with excellent Q&A and we hope you enjoy it as much as we did!
-
Arthur O’Dwyer is a C++ programmer and blogger who today joined us to talk about his musings on the algebraic structure of the popular web-game Infinite Craft. Infinite Craft is a clever little experiment in sandboxed exploration, and it turns out to give rise to a rather complex mathematical structure with some interesting background in theoretical CS. Arthur covered all this and more in his presentation, which was super interesting and a lot of fun to watch.
Check out Arthur's original blog post here: https://quuxplusone.github.io/blog/2024/03/03/infinite-craft-theory/
Check out Arthur's slides here: https://bstn.cc/artifacts/arthurODwyer/infiniteCraft.pdf
-
Evan Boehs is a HIGH SCHOOL STUDENT who broke the freaking internet. What more do I need to say? Hire this kid. Maybe I will. It's a race.
Evan made an npm package called everything which installs everything. Then he got stuck in a dependency loop when someone tried to delete something. It turns out this is a nearly impossible problem to solve and he totally broke npm. Then a bunch of adults got made at him, when really, they should have been mad at themselves for building a bad system.
You can read Evan's full story here: https://boehs.org/node/npm-everything
-
Adam Karvonen was my coworker at Galois and is a bright guy doing really interesting stuff in the ML interpretability space. Today he joined us to present his work on Chess-GPT, you guessed it, a GPT model that can play chess. The punchline isn't so much how good the model is as it is how the model "thinks" -- Adam provides compelling evidence that the model internally reasons about an actual board state, and learns to make legal moves. The discussion on this one was great and we really appreciate that Adam took the time to talk to us! Also -- you should hire him! He's doing MATS but will be on the job market at the end of the Summer.
-
Max Ammann is a cybersecurity researcher at Trail of Bits, where he's recently been working on extending his Master's thesis work on fuzzing cryptographic protocols into an industrial-grade fuzzing tool. That work resulted in an S&P publication which is what he joined us to present today. This was a really good talk but also a great discussion, in large part because of the highly engaged audience (with representation from Galois, TwoSix, and academia!).
-
For this event, Holmes Wilson of Fight for the Future moderated a panel retrospective on the Pegasus malware. Our panelists were:
- Jonathan Rugman: Foreign Affairs Correspondent at Channel 4 News, BAFTA Award-winning journalist, visiting lecturer at University of London, and Senior Associate Fellow at RUSI.
- Raya Sharbain: education and communities coordinator at the Tor Project, and digital rights activist at the Jordan Open Source Association as well as the Digital Arabia Network.
- Elina Castillo Jimenéz: feminist human rights lawyer and digital activist at the Amnesty International Tech Lab.
- Prashant Anantharaman: former speaker at the club who completed his PhD at Dartmouth under Sergey Bratus and now works at Narf Industires. And …
- Hinako Sugiyama: international human rights lawyer and law professor at UC Irvine.
This was one of our best events ever and well worth the listen.
-
Mathias Preiner is a Research Scientist at Stanford University in the Centaur lab. He is one of the main developers of the SMT solver Boolector (since June 2012) and Bitwuzla -- which is what he joined us to discuss today. This was a good talk, but an excellent Q&A, and we really enjoyed it. Thanks Mathias for joining us today, and to the awesome audience for showing up with such deep and technical questions!
-
Today puzzle-maker Roger Barkan joined us to talk about the creation and solution of cave puzzles, a category of puzzle for which he's quite famous as a puzzle author. Jacob lead the conversation, using an interactive puzzle that he implemented with the help of ChatGPT (:0), and it was a ton of fun. We're super grateful to Roger for joining us today and we look forward to doing a follow-up event sometime in the future!
Jacob's interactive: https://bstn.cc/artifacts/jacobDenbeaux/cave.html
Buy Roger's book (you know you want to!): https://www.barnesandnoble.com/w/colossal-cave-collection-roger-barkan/1125542215
-
Jan Hennecke is an engineer and roboticist in Boston, MA. Jan has been a buddy of mine for ages, ever since we met at the Bernardo Faria Jiu Jitsu Academy where he told me a hilarious story about placing top-3 in his first half ironman while munching down on snickers. Today Jan joined us to talk about his work at RBTX, a marketplace and platform for low-cost automation. This was a really fun talk with a lot of audience engagement and I think many of you will find it interesting!
-
Today Christian Williams joined us to talk about his dissertation project, Logic in Color. This is a really exciting project which he is now working on post-graduation, which aims to re-frame the way we think about logic, and logics, using a largely visual medium. The key insight is that certain mathematical observations are made completely obvious simply by adding color to the areas enclosed by arrows in monoidal string diagrams. But from this key observation comes the more foundational view that really, all of mathematics and logic not only can be expressed visually, but in some sense, perhaps _is_ visual; that the medium is exposing something fundamental about the nature of thought itself. This sounds a little pretentious but it's actually just the opposite: it's a fairly radical effort to _simplify_ logic and category theory using a visual medium. And it's enormously exciting. We were really happy Christian gave us this ground-floor view on his project and we're super excited to see where it develops.
-
Todd Schmid
an Assistant Professor in the Computer Science Department of St. Mary's College of California. They are generally intereted in the algebraic, coalgebraic, and logical foundations of program semantics, and recently completed a PhD as a part of the PPLV group in the Computer Science Department of University College London. Today Todd joined us to talk about coequations, a fascinating (categorical) subject relating to the how we add algebraic structure to a space, how we think about relationships between spaces, and more. It turns out that coequations show up all over the place -- in DFAs, Markov chains, various PL concepts, etc. -- and so this is a place where the more abstract categorical stuff turns out to be really useful and illuminating for fairly concrete computer science ideas. Plus, coequations are just plain neat! We were really lucky to steal a little over an hour of Todd's time on this beautiful Saturday and we hope you enjoy the talk as much as we did. -
Avijit Ghosh is a Research Data Scientist at AdeptID and a Lecturer in the Khoury College of Computer Sciences at Northeastern University. He's a good friend of mine and was an element of my PhD cohort at Northeastern. He's also a well-respected researcher at the intersection of machine learning, ethics, and policy. You can read about some of his innovative and cross-disciplinary work, for example, in the New York Times.
David Widder is a Postdoctoral Fellow at the Digital Life Initiative at Cornell Tech, and earned his PhD from the School of Computer Science at Carnegie Mellon University. If you know me personally, you might remember David because he and I were simultaneously involved in parallel antics to fight non-consensual workplace sensors at CMU and NEU, respectively. Another funny coincidence is that David and I attended the same international boarding school program, called United World College. But most importantly -- David is a first-class researcher in the space of AI ethics.
Fabio Tollon is a South African philosopher of technology, currently completing a post-doc at the University of Edinburgh. Coincidentally, he taught a philosophy of science class that my fiancé took as an undergrad! Fabio's research focuses on developing a robust meta-ethical grounding in our approach to the ethics of AI. Without rigorous conceptual apparatus, Fabio argues (and we concur) that we will be lost in our ethical analysis of these emergent and ubiquitous artificial systems.
TODAY, we hosted a wonderful panel discussion on AI ethics, with the above three panelists, and moderated by the long-time Boston Computation Club member, mathematician, and data-scientist Wei Sun. This was extremely informative, a lot of fun, and wildly interdisciplinary. Wei guided the discussion in a number of interesting discussions, and then the panelists fielded questions form the audience at the end. We didn't have enough time to answer everyone's questions but listeners are highly encouraged to email the panelists for follow-up :) .
I'd like to thank all the panelists and Wei again for showing up and making this event the special moment in time that it was, and the diverse and highly engaged audience for participating in this project. This was a lot of fun and highly intellectually stimulating, and I hope we can do more events like this in the future.
- Mostrar mais
