laurynas's Top Finds on Scour Today scour.ing

Programming Z3

z3prover.github.io·3h·Hacker News

Show HN: SwarmWright, structured multi-agent AI defined in markdowns

swarmwright.com·5h·Hacker News

AI as Externalized Context – Regaining Personal Dev Momentum

plainlystated.com·6h·Hacker News

Agentic product discovery for AI apps and shopping agents

seekon.me·6h·Hacker News

Introduction

aperio-lang.github.io·9h·Hacker News

Hitchhiker's Guide to Logical Verification (2023 Edition)

lean-forward.github.io·9h·Hacker News

Berget Code – Agentic coding on European infrastructure

berget.ai·9h·Hacker News

Eric Jang – Building AlphaGo from scratch

dwarkesh.com·10h·Hacker News

Agents Have (Information) Needs

jbarrow.ai·11h·Hacker News

X for You Feed Algorithm (Updated May 15th)

github.com·12h·Hacker News

Control your Mac with voice and hand gestures

tomyang-tz.github.io·13h·Hacker News

xAI Just Launched Grok Build. AI Coding Agents Are Moving Into the Terminal.

abz.global·13h·Hacker News

Meta to Start Capturing Employee Mouse Movements, Keystrokes for AI Training Data

daringfireball.net·14h·Hacker News

ScyllaDB MCP Server: What AI-Native Developer Distribution Actually Looks Like

devexp.ai·15h·Hacker News

UUID vs NanoID - ID Generation Compared

tools.pinusx.com·19h·Hacker News

Whom the Gods Would Destroy, They First Give Real-Time Analytics (2013)

mcfunley.com·20h·Hacker News

Stop Overthinking: Unlocking Efficient Listwise Reranking with Minimal Reasoning

arxiv.org·22h

Beyond Git: Coordinating humans, agents, and automation in a repo with a ledger

mentu.ai·23h·Hacker News

hherb/primer: An educational primer for children based on agentic teachers using socratic questioning and knowledgebases

github.com·1d·Hacker News

Amgix - Open-Source Hybrid Search System

amgix.io·1d·Hacker News

Log in to enable infinite scrolling