seL4 kernel hacker & engineering magician. Don't get me wrong, I LIKE code review.
Sydney
Joined January 2010
- Tweets1.1K
- Following236
- Followers231
- Likes337
Anna Lyons retweeted
An ultrasound of the scrotum attracts a higher government rebate than an ultrasound of a breast. It's just one example of the Gender Medicare Gap, that is seeing women paying more for health services.
Dr Kara Thompson shares more.
womensagenda.com.au/latest/t…
Ghost sydney is hiring! Talk to me if our open roles look interesting to you.
grnh.se/e8b8f8825us
grnh.se/c9603a435us
Anna Lyons retweeted
Excellent @HarvardBiz piece from @cindygallop @drtcp.
Couldn’t agree more about the point re champions, not mentors.
“Women don’t need mentors. Women need what men get all the time – someone prepared to go out on a limb for them.” hbr.org/2021/04/7-pieces-of-…
Anna Lyons retweeted
Common Ground Towers is right next door to the council housing where I grew up.
And right now they need help.
There have been positive cases, and they've just gone into a hard lockdown.
Huge shoutout to the wonderful @addi_road for sending in food hampers straight away.
Common Ground Towers, Camperdown, has been locked down this morning.
@addi_road received a call from residents & we’ve packed 100 extra hampers this morning. The first of many deliveries in coming days.
All our volunteers are thinking of you all 💜 @sammostyn @annabelcrabb
Anna Lyons retweeted
We brought a hackable quadcopter with defenses built on our HACMS program to @defcon #AerospaceVillage. As program manager @raymondrichards reports, many attempts to breakthrough were made but none were successful. Formal methods FTW!
Anna Lyons retweeted
63 studies: women who assert their ideas, make direct requests, and advocate for themselves are liked less.
They're also less likely to get hired—and it hasn't improved over time.
It's 2021. When will we stop punishing dominant women for violating outdated gender stereotypes?
Anna Lyons retweeted
Have been spending a lot of time thinking about what it’s like being a woman in tech and sexism, and thought of this simple analogy based on an episode of my favorite TV show, Better Off Ted. (1/n)
Dry July: Lockdown edition! Please consider donating. On the upside I'm not missing events, on the downside, I'd really like a drink:
dryjuly.com/users/anna-lyons…
Anna Lyons retweeted
Ghost Locomotion, which develops highway self-driving and crash prevention technology, raises $100M Series D led by Sutter Hill (@breadfrom / TechCrunch)
techcrunch.com/2021/07/01/gh…
techmeme.com/210701/p20#a210…
Anna Lyons retweeted
This point, about making a non-judgmental distinction between "precise" and "approximate" software, was a really good one made by Butler Lampson at the John Lions lectures last week. I hadn't really thought of it this way before - as much as I should have
ia.acs.org.au/article/2021/t…
Anna Lyons retweeted
I’m thrilled to announce that @UNSWComputing has stepped up and is funding trustworthy.systems to the end of the year. This will enable the creators of #seL4 to establish a sustainable base for continuing #security and #safety R&D
Joooiin us
At Ghost our mission is self-driving for everyone. We're hiring in Sydney and Mountain View – looking for great systems engineers, people with a passion for formal methods, operating systems, languages, machine learning, full stack, and leadership. PM me. gh.st