12. Have a question or want to get in touch? Find us in the Subramonian Shankar Block (SSB) on the IIT Madras campus. Reach us at [email protected]: whether it's about research, partnerships, or just to say hello.
https://t.co/53wLBKOeRU
11. Keep up to date: new talks, open positions, and events. Follow us here, find us on LinkedIn at
https://t.co/kT8Rx9R3qM, or join our newsletter by emailing [email protected] with the subject "Subscribe to Newsletter".
https://t.co/i9pljuhJMc
Continuing the prelude to the @fp_launchpad kickoff, RS Nikhil will give a talk on property-based testing of pipelined CPU hardware.
https://t.co/e5xBjZEzj9
The talk is open to all.
Nik Swamy @lambdaNik is visiting @fp_launchpad on Tuesday, April 7th and is giving a talk on "Agentic Proof-oriented Programming".
https://t.co/9D9WI3JdYn
Shout-out to Sai, who hacked across the stack -- writing OCaml for MirageOS unikernels, hacking on the OCaml and Clang compilers, hacking linkers, hacking firmware to get bare-metal setup, and hacking Bluespec to extend the Shakti RISC-V processor with security extensions!
Applications are open for the FP Launchpad Post-Baccalaureate Fellowship at IIT Madras, a fully funded 2-year fellowship in systems and functional programming.
Build real systems, publish research, contribute to open source.
https://t.co/oZOknz3xQC