Lef Ioannidis
LightNews LightNews
elefthei.bsky.social
Lef Ioannidis
@elefthei.bsky.social
34 followers 21 following 2 posts
PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Posts Replies Media Videos
elefthei.bsky.social
Damn I really am writing a whole theory thesis. Not one experiment in this bad boy
December 4, 2024 at 9:20 PM
elefthei.bsky.social
Hackernews is lit here! #bluesky
newsycombinator.bsky.social Hacker News Bot @newsycombinator.bsky.social · Sep 28
RZK: Experimental proof assistant for synthetic ∞-categories (github.com)

Main Link | HN Post
November 23, 2024 at 5:00 AM