Ron Cahlon

Trying to find my voice

[Ron Cahlon @roncahlon]

Formal methods don't make sense for most coding tasks, but it's interesting to see AI lower the barrier for high consequence systems. I wonder what other use cases will start leveraging them. Kudos to Jane Street for sharing the work.

[Yaron (Ron) Minsky @yminsky]

I've been telling people for 25 years that Jane Street is not interested in formal methods.

No more!

And we're actively hiring to form a new formal methods team!

[Ron Cahlon @roncahlon]

Great experiment showing how open source models (20-30B params) can be used to get Mythos level performance at identifying vulnerabilities.

[clearbluejar @clearbluejar]

https://t.co/1ysnKWC587

[Ron Cahlon @roncahlon]

@__katz__ Is this financial advice?

[Ron Cahlon @roncahlon]

Curious what other devs are experiencing. Are you still sketching/architecting visually, or mostly just prompting agents now?

[Ron Cahlon @roncahlon]

Are architecture diagrams dead?

Started building a new feature at https://t.co/iDaRuLmERt that has to integrate in a complex system that I haven’t touched in a while. This really got me thinking about how we make sense of code bases in the era of coding agents.

[Ron Cahlon @roncahlon]

Are diagrams kinda dying? Or do humans still need that spatial/visual understanding that text + agents can't fully replace?

[Orange Book 🍊📖 @orangebook]

You just need to take a good look at all the older people who didn't get to live the life they wanted, and it will become obvious that the causes are always the same, generation after generation:

[Ron Cahlon @roncahlon]

@BillAckman Hey Bill, I’m a big fan of yours and really appreciate your public support of the Jewish people and Israel.

We are hosting a retreat for our Zaka heroes. I would really appreciate if you could help out or share with your network: https://t.co/xuVxicvOq4

[Ron Cahlon @roncahlon]

Life is long enough to recover from mistakes, but too short to not make them.

[Ron Cahlon @roncahlon]

Growth is made in the unknown. The hero’s journey is not just a quick story it is a lifelong mission of growth through discomfort.

[Ron Cahlon @roncahlon]

@ankurnagpal Nice 👍

[Ron Cahlon @roncahlon]

@GregKamradt Love this Greg! Super excited to see how the competition unfolds.

[Ron Cahlon @roncahlon]

@NeelBParekh Interesting thread. Besides marketing and ops, what is the incentive for an experienced industry professionals
like a locksmith to work under/with you? How much of the revenue goes to the people doing the job vs you at your desk?

[Ron Cahlon @roncahlon]

@jphme @langchain Hey Jan, yes the code is available here. https://t.co/7XOyC5XQHN. I would love to continue to expand the capabilities (i.e. opening up additional links in profiles, using message history, etc. ). I will work on cleaning up the structure to make it more suitable for contribution.

[Ron Cahlon @roncahlon]

If you spend significant amount of time prospecting on LinkedIn, you might want to check out this lightweight tool - https://t.co/z0kZQN1EwK.

By entering the LinkedIn URL and your outreach objective, a @langchain agent will generate an optimal outreach message.

[Ron Cahlon @roncahlon]

While this is an extreme view, I believe it is valuable to challenge our standard view of work. This starts being brutally honest about our goals, defining what is enough, preventing unchecked growth, limiting mindless consumption, and playing the long-term game.

[Ron Cahlon @roncahlon]

In The Pathless Path, Paul Millerd challenges the mainstream view of work and proposes an alternative way of thinking about life paths.

[Ron Cahlon @roncahlon]

Without asking these basic questions, many people accept misery in their careers, resorting to coping strategies to tolerate a stable job with certain discomforts. They bury themselves with responsibilities to have money to pay for therapy, time off, and healing retreats.