Cole Schlesinger

24 posts

Cole Schlesinger

@thatplguy

Research engineer at @AkitaSoftware. Background in programming languages, networking, and a bit of formal methods. He/him.

California, USA Katılım Ağustos 2016

224 Takip Edilen183 Takipçiler

Cole Schlesinger retweetledi

P99CONF@P99CONF·7 Eyl

.@AkitaSoftware's Founding Engineer @markgritter will dive into 'Taming Go's Memory Usage and Avoiding a Rust Rewrite at #P99CONF, the free + virtual event on all things P99. 💙 Join us Oct 19-20: bit.ly/3cWLyZd #rustlang #ScyllaDB

English

Cole Schlesinger retweetledi

Akita Software@AkitaSoftware·4 May

📣 CALLING ALL DEV TOOLS ENTHUSIASTS 📣 Akita is hiring! Whether you're an early-career engineer looking to get into the space, or a senior person looking for a like-minded team, we'd love to hear from you. More here: akitasoftware.com/jobs May the fourth be with you.

English

Cole Schlesinger retweetledi

Nadia Polikarpova@polikarn·27 Nis

One month until the Haskell'22 abstract deadline, and submissions are now open: haskell22.hotcrp.com ! Please send us your wildest Haskell ideas! (And the not so wild ones too😊)

English

Cole Schlesinger@thatplguy·6 Nis

Very excited to see this out! It was a real joy to work with @AaronGuo069, @cao_sh, Davin Tjong, and @polikarn – such an amazing group!

Nadia Polikarpova@polikarn

Our paper with folks from @AkitaSoftware on helping programmers use REST APIs via program synthesis to appear @PLDI'22! Extended version: arxiv.org/abs/2203.16697

English

Cole Schlesinger@thatplguy·1 Nis

Excited to see this come together. If you've ever spent hours logdiving only to realize you forgot to log that one critical bit of info, take a look!

Akita Software@AkitaSoftware

This April 1, we’re excited to introduce our newest product: ⛓ Akita #Logchain ⛓. Like many reputable fashion designers, we’ve decided to “go retro” by adapting technology from the era of Web 0.3 to the age of Web 3.0. akitasoftware.com/blog-posts/man…

English

Cole Schlesinger@thatplguy·27 Oca

Looking forward to chatting with some @poplconf folks tomorrow!

Akita Software@AkitaSoftware

👋 @poplconf people! If you're curious about what it would be like to join an early-stage startup with @jeanqasaur, @thatplguy, and other POPL-y people, come find us tomorrow at our Airmeet booth. popl22.sigplan.org/details/POPL-2…

English

Cole Schlesinger@thatplguy·14 Eyl

I am @thatplguy and I support this message 😄

✨ Jean Yang ✨@jeanqasaur

Last year, @thatplguy taught himself frontend and has been doing an incredible job. But we want to free him up to do more backend and PL magic! Please help us find a frontend person so Cole can get back to the backend. 🙏

English

Cole Schlesinger@thatplguy·13 Nis

@joannacss @ND_CSE Congratulations, Joanna!!

English

Joanna C. S. Santos@joannacss·13 Nis

I am thrilled to share that I will be joining the @ND_CSE at the University of Notre Dame this Fall. 😊

English

248

Cole Schlesinger@thatplguy·13 Mar

@jeanqasaur @darrel_miller I love this idea! Great for more precise specs, and also better tooling around data formats, e.g. validation, conversion between equivalent formats, etc. How do you see the registration working? Curated? Or like a package manager for types?

English

✨ Jean Yang ✨@jeanqasaur·13 Mar

@darrel_miller This is really cool!! @thatplguy is the one who has been doing the type and data format work, so I'll let him weigh in.

English

Cole Schlesinger@thatplguy·11 Kas

At a startup, you get to do all the things 😄

✨ Jean Yang ✨@jeanqasaur

Thank you @thatplguy for being the best official company photographer I have ever met. 📷

