olydis's profile picture. Programming language nerd. Used to build dev tools at Microsoft, now at Facebook.

Johannes Bader

@olydis

Programming language nerd. Used to build dev tools at Microsoft, now at Facebook.

Joined August 2015
Similar User
TheCamdar's profile picture. graduate student, functional programmer, PL guy

webmaster @ https://t.co/Am98rGGYu0

https://t.co/7G3wY7Zc4z
https://t.co/vTt5kgaSR9

@TheCamdar

icmccorm's profile picture. PhD Student in Software Engineering @S3DatCMU. Studying unsafe Rust 🦀

@icmccorm

catarinavgamboa's profile picture. PhD Student
🖥️ Software Engineering @S3DatCMU and @lasige
✈️ Currently: Pittsburgh, US
📍From: Olhalvo, Lisbon, PT
Check out LiquidJava!!

@catarinavgamboa

TDurschmid's profile picture. PhD Student in Software Engineering @SCSatCMU. @HPI_DE alumni
Looking for teaching-focused faculty jobs in software engineering.

@TDurschmid

ParkyMatthew's profile picture. Working at Microsoft Research on various programming language things.

@ParkyMatthew

KyleLiang16's profile picture. 6th Year Ph.D. candidate at CMU
On the job market this year!
https://t.co/kN85rcZKdK

@KyleLiang16

Das8Ankush's profile picture. Asst. Prof. @BU_Tweets. Previously Applied Scientist @Amazon. PhD from @CSDatCMU. Interned @MSFTResearch and @Meta. Ugrad @iitbombay.

@Das8Ankush

joshsunshine's profile picture. Assistant Professor @SCSatCMU. Projects: https://t.co/8hZpAqeFig, https://t.co/Q77K2rMxK4, https://t.co/ykdzjx0jwy, and https://t.co/CRExybHPdy

@joshsunshine

wise_jenna's profile picture. Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. https://t.co/P6YWIgpbb9.

@wise_jenna

eskang09's profile picture. Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.

@eskang09

Johannes Bader Reposted

We're looking to hire a second person for this role! If you're interested and you happen to be at ICFP next week, I'd love to talk to you about it! (Not that this is at all restricted to functional programming types!)

Jane Street is looking for someone to focus on our internal developer education program. Please retweet and generally repeat this to anyone you think might be a good fit! More here: blog.janestreet.com/hiring-a-devel…



Johannes Bader Reposted

Tired of overblown quantum hype? Ready to learn the truth about quantum computing? Then pull up a chair at The Cartesian Cafe to get a masterclass from Scott Aaronson and some quantum straight talk: youtu.be/qs0D9sdbKPU Trailer video (1/n):


Johannes Bader Reposted

facebook.com/careers/jobs/6… We are looking for an engineering manager for our Differentiable Programming Team. Either Industry or academic background. DM me if you are interested.


one "1" missing in the link :) arxiv.org/abs/1902.06111

Final slide, authors and a link to their paper. arxiv.org/abs/1902.0611

_3Jane's tweet image. Final slide, authors and a link to their paper.
arxiv.org/abs/1902.0611


Johannes Bader Reposted

Followup talk by a team from Facebook: Scott, Bader, and Chandra - presenting Getafix at #CurryOn

_3Jane's tweet image. Followup talk by a team from Facebook: Scott, Bader, and Chandra - presenting Getafix at #CurryOn

Johannes Bader Reposted

Want to collaborate with my team on Programming Languages ∩ Systems ∩ ML? We might fund your proposal! research.fb.com/programs/resea…


Johannes Bader Reposted

Some of the awesome work my team at Facebook is doing to make developers more productive by having machines fix bugs for them. code.fb.com/developer-tool…


Johannes Bader Reposted

Programming Language Enthusiasts Mind Melt (PLEMM) in Seattle is happening May 17th/18th. If you are local to Seattle and interested in attending, please email me at PLEMMSeattle@fb.com for more details.


Johannes Bader Reposted

Semantics of covfefe by Derek Dreyer at #POPL2018

kondziu's tweet image. Semantics of covfefe by Derek Dreyer at #POPL2018

Johannes Bader Reposted

ChalkTalk 2.0: Atypical a type system for live performances


Smart move @fearthecowboy, this kind of setup makes me wanna spend as much time at work as possible... I should probably just live there.

My protégé @olydis is learning well...



Johannes Bader Reposted

My first cut of a nodejs tool to install the dotnet framework (not SDK yet) npmjs.com/package/dotnet…


Johannes Bader Reposted

PSHHH! Branches are for chumps! My branches always have the same name as I do: "Master"


Johannes Bader Reposted

Amazon's headquarters right now 🔥 #aws #s3


Johannes Bader Reposted

My new college hire is ... so very young. It will be fun to watch his eagerness and enthusiasm darken into misery and desperation :D


Johannes Bader Reposted

If this doesn't get me matches on Tinder I don't know what will

acid2's tweet image. If this doesn't get me matches on Tinder I don't know what will

Johannes Bader Reposted

Move Type to File (with same name!) coming soon to @VisualStudio "15"! Just press "Ctrl+." #tipoftheweek @roslyn


Johannes Bader Reposted

Try C# 7.0 now! Read all about it here and tell us what you think! blogs.msdn.microsoft.com/dotnet/2016/08…


Loading...

Something went wrong.


Something went wrong.