.@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
๐ฃ 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.
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๐)
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
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
๐ @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
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. ๐
@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?
@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 ๐
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
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. ๐บ
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!
๐ 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