Parisa Ataei, PhD

81 posts

Parisa Ataei, PhD

Parisa Ataei, PhD

@parisataei

FP, DSL, Type systems, Static analysis, Formal verification. Opinions my own. Food and lifting make me happy 🏋🏻‍♀️🤸🏻‍♀️☕️🧁🧇🍱🌮

Katılım Mart 2020
292 Takip Edilen97 Takipçiler
Parisa Ataei, PhD retweetledi
FUNARCH
FUNARCH@ACMFUNARCH·
The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category! #FUNARCH-2025-Call-for-Papers" target="_blank" rel="nofollow noopener">conf.researchr.org/home/icfp-spla… functional-architecture.org/events/funarch
English
1
7
3
1.4K
Parisa Ataei, PhD retweetledi
Béatrice Moissinac, PhD
Béatrice Moissinac, PhD@BeaBytes·
I think, therefore I am, but does AI "think"? The sudden democratization of genAI tools, especially those backed by Large Language Models (LLMs), has enflamed passionate innovators and snake oil merchants alike. But you don't have to be dupped! beabytes.com/ai-does-not-th…
English
0
1
1
73
Parisa Ataei, PhD retweetledi
Béatrice Moissinac, PhD
Béatrice Moissinac, PhD@BeaBytes·
AI, ML, RL, LLM, NLP, ChatGPT... Are you tired of the (AI)cronym salad? In AI as in Nature, things are messy. But in this article, I go over a simple nomenclature to sort it all out: - What AI can do? - How AI can do it? - Where can AI do it? beabytes.com/ai-word-salad/
English
0
1
1
65
Satnam Singh
Satnam Singh@satnam6502·
A great keynote talk by @natefoster at #POPL2024 called The Network is the Computer: A Programming Language Perspective. Nate is a well deserving recipient of the ACM Robin Milner Young Researcher Prize. I loved his emphasis on the value of teaching programming language concepts which equip students with problem solving skills that are widely applicable well beyond programming language design and research. This is something I see every day in my own work in industry on machine learning chips and compilers.
Satnam Singh tweet media
Islington, London 🇬🇧 English
8
11
106
17.5K
Parisa Ataei, PhD retweetledi
Matti Palli 🧙‍♂️
If you're looking for something to read I recommend Jeffrey Young's Haskell Optimization Handbook. Explains all the magic! Read a section or two before bed every night, and you'll be a Haskell wizard in no time! haskell.foundation/hs-opt-handboo…
English
1
10
53
3.4K
Parisa Ataei, PhD retweetledi
Nate Foster
Nate Foster@natefoster·
The @p4lang Language Design Working Group is pleased to announce version 1.2.4 of the P4 Language Specification. This version includes numerous clarifications and improvements (see Appendix A), especially to the type system. github.com/p4lang/p4-spec…
English
0
5
23
4.7K
Parisa Ataei, PhD retweetledi
Joan Baez
Joan Baez@joancbaez·
"We Shall Overcome" (with some lyrics in Farsi) for the unbelievably courageous women - and men - who are undaunted in spirit, song, and action, creating a new Iran. (video originally recorded in 2009)
English
1.3K
5.8K
17K
0
Parisa Ataei, PhD retweetledi
Dirk Schwindenhammer
Dirk Schwindenhammer@schwndnhmmr·
@SBalaghi Those artists are amazing and doing a great job to support the women and girls of Iran.
Dirk Schwindenhammer tweet media
English
46
1.9K
7.9K
0
Parisa Ataei, PhD retweetledi
doyougnu
doyougnu@do_you_gnu·
Coauthor here. Any feedback appreciated! We think that at the very least its important to document and detail how the flagship Haskell system grew into such an anti-modular design and arguable recreated problems pure fp should have made hard.
English
0
1
5
0
Parisa Ataei, PhD retweetledi
John Ericson
John Ericson@ericson2314_·
Very excited to be releasing this paper. @hsyl20 has been collecting the evidence for *years* on these issues, @do_you_gnu and helped push over the finish line.
English
2
2
8
0
Parisa Ataei, PhD retweetledi
🌵
🌵@fresheyeball·
Hiring even more #Haskell engineers! Full time, 100% remote, contract opportunities. DM for details. Give me a boost!
English
7
99
293
0
Parisa Ataei, PhD
Parisa Ataei, PhD@parisataei·
@naz_andalibi No worries ;) You just cancel and you can keep the band but you can't use the app anymore
English
0
0
1
0
Parisa Ataei, PhD
Parisa Ataei, PhD@parisataei·
@naz_andalibi you only pay for the subscription, the marketing is the band and the hardware is free once you subscribe. I'm not a big fan of this model but I do like its data so I've been using it for almost two years. I'd say it helped me a lot in learning about my body in terms of metrics.
English
1
0
1
0
Parisa Ataei, PhD
Parisa Ataei, PhD@parisataei·
@naz_andalibi So if you have a variable lifestyle (like grad school) it could be really useful. ow, I'd opt to have it for 6 months or so and then decide to continue. Also, it takes about a month to really give you accurate metrics so you need to give it some time to adjust to your body
English
1
0
1
0
Parisa Ataei, PhD
Parisa Ataei, PhD@parisataei·
@naz_andalibi eg, I know when I eat later at night it messes up with my recovery. how different drinks and their timing affect my recovery. how pausing my workouts for my defense or sth lowers my HRV. Or when I need to take more rest bc my recovery hasn't caught up. small things like these
English
1
0
1
0
Parisa Ataei, PhD
Parisa Ataei, PhD@parisataei·
@naz_andalibi I also wear an Apple Watch that I use mainly as a watch and quick notifications. Also, whoop doesn’t have a screen which is a plus for doing functional fitness and in my experience it’s more accurate than Apple Watch wrt burnt calories and strain of workouts.
English
1
0
1
0
Parisa Ataei, PhD
Parisa Ataei, PhD@parisataei·
@naz_andalibi I like my whoop for fitness and sleep tracking. It has good data analysis based on your nutrition, stress, mental health. And it taught me a lot about the effect of different foods/drugs, stress level, and workout on my health.
English
1
0
1
0
Parisa Ataei, PhD retweetledi
Pardis Emami-Naeini
Pardis Emami-Naeini@PNaeini·
I am strongly opposed to the so-called "quick guide" that has been circulating around to judge Iranian students' grad school eligibility. If you are applying from *any* school in Iran and need feedback on your application, email me at pardis@cs.washington.edu. RTs appreciated!
English
1
36
124
0