English

Cole Schlesinger@thatplguy·29 Eki

😁

ART

Cole Schlesinger@thatplguy·28 Eki

@timperrett @jeanqasaur @AkitaSoftware So far, we've pulled in HM type inference, mutation-based fuzzing, spec mining, and something like link layer discovery protocol but for data flows through RESTful services. And there are fun systems problems to solve to build the backbone of the product. Happy to talk more 🙂

English

✨ Jean Yang ✨@jeanqasaur·16 Eki

{\__/} ( • . •) / >♥️ u like hard systems and/or PL problems? {\__/} ( • . •) / >♥️ u want to help build the future of programming tools? {\__/} ( • - •) ♥️< \ come work with us at @AkitaSoftware Stay tuned for more info about our open senior engineer positions. 📺

English

Cole Schlesinger@thatplguy·21 Eki

That one trick SaaS providers don't want you to know 😉

Akita Software@AkitaSoftware

Want to script against Notion? Our PM @chriscorcoran writes about our new feature for learning an API spec for ANY website. All you need is Akita and a web browser! akitasoftware.com/blog/2020/10/2…

English

Cole Schlesinger@thatplguy·16 Eki

Do you feel like your life doesn't have enough ASCII art, emojis, or work with cutting edge tech? We can help with that 😄 Seriously though, Akita is an amazing mix of research and good old-fashioned hard CS problems driven by real customer need. Come work with me!

✨ Jean Yang ✨@jeanqasaur

English

Cole Schlesinger@thatplguy·7 Eki

@jeanqasaur @mengwong Oh neat, excited to take a look!

English

✨ Jean Yang ✨@jeanqasaur·6 Eki

@mengwong Oh wow, this is very interesting, thank you for sharing!! @thatplguy let's take a look at these.

English

Meng Weng Wong@mengwong·6 Eki

@jeanqasaur hey, I came across this paper today and thought of @AkitaSoftware. These are colleagues at my institution, so if you'd like I'd be happy to make an introduction. ink.library.smu.edu.sg/cgi/viewconten…

English

Cole Schlesinger retweetledi

✨ Jean Yang ✨@jeanqasaur·25 Eyl

👋 Question for the developers out there! Which of the following do you worry about the most when you send data across APIs?

English

Cole Schlesinger@thatplguy·23 Eyl

#6 now!

✨ Jean Yang ✨@jeanqasaur

Hey cool, our @AkitaSoftware blog post is #7 on HN! 😮 news.ycombinator.com/item?id=245611…

Cole Schlesinger@thatplguy·4 Ağu

I joined Akita during lockdown, and everyone here has gone overboard to make me feel part of the team. Super impressed, no regrets. If you want to work on turning cutting-edge research into real, useful tools, please join us!

English

Cole Schlesinger@thatplguy·31 Tem

SUPER excited to start sharing some of the stuff we’re working on. Turns out analyzing APIs is really interesting!

✨ Jean Yang ✨@jeanqasaur

🚀 APIs help things go faster 🤯 BUT APIs also cause an ever-spiraling web of dependencies At Akita, we're cleaning up the API dependency graph--using some out-there applications of PL that turn out to actually work. Would love to hear your thoughts! akitasoftware.com/blog/2020/7/29…

English

Cole Schlesinger@thatplguy·21 May

@mustach_io Silver lining: Easier to read everyone’s names on Zoom than on tiny name tags!

English

Nathan "el bigode" Dautenhahn@mustach_io·21 May

@thatplguy To be honest, I'm not sure you can replace "bumping into a human being" and getting a good interaction. Although I guess you do eliminate the awkward ones :D.

English

Nathan "el bigode" Dautenhahn@mustach_io·21 May

Great article from Timothy Roscoe on attending Virtual EuroSys. sigarch.org/reflections-on…

English

Keşfet

@AkitaSoftware @markgritter @cao_sh @polikarn @poplconf @joannacss @ND_CSE @jeanqasaur