📋 Formal Methods - nickyfoto · Scour

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 🕵️AI Agents

specdd.ai·6d·Hacker News

Decision theory in mechanized causal graphs 🤖Agentic AI

danmackinlay.name·1d

The project continues 💬NLP

chromewebstore.google.com·15h·r/SideProject

minipgp6: A very lean interpretation of modern OpenPGP 📐Language Design

codeberg.org·1d·Lobsters

Fast and Comprehensive Code Review, Now in Windsurf ✍️Prompt Engineering

windsurf.com·15h

The Algebra of Hallucination 👁️Computer Vision

news.ycombinator.com·3d·Hacker News

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

techcommunity.microsoft.com·1d

AWS Well-Architected Tool identity-based policy examples ☁️Cloud Computing

docs.aws.amazon.com·13h

Banks Are Building the Trust Layer AI Can’t Break ⚖️Tech Policy

Pre-Silicon Verification and Validation Methodology Targeting Robust RISC-V Chip Designs (BSC) 🔌Embedded Systems

semiengineering.com·1d

Lasagne: Practical Verifiable Computation over Encrypted Data 🔌Embedded Systems

eprint.iacr.org·5d

Protecting Keycloak Auth with Proof of Work 🦀Rust

gitlab.com·6h·DEV

Expose Your App to AI Agents in 30 Minutes: A MCP Integration Pattern 🕵️AI Agents

ageniti.dev·1d·DEV

I built a verification framework that forces AI to show confidence scores, source tiers, and unresolved conflicts 💬NLP

github.com·4d·r/PromptEngineering

Trust Is the Bottleneck 📐Systems Design

blog.reqproof.com·1d·Hacker News

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers 🧠LLMs

C.R.E.S.S. Principles for Context Engineering ✍️Prompt Engineering

codemanship.wordpress.com·2d

Animated Logical Graphs • 1 🕸️Graph Algorithms

stream.syscoi.com·6d

An AI use policy generator that outputs a deployable managed-settings.json 🕵️AI Agents

repello.ai·1d·Hacker News

Langserver.org A community-driven source of knowledge for Language Server Protocol implementations 🧠LLMs

langserver.org·4d

Sign up or log in to see more results

Log in to enable infinite scrolling