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

San Andreas, CA, USA
Joined March 2007
I am seeking research collaborators and mentees on the topic of correct and efficient hardware and software engineering with *simple* and precise specifications. github.com/conal/Collaborati…
1
11
1
39
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,574
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
My daughter Friday's Kickstarter campaign is down to the last two days: kickstarter.com/projects/fri… .
1
3
1,553
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,384
1,652
49,400
11,907,397
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,405
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,134
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 xitter.cf/artfanszone/status/166…
229
5,776
483
44,902
2,309,060
The fundamental difference between the liberal and the illiberal outlook (Bertrand Russell) books.google.com.my/books?id…
15
130
15
481
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,610
2,041
110,561
12,865,167
I'm open to collaboration, mentoring, consulting, employment, etc---especially on correct/proved & efficient HW & SW (github.com/conal/Collaborati…). Please reach out if interested!
1
4
26
2,775
Preferably by email. (See bottom of conal.net .)
1
647
New paper "Timely Computation" (ICFP 2023): conal.net/papers/timely-comp… .
2
12
2
56
9,308
Comments most welcome! Final camera-ready version due July 18, so if you spot any errors before then I'd love to hear.
6
892