Cole Schlesinger

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

[P99CONF @P99CONF]

.@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: https://t.co/KMLANyJkWm

#rustlang #ScyllaDB

[Akita Software @AkitaSoftware]

📣 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:
https://t.co/ipt5JODKcq

May the fourth be with you.

[Nadia Polikarpova @polikarn]

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

[Cole Schlesinger @thatplguy]

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: https://t.co/P7hlRLMBJ4

[Cole Schlesinger @thatplguy]

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.

https://t.co/dlWl7xIqvW

[Cole Schlesinger @thatplguy]

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.

https://t.co/yKlkQACXT5

[Cole Schlesinger @thatplguy]

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. 🙏

[Cole Schlesinger @thatplguy]

@joannacss @ND_CSE Congratulations, Joanna!!

[Cole Schlesinger @thatplguy]

@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?

[Cole Schlesinger @thatplguy]

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. 📷

[Cole Schlesinger @thatplguy]

😁

[Cole Schlesinger @thatplguy]

@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 🙂

[Cole Schlesinger @thatplguy]

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!

https://t.co/uGYYIM0vos

[Cole Schlesinger @thatplguy]

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]

{\__/}
( • . •)
/ >♥️ 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. 📺

[Cole Schlesinger @thatplguy]

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

[✨ Jean Yang ✨ @jeanqasaur]

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

[Cole Schlesinger @thatplguy]

#6 now!

[✨ Jean Yang ✨ @jeanqasaur]

Hey cool, our @AkitaSoftware blog post is #7 on HN! 😮

https://t.co/zcTLeNWqCW

[Cole Schlesinger @thatplguy]

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!

[Cole Schlesinger @thatplguy]

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!

https://t.co/eqkPzY7hxD

[Cole Schlesinger @thatplguy]

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