debuggingfuture @debuggingfuture

@trq212 This post-processing workflow is incredibly inspiring. I'm wondering how you use Claude to direct product demos—like having it go through user flows like typing in the terminal or clicking on Mac apps—and then stitch the screencasts together with zoom-in effects and overlays?

This is the actual bottleneck. The models are smart enough already. What is missing is the company-specific context locked in senior people heads. Whoever cracks knowledge extraction at the company level unlocks the rest. As you work on this, please consider using GBrain as your OSS retrieval layer x.com/t_blom/status/…

Tom Blomfield @t_blom

3 weeks ago

Imagine replacing 90% of your employees with a team of geniuses who have no idea how your company operates. Total chaos. Nothing works. That’s what AI feels like today. The missing piece is extracting all the domain knowledge from people’s heads and providing that as

460 224 3K 587K 1K

Shopify CEO Tobi Lutke explains Goodhart’s law and why he doesn’t like KPIs or OKRs “Goodhart’s law is real. The moment a metric becomes a goal, it’s no longer a useful metric… No metric by itself is a complete heuristic for a complex business. There’s a million different tensions in a company, and you can’t keep all of them in harmony by optimizing for one thing.” For this reason, Shopify doesn’t use KPIs or OKRs. But as Tobi explains, this doesn’t mean they don’t value data and metrics. “We are extremely data informed. We have invested enormous amounts of money and time into systems that give us basically everything at our fingertips… But what Shopify attempts to do is just not over-fit for what’s quantifiable.” People love optimizing for highly-quantifiable things because there’s immediate gratification that comes from seeing a number go up. But Tobi thinks that the most important aspects of a product are rarely quantifiable: “The overlap of the most valuable things you can do with a product and the things that happen to be fully quantifiable are like maybe 20%. Which leaves 80% of a value space unaddressable by the people who only look at quantifiable things.” He continues: “Shopify is comfortable with unquantifiable things like taste, quality, passion, love, hate… The sort of deep satisfaction that a craftsperson feels when they’ve done a job well is actually a better proxy if you allow it to be.” They then have robust analytics systems that tell the company if something’s wrong or a new rollout breaks something. “We think about it as a cockpit for a pilot. The decisions are still made by pilots, and we think this leads to better results… I think there needs to be more acceptance in business of unquantifiable things… And then metrics take a support function.” Source: @lennysan (Feb 2025)

@KernelKennethG @karpathy @leanprover Many case 3d animations really helps understanding how things are linked together from different perspectives

It's pretty insane how AI has been transforming the way I study Math. On top of @karpathy 's wiki idea, I can immediate generate visualization and generate @leanprover programmable proofs to keep myself engaged and really ponder the concepts

Echoing this. My 'aha' moment with Al is internalizing open-source libraries to make them faster and safer. Lately I'm exploring @leanprover with Claude Code, utilizing it both for formal verification and as the most concise spec for agents (maths) x.com/karpathy/statu…

Andrej Karpathy @karpathy

4 months ago

I think it must be a very interesting time to be in programming languages and formal methods because LLMs change the whole constraints landscape of software completely. Hints of this can already be seen, e.g. in the rising momentum behind porting C to Rust or the growing interest

691 653 8K 1.2M 4K

Thanks to good people at @AnthropicAI we now have an official MCP for Excalidraw! Take it for a spin on @claudeai (search for Excalidraw in Connectors, or use in Claude Code and elsewhere). More to come. ✌

David Soria Parra @dsp_

4 months ago

We are moving quickly. Thanks to Anton and the folks at @excalidraw , this is now the official Excalidraw MCP server. From weekend project to official server in less than a week.

13 20 315 596K 180

With AI, Working code is a low bar. Secure by Design. Elegant by Design.

vitalik.eth @VitalikButerin

5 months ago

@jasoncrawford > We built a browser with GPT-5.2 in Cursor. It ran uninterrupted for one week. It’s 3M+ lines of code across thousands of files. I would actually be more impressed if it had 3000 lines of code, and came with a Lean proof that its sandboxing is bug-free :D I think now that

67 23 159 9K 20

@martinfowler Software Engineering is unusual in that it works with deterministic machines. Maybe LLMs mark the point where we join our engineering peers in a world on non-determinism." martinfowler.com/articles/20250…

@martinfowler wrote "Other forms of engineering have to take into account the variability of the world. A structural engineer builds in tolerance for all the factors she can’t measure... "

AI didnt just make us architect, it also calls for better engineer. Peter Rice, the legendary structural engineer behind Centre Pompidou, once said: The engineer is the objective inventor and the architect the creative input.

Really refreshing to see how sync engine Jazz handles decentralized permission in CRDT. With crypto signature, the chain of edits is verifiable like a blockchain. Check against the whitelist of who can read/write the values. (another example of crypto more useful outside CT)

Anselm Eickhoff @anselm_io

6 months ago

My talk from @sync_conf 2025 is ready! Check it out to learn how: 1) CRDTs + cryptographic permissions work 2) @jazz_tools is now a general-purpose database 3) our unique Jazz Cloud infra compares to - traditional stacks - other sync engines - Durable Objects

3 12 50 4K 20

@Wise has the worst customer support ever and best @Reddit censorship

There is no way @claudeai talk about NEA photocathodes when asked to build a landing page, unless it is leaking response of other users's private query

keyboard_arrow_left Previous keyboard_arrow_right Next

with $NET now it is actually possible for @Cloudflare to pay out for damages for each 5xx on them

The more I realize AI can do my job, the more I feel I should focus on what humans are good at. If I'm not getting enough sleep, I'm definitely doing something terribly wrong

Fund in my Coinbase is still locked with random API error. The non-existent CS motivates me to self-custodial, but wait, I can't

Anselm Eickhoff @anselm_io

6 months ago

My talk from @sync_conf 2025 is ready! Check it out to learn how: 1) CRDTs + cryptographic permissions work 2) @jazz_tools is now a general-purpose database 3) our unique Jazz Cloud infra compares to - traditional stacks - other sync engines - Durable Objects

3 12 50 4K 20

Today developers are shaping agents with skills shared on Github. Very soon it the COO office will be interviewing, onboarding, assigning, reviewing and laiding off agents like the HR today

Sandboxing is no longer just a best practice --- it's a core part of the agentic workflow

alex fazio @alxfazio

8 months ago

mcps are changing turns out designing mcps to load every tool definition into the model prompt was a bad idea anthropic’s nov 4 blog post suggests a new pattern treat each mcp server like a normal code library, e.g. typescript modules or files, and let the agent write and run

41 90 1K 88K 1K

Perks for WFH in Singapore What should I stream when claude code is doing the work