📋 Formal Methods - nickyfoto · Scour

A Kid With a Fake Mustache Tricked an Online Age-Verification Tool 💬NLP

Verifiably Private AI Guardrails 🔌Embedded Systems

retroguard.ai·1d·Hacker News

I Got Tired of Watching Technical Ideas Get Lost in Translation, So I Built Traycer 📐Language Design

traycer.co·13h·DEV

Talking to Transformers 🤖LLM

miraos.org·4d·Hacker News, r/PromptEngineering

Permissions & Audit Layer for AI Agents 🕵️AI Agents

topainexus.com·2d·Hacker News

Two-qubit logic and teleportation with mobile spin qubits in silicon 🔌Embedded Systems

You’re Not Bad at Programming. You Just Escape When It Gets Hard. ✍️Prompt Engineering

yogyagoyal.up.railway.app·4d·DEV

Your TypeScript Codebase Is Lying to You. Fallow Will Tell You the Truth. 🦀Rust

docs.fallow.tools·1d·DEV

datasette-referrer-policy 0.1 🔌Embedded Systems

simonwillison.net·23h

How I Built a Bitcoin-Only Digital Store (No Stripe, No PayPal) 💬NLP

eastern-shop.surge.sh·2d·DEV

Verification Test 💬NLP

news.ycombinator.com·17h·Hacker News

Secure AI and Agent Coding Policy 🕵️AI Agents

galdren.com·6d·Hacker News

I built an AI that automatically reviews your GitHub PRs 🔓Open Source

codelens-ai-ochre.vercel.app·2d·DEV

Some kids are bypassing age verification checks with a fake mustache 🔌Embedded Systems

techcrunch.com·9h·Hacker News

Apr '26 Notes 🔌Embedded Systems

Pornhub is now using Apple’s own age verification feature in the UK 🍎Apple

9to5mac.com·11h

又一个天才程序员陨落了，刚续费五天 🐦Swift

Calling APIs using private Certificate Authorities from Logic Apps ⚖️Tech Policy

techcommunity.microsoft.com·23h

DESIGN.md Specification 📐Language Design

dsebastien.net·5d

On the Economics of Truth ⚖️Tech Policy

shadesofsingularity.com·1d·Hacker News

Log in to enable infinite scrolling