|
This profile might be incomplete.
Open on mastodon.social Raghav AgrawalTwitter:
Personal infoAbout:
Independent design researcher. Writing a workbook that reinvents interface making paradigms for making tools to assist self-directed learning
Wall 3 posts
"Patrick McCray @patrickmccray.bsky.social If you're having a rough day, remember that in 1991 Tim Berners-Lee's paper for the World Wide Web was rejected and he was relegated to the poster session. https://bsky.app/profile/patrickmccray.bsky.social/post/3l4e4yrnt4u27 Woah A open source toolkit for building your own home By Joshua Pearce https://opensource.com/life/16/7/getting-serious-about-open-source-homes Overview – Open Building Institute CodeCrafters "Master programming by recreating your favorite technologies from scratch. This repository is a compilation of well-written, step-by-step guides for re-creating our favorite technologies from scratch" https://github.com/codecrafters-io/build-your-own-x The dev community continues to surprise me with it's ecosystem of free educational resources. It's really breathtaking |
Gregory's Server
@impactology @siracusa
No Bluesky links, please.
@impactology
Similarly, Tim Griffin's paper on giving a type to call/cc and the conclusion that call/cc implements Goedel's double-negation translation of classical logic into constructive logic was rejected from LICS, the top conference in Theoretical Computer Science.
His work has created a research industry that is still alive today, after 35 years, with thousands of papers.
He has the rejection letter hanging in a wall in his office.
LICS now has the "test of time award", but only for papers published in LICS.
They should also have test of time awards for papers that are rejected from LICS, so that something is learned from that.
@impactology
Similarly, Tim Griffin's paper on giving a type to call/cc and the conclusion that call/cc implements Goedel's double-negation translation of classical logic into constructive logic was rejected from LICS, the top conference in Theoretical Computer Science.
His work has created a research industry that is still alive today, after 35 years, with thousands of papers.
@impactology
since the thing isn't readable, and no one here is an expert on the state of the art then, hard to tell if this should or shouldn't have been a poster but why let facts spoil a snarky post ?