Conal Elliott (@conal) profile picture

Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://teapaw.org/t.co/qDqyBbWKnm . https://teapaw.org/t.co/TsY4j2QJwu

San Andreas, CA, USA
Joined March 2007
Photo by Conal Elliott (@conal)Photo by Conal Elliott (@conal)Photo by Conal Elliott (@conal)Photo by Conal Elliott (@conal)Photo by Conal Elliott (@conal)
Conal Elliott retweeted
I feel a lot of pressure to be a graphs and charts computer scientist, a quantitative computer scientist. I hate it, and I've spent most of my career doing exactly the opposite of what Hennessy and Patterson have espoused. I want to be qualitative computer scientist. I am very happy with the subjective rather than so called objective. I believe there is value in an idea or concept that does not need to be subjected to the Spanish Inquisition of a PLDI paper review. I believe there is truth in beauty, and it does not need to be measured by a Ruler.
14
12
2
152
16,575
Conal Elliott retweeted
through a shocking turn of events I am moving back to sf (for biz money reasons). if you know of a cat-friendly 2b/2b in a safe, walkable hood, let a sis know 🙏🏽
7
2
1
30
38,631
Einstein slept nearly 10 hours a day. He valued the significance of quality sleep for maintaining his well-being. His sleep routine, though, was out of the ordinary. He regularly indulged in brief daytime naps, occasionally more than once a day. These quick naps, lasting just a few minutes, were thought by Einstein to revitalize his mental energy and creative thinking. He felt that these short periods of rest gave him a renewed viewpoint to solve intricate scientific challenges.
1,136
6,378
1,652
49,357
11,907,450
Conal Elliott retweeted
If you've been wired to optimize for achievement, actually leaning into the "real work" you are meant to be doing can feel really bad. This is because you have to mourn the loss of identity you had tied to achieving other people's goals. Not to mention the time it takes to lean into what you are truly meant to do. I think one of the biggest scams of modern work culture is the idea of "Ikigai" - it's this made up western interpretation of a Japanese word and includes a diagram convincing people that "what you can be paid for" is a reasonable thing to expect from work I think if you want to find something only you can do, you must completely release attachment from any sort of outcome, impact, money, respect, etc... In clinging to these expectations, we often take shortcuts to solve for those rather than deepening our connection to the work we are meant to do. The world convinces far too many (including me in my twenties) that we CAN have it all. But the truth is that you can't be anything you want to be you can only be what you truly are. We think doing your own thing is this grand celebration of autonomy and self-determination, not to mention an inevitable arrival at achievement But from what I've seen that only comes sometimes after someone releases to the tragic reality that our interests, curiosities, desires, and proclivities don't fit into an achievement-shaped path. Some people are wired for this of course but its quite hard to tell how many people are deluding themselves and how many are truly meant to be doing that thing. The start of a path that feels good is often filled with sadness and mourning of a past identity, one that got you where you are but won't help you be the person you know you can be.
1
7
41
5,144
Conal Elliott retweeted
Here's where we are leading up to SPLASH 2023! We have seen an extended global reach for mentees, primarily in South America. We have also seen growth in the number of mentees, but the number of mentors have been stable. We are badly in need of new mentors. Please sign up!
1
7
14
5,406
Conal Elliott retweeted
The proceedings of ICFP 2023 - PACM PL, Vol. 7, Issue ICFP has now been published in the ACM Digital Library: dl.acm.org/toc/pacmpl/2023/7…
1
25
1
63
15,135
Conal Elliott retweeted
I would highly recommend @conal 's stirring call-to-arms on writing correct software. Start at around 9 m and listen until around 12m12s youtube.com/watch?v=k6rY5Mvx…
4
17
2,225
Conal Elliott retweeted
You cannot do formal verification after the fact.
3
4
11
1,395
Conal Elliott retweeted
A carved stone marble run by Tsubota Stone Shop, Japan teapaw.org/artfanszone/status/166…
229
5,771
483
44,863
2,309,072
The fundamental difference between the liberal and the illiberal outlook (Bertrand Russell) books.google.com.my/books?id…
15
130
15
482
57,823
Conal Elliott retweeted
We’re Mostly Trying to Escape This Moment zenhabits.net/escape/
6
1
18
4,885
Can’t stop laughing.. 😂
995
19,598
2,041
110,478
12,865,330
Conal Elliott retweeted
Second call for papers for the JFP Special Issue on Program Calculation. Submission deadline 1st December 2023. Please RT, and submit your best papers! tinyurl.com/prog-calc
6
10
1,904
Conal Elliott retweeted
moving triangle waves #art #loop #creativecoding #generative
3
30
300
13,692
Puppy and a butterfly.. 😊
58
716
53
6,325
459,438
A reminder that Elsevier made $10.5 BILLION in 2022 from selling your academic journals and articles behind paywalls, and make more profit than Amazon, Google, and Apple every year… And paid the academics who wrote the articles $0 And paid the reviewers of the articles $0
219
6,323
713
21,762
3,083,774
Conal Elliott retweeted
Collab with @Yann_LeGall
17
221
17
1,984
189,001
Conal Elliott retweeted
Discovery 50804 #gif #abstract #design #geometry #generative #retro #digitalart (via spiromaniac)
10
1
63
2,932
Replying to @conal
@conal This thing has been listening to your podcast interviews... 🙂
2
2
6
696
Conal Elliott retweeted
A light bulb moment for me was realizing that much of the talk about student "motivation" (how to boost it or why a given kid lacks it) is really code for talking about compliance - that is, the extent to which students do whatever we tell them.
9
60
4
304
32,425