🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Who called it bidirectional typing and not stereotypes?

We are delighted to announce our partnership with Jane Street to establish Circles, a new initiative that will support groups of 3–6 researchers for four weeklong visits to the Simons Institute over two years to work on an ambitious research project. simons.berkeley.edu/participate/ci…

Living in Ithaca, where winter settles in for about 9 months a year, 3/4 of my emails are cold emails.

Danby gravel with the crew

I got carded buying a six -pack of Athletic Brewing today. The cashier: “When you were a teenager you needed a fake ID to buy real beer. Now you’re in your 40s and need a real ID to buy fake beer!”

Truly, the answer to Ultimate Question of Life, the Universe, and Everything… ☕️

what_a_time_to_be_alive.gif

Team 545: band of brothers 🥶

View a video on-demand, “P4-SpecTec - Mechanized Language Definition for P4”, presented by KAIST at the P4 Workshop. The proposal aims to formalize the P4 language in SpecTec DSL | bit.ly/40wdOYT #P4 #P4Workshop #OpenSource

Operating Systems papers should be 140 characters, not 12 pages. Oh wait, we just invented TinyToCS

Come work with the #P4 Team! We apply #formalmethods to make Google 's network #infrastructure more reliable, predictable, and faster to evolve. We have an incredible team, including Jonathan DiLorenzo and Ali Kheradmand. Check out our recent talks to learn more: p4.org/p4_events/2023…

Cornell PL 🤝 UW PLSE

Looking for Mark Hopkins at Williams College

TFW you make me and Behaz Arzani the PC Co-chair of your conference...

Overfull \hbox (2.64831pt too wide)

Want to help build the future of functional programming? The OCaml Language team at Jane Street is doing groundbreaking work on making OCaml a better language for high-performance programming, while preserving the ease-of-use that makes OCaml great today.

This is a short note on my experience as an immigrant and new American. The timeline is this: - 2002: moved from India to attend Grinnell College, Iowa - 2006: started PhD in computer science at Brown University, Rhode Island - 2012: started as a postdoc scholar at Cornell

We are looking for an individual who will promote, nurture and grow the P4 ecosystem. This is a technical role, ideal for an individual from a hands-on software engineering background in networking . Learn more and apply | bit.ly/43F9OFm #P4 #Job

I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.