Nathaniel (Nate) Yazdani
@nate_yazdani
PL/FM researcher @this_is_STR and PhD student @neu_prl. Former BS/MS student @uwplse, intern @bedrocksystems, intern @IMDEA_Software. @[email protected]
You might like
Mike just casually dropped the following on github last night, which is a new proof assistant that implements a type theory that is a common generalisation of dTT and HOTT! github.com/mikeshulman/na…
Objection! A Language Lawyer Story 🔊 for my awful voice acting
I'm happy to announce a new release of Functional Programming in Lean, a free book on programming in the Lean theorem prover. A number of mistakes have been fixed and the text has been brought up to date with the changes in Lean version 4.1.0. It's here: lean-lang.org/functional_pro…
Hey corporate/lab folks: anyone looking to hire strong graduating undergrads interested in PL and verification? Here's a blurb I asked them to write about themselves.
The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at: etaps.org/2024/conferenc…
pliss.org/2023/ PLISS the language implementation summer school will have talks from @AntonyHosking @smarr @drossopoulou @Felienne @philwadler @tobiaswrigstad @davidpichardie and more... It is open to all students interested in PL, there is still time to register...
With the help of a wonderful team @WIRED, I recently had the chance to try to explain how mathematicians think about infinity at five levels of increasing complexity. You can see our conversations at the link below:
To infinity and...beyond? While the concept of infinity may seem mysterious, mathematicians have developed processes to reason the strange properties of infinity. Mathematician @emilyriehl has been challenged to explain infinity in 5 levels; from child to expert.
I find this chart delightful.
⚛️📋 I made an overview of the ARMv8 and x86-64 machine instructions for all the common atomic operations:
Computing weakest precondition of Imp programs directly in Z3. Requires reflection of smtlib expressions into expression datatypes and representing the variable store as an array. In principle, smtlib is it's own macro system.
Illinois Theorem Provers, 2022 update
The @ECOOPconf proceedings are officially out. 36 papers full of objects, functions and other fun PL thingies. Check it out. dagstuhl.de/dagpub/978-3-9…
The fellowship for industry-independent transitional funding for PhD students to get out of unhealthy environments I want to start has a name now: Computing Connections Fellowship. And I've got a president and a vice president, and a host 501(c)(3) pending some paperwork.
Exciting news: I’m joining STR (str.us) as a Programming Languages Researcher, working with their growing team of stellar folks in formal methods! @this_is_STR
stolen from the University of Utah slack
A tweet thread by one of the actual authors of that link (prefetchers.info) shared earlier!
We found a way to leak data on Apple Silicon processors that is "at rest": that is, data the core never reads speculatively or non-speculatively. This will be an odd one, so stick around for the 🧵 and see prefetchers.info
United States Trends
- 1. Pond 225K posts
- 2. Kim Davis 6,786 posts
- 3. #IDontWantToOverreactBUT 1,120 posts
- 4. Marines 42.4K posts
- 5. Semper Fi 8,661 posts
- 6. Go Birds 7,565 posts
- 7. #MondayMotivation 43K posts
- 8. #MYNZ N/A
- 9. Obergefell 4,541 posts
- 10. Veterans Day 21K posts
- 11. Edmund Fitzgerald 6,991 posts
- 12. #5SOS_SELFIEDAY N/A
- 13. #BudHolidayDelivery N/A
- 14. Correísmo Nunca Más N/A
- 15. Good Monday 52K posts
- 16. Ken Burns N/A
- 17. JUST ANNOUNCED 32.3K posts
- 18. Victory Monday 3,976 posts
- 19. The BBC 575K posts
- 20. De Niro 2,157 posts
Something went wrong.
Something went wrong.