Louis

19yo | Building and Devin AI Ambassador

[Louis @lnv007]

@DevinAI @cognition @dabit3 thanksss

[cognee @cognee_]

That's a wrap on the @bot Community Engineering Hackathon in London, where cognee was one of the technology partners.

130 people checked in and built 49 projects for real community problems in one evening.

Top 3:
• Offpeak by Daniils Petrovs
• After Glow by @lukadadiani
• Lumap by Francesco Coccia

Organised by @frankterpo, @lnv007 and @keanucz, with help from @benln and @sunrao.

Venue partner
• @Expedite_Now, made possible by William Schulz

Technology partners
• @supabase (Isabelle Roser)
• cognee (@KovacVeljko & Luca Stromann)
• @zero_gtm (Mariia Nedelkina)
• @NotionHQ (Waseef Mohammad Khan)
• SpaceXAI Community (@frankterpo)

Community partners
• @unicorn_mafia (@CharlieCheesma1)
• @basedfounderseu (@fatemallk)
• @kickstartldn (@ilyavencjuns)
• Hackradar (Keanu)
• @UKAIagents (@may_tohoku & Minghan Xiao)
• @UseCorgi (@claudiaamaggi)
• Night Office (Oli Kingshott & Shreyas Raghu)
• @hackcollective (Louis)
• United Italian Societies (@belluzzoumberto)
• @outpostcrew (@Andy_AJT & @oscarfalll)
• AI Pilled (Nuan Zhang & Yiran Qin)
• @ICEntrepreneurs
• Other (@ZakeeAbdi, @fergomg)

Judges: Charlie, Fatema, May, Claudia, Shreyas, Louis, Umberto, Oscar, Andy, Nuan, @HelaHalas and Luca

Food by Ambuca Bakery

Thanks to everyone who joined. Looking forward to the next one!

[MTS @MTSlive]

SITUATION DETECTED: Anthropic acquired a one-person company in July 2026. Mithril Medicine - developing treatments for two rare forms of muscular dystrophy - owned and run by one person who used Claude to organize contracts, logistics, and experiments with 11 external labs.

[Louis @lnv007]

@frankterpo @expedite_now @keanucz @benln @sunrao @supabase @cognee_ @KovacVeljko @NotionHQ @WMK_15 Yessir

[Francisco Terpolilli 🤌 @frankterpo]

S/O @expedite_now for venue 🤌 @lnv007 + @keanucz co-cooking, @benln + @sunrao for credits, Isabelle for @supabase credits + prizes, @cognee_ + @KovacVeljko, Mariia (Zero) for da CRM, @NotionHQ + @WMK_15 🤌

Codice, Crea, Vince 🤌

https://t.co/JdB1RrDfSG

[Louis @lnv007]

@AnthropicAI about time

[Louis @lnv007]

"day-old account that asked for 640 vCPU" :)

[rohan @rohandevs]

thank you claude

[Manoj Kumar @Manoj7ar]

@DevinAI can build iOS apps on the cloud using a macOS VM. Isn't that crazy?

[Louis @lnv007]

@dabit3 @DevinAI @cognition you the real 🐐

[Louis @lnv007]

@DevinAI @cognition @dabit3 thanksss

[Louis @lnv007]

@Avi31m @cap is very good

[GitHub Next @GitHubNext]

How do you _guarantee_ your agent's code is correct? You prove it.

Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.

PDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team.

PDD Kit takes an app's login flow from intent to a verified pull request:

It discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust.

Once you approve the spec, the Verus verifier automatically proves the code meets it.

Where proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs).

It works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible.

The goal is a verified software factory, where engineers review specifications instead of code.

Come see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!

[Louis @lnv007]

@natal1e_c @imperialcollege Congratulations!!

[Louis @lnv007]

Simply lovely

[nader dabit @dabit3]

Devin Fusion tied #1 on Artificial Analysis Coding Agent Index

Outperforms Claude Code w/ Opus 5.5 on both performance and price, at 31% lower cost per task

Fusion has a wide array of model combinations, so as more models become available the design space for finding optimal / specialized combinations grows.

[Louis @lnv007]

Check this out if you are interested in hackathons.

Hey! I run Hack Collective @hackcollective, which is a community + calendar of curated hackathon and tech events that is happening all around UK, especially London. We are #2 on Google if you search up for London Hackathons.

[Louis @lnv007]

@1Password heyy, honoured to get a like from 1password themselves

[Louis @lnv007]

I'm definitely a fan of @1Password. Very intuitive, nice UX, all-in-one central way to manage creds.

Thanks @lukerramsden

[Louis @lnv007]

Honored for @cognee_ to sponsor our Grok Bot hack.
If haven't already, join uppp https://t.co/lqIWYNRVUb

[cognee @cognee_]

@bot LDN Community Hack is this Thursday, and @cognee_ is a tech partner.

Come build with @grok + @cognee_ this Thursday.

@bot LDN Community Hack by @frankterpo, with @supabase, @zero_gtm and @cursor_ai as tech partners and @Expedite_Now hosting.

Eleven London communities are taking part.

Free, last spots open:
https://t.co/Do3PGfmPtT

[cognee @cognee_]

@hackcollective with @lnv007
United Italian Societies with @belluzzoumberto
@outpostcrew with @Andy_AJT and @oscarfalll
plus Night Office, AI Pilled and @ZakeeAbdi

Credits and prizes from @bot, @cursor_ai, @supabase, @zero_gtm and @cognee_ (@KovacVeljko)

[Louis @lnv007]

What a time to be alive.

[Tesla @Tesla]

Real life, baby

[nader dabit @dabit3]

Auto-Fix is one of the most loved features of Devin Review

Here's a 2 minute intro: