Research engineer at @AkitaSoftware. Background in programming languages, networking, and a bit of formal methods. He/him.
California, USA
Joined August 2016
- Tweets24
- Following224
- Followers180
- Likes395
Cole Schlesinger retweeted
.@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
Cole Schlesinger retweeted
📣 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.
Cole Schlesinger retweeted
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😊)
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!
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
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!
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…
Looking forward to chatting with some @poplconf folks tomorrow!
👋 @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/P…
I am @thatplguy and I support this message 😄
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. 🙏
At a startup, you get to do all the things 😄
Thank you @thatplguy for being the best official company photographer I have ever met. 📷
That one trick SaaS providers don't want you to know 😉
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/…
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!
{\__/}
( • . •)
/ >♥️ 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 retweeted
👋 Question for the developers out there! Which of the following do you worry about the most when you send data across APIs?
53%Type/data format errors
20%Data leaks
25%Emergent perf issues
3%Write-in option
117 votes • Final results#6 now!
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!
This quoted post is unavailable.
SUPER excited to start sharing some of the stuff we’re working on. Turns out analyzing APIs is really interesting!
🚀 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/…
Cole Schlesinger retweeted
There has been a lot of discussion around contact tracing apps for COVID and the security/privacy guarantees that they can give. What's been missing is discussion around how we know the apps actually do what they're supposed to. Right now, we don't. ☠️ bbc.com/news/uk-52732818
Thrilled to announce I'm joining @barefootnetwork! Focus: P4 language/compiler/tool chain for programming reconfigurable packet processors!