by cwzwarich on 12/22/2024, 2:41:47 AM
by evaneykelen on 12/22/2024, 8:09:40 AM
In a previous discussion the name of Gary Davidian is mentioned who also — initialy single-handed — did amazing work on architecture changes at Apple. There’s an interview with him in the Computer History Museum archive.
by revskill on 12/22/2024, 10:53:51 AM
The linkedin back button is weird. Instead of coming back to hn after back button, it goes to its homepage.
by brcmthrowaway on 12/22/2024, 2:40:42 AM
What is Lean FRO?
by jviotti on 12/25/2024, 1:06:03 AM
How is the Lean non-profit getting funded to be able to afford such great devs? How does that work in general?
by danielktdoranie on 12/22/2024, 9:28:22 AM
I am pretty sure “lean” is that codeine cough syrup rappers drink
by ein0p on 12/22/2024, 9:14:54 AM
Apple just seems to be bleeding talent left and right. I wonder what's going on over there to cause people to leave when the job market is as uncertain as it is right now.
This is me! Didn’t expect to see this on here, but I’m looking forward to working with everyone else at the Lean FRO and the wider Lean community to help make Lean even better.
My background is in mathematics and I’ve had an interest in interactive theorem provers since before I was ever a professional software engineer, so it’s a bit of a dream come true to be able to pursue this full-time.