pull down to refresh

Closing the verification loopthinkroom.kieranklaassen.com/d/njrS5TJhis
33 sats \ 0 comments \ @deSign_r 8 Jul Design
related
A shallow dive into formal verification - Vitalik Buterinvitalik.eth.limo/general/2026/05/18/fv.html
1194 sats \ 1 comment \ @Scoresby 28 May math bitcoin
Verification debt: the hidden cost of AI-generated codefazy.medium.com/agentic-coding-ais-adolescence-b0d13452f981
373 sats \ 2 comments \ @co574 8 Mar AI
Devs doubt AI-written code, but don’t always check itwww.theregister.com/2026/01/09/devs_ai_code/
230 sats \ 2 comments \ @0xbitcoiner 11 Jan AI devs
I gave an AI agent edit access to my websitedri.es/i-gave-an-ai-agent-edit-access-to-my-website
233 sats \ 0 comments \ @nym 22 Jan 2025 Design
Redefining ‘human in the loop’teybannerman.com/ai/2025/08/25/human-in-the-loop-framework.html
202 sats \ 0 comments \ @deSign_r 31 Aug 2025 Design
The Eternal Sloptembergeohot.github.io//blog/jekyll/update/2026/05/24/the-eternal-sloptember.html
1141 sats \ 13 comments \ @k00b 25 May AI devs
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2221 sats \ 1 comment \ @schmidty 7 Aug 2025 bitcoin
Scamlexity: When Agentic AI Browsers Get Scammedguard.io/labs/scamlexity-we-put-agentic-ai-browsers-to-the-test-they-clicked-they-paid-they-failed
733 sats \ 6 comments \ @optimism 23 Aug 2025 AI
The week in AI: June 30 - July 6, 2025
4103 sats \ 4 comments \ @optimism 7 Jul 2025 AI
Designing agentic loopssimonwillison.net/2025/Sep/30/designing-agentic-loops/
307 sats \ 0 comments \ @deSign_r 5 Oct 2025 Design
To vibe or not to vibemartinfowler.com/articles/exploring-gen-ai/to-vibe-or-not-vibe.html
279 sats \ 1 comment \ @m0wer 23 Sep 2025 AI
Block rolls out Builderbot, a suite of AI-native tools changing how they shipblock.xyz/inside/block-rolls-out-builderbot-a-new-suite-of-ai-native-tools-that-changes-the-way-we-ship
1021 sats \ 2 comments \ @k00b 18 Jun AI tech Stacker_Stocks
7 Steps to Mastering Vibe Codingwww.kdnuggets.com/7-steps-to-mastering-vibe-coding
447 sats \ 10 comments \ @optimism 13 Jul 2025 AI
Claude Identity Verification Starts July 8: What Facial Data Anthropic Collectswww.techtimes.com/articles/318778/20260621/claude-identity-verification-starts-july-8-what-facial-data-anthropic-collects.htm
1587 sats \ 11 comments \ @Scoresby 22 Jun AI Politics_And_Law
The week in AI, August 18-24, 2025
2309 sats \ 2 comments \ @optimism 25 Aug 2025 AI
AI Tooling for Software Engineers in 2024: Reality Check (Part 1)newsletter.pragmaticengineer.com/p/ai-tooling-2024
1020 sats \ 0 comments \ @Car 17 Jul 2024 builders
You Can't Verify Yourself: Verifying Yourself is a Trust-Based Activity
180 sats \ 4 comments \ @BrantaPro 25 Nov 2025 bitcoin
'Ralph Wiggum' loop prompts Claude to vibe-clone softwarewww.theregister.com/2026/01/27/ralph_wiggum_claude_loops/
279 sats \ 3 comments \ @0xbitcoiner 29 Jan AI
Cursor shows AI agents capable of shoddy code at scalewww.theregister.com/2026/01/22/cursor_ai_wrote_a_browser/
216 sats \ 4 comments \ @0xbitcoiner 23 Jan AI
Discord's Age verification vendor Persona left frontend exposed, researchers saywww.malwarebytes.com/blog/news/2026/02/age-verification-vendor-persona-left-frontend-exposed
255 sats \ 0 comments \ @StillStackinAfterAllTheseYears 22 Feb tech
Brave Browser added an AI Assistant - LEO
810 sats \ 7 comments \ @rod 27 Aug 2023 meta