Cole Lawrence

@refactorordie

🛠️ AI maximalist CTO @ phosphor.co🧍🏻‍♂️he/him 🍕 organizer for eaccrio.org, rusteastcoast.org, & rust.nyc

NYC / Rio de Janeiro

colelawrence.com

Joined September 2017

1,153 Following

508 Followers

Replies Reposts Media

Pinned
Cole Lawrence
@refactorordie
Jan 31
I'm starting a new group in Rio de Janeiro for ai enthusiasts eaccrio.org I started this because I wanted more builders in Rio to talk with where we could meet up and compare real solutions, not opinions. We will focus on what you shipped, how you rolled it out, and
eaccrio.org
e/acc rio
Effective Accelerationism community in Rio. Accelerating AI adoption together.
2
Cole Lawrence
@refactorordie
Oct 20
We recently started writing feature plans with a round of lean formalization as well. Super handy to improve the LLM's way of thinking from first principles about a problem and proposed solution
kaito
@cu30rry_
Oct 19
pstack v0.15.27 で新Skill /create-formal-verification-skill が追加されました！これは今後のソフトウェア開発を変え得る革新的なSkillです！この Skill は「コードが守るべき仕様（特性）を、形式検証で確かめる仕組み」を、エージェントに作らせるSkillです私は、この Skill
Quote
lauren
@poteto
Oct 18
pstack v0.15.27 ships with a new skill /create-formal-verification-skill! it's still in beta, and similar to /create-verification-skill, this is a meta-skill that creates a new skill and formal verification suite based on the characteristics you want to verify. for example, you
1
Cole Lawrence
@refactorordie
Oct 19
Coming up for air puts a lot of the "innovation" happening around us into perspective. Super excited about the month ahead at Phosphor
Oliver Beavers
@oliverbeavers
Oct 19
Good morning. The DM-to-like ratio on this one is 😄 . But why so spicy? 🌶️ 1. Instead of underwriting what technology SHOULD do and working backwards, software-turned-climate VCs used cheap revenue as a proxy for signal, failing to appreciate that anyone can sign a consulting
1
Cole Lawrence
@refactorordie
Oct 15
Compelling demo for translating queries into parallelizable execution for running in WebGPU
Cheng Lou
@_chenglou
Oct 15
Replying to @_chenglou
One more demo! Searching through 100k JSONs in real time. The code was written mostly traditionally, then transformed into actual WebGPU matrices to massively parallelize the JSON search. The regex, JSON parsing, highlighting & matching are all one giant exact neural net
Cole Lawrence
@refactorordie
Oct 11
Switchyard helps me open links directly to native apps. This is my macOS default browser with a web extension companion and it can handle Slack links and routing through lookup tables (e.g. Slack URL slug -> Slack Team ID) Thanks to @ZacharyZhang for the Ely GPUI Components
2