laurynas's Feed · Scour

UniRank: Unified List-wise Reranking via Confidence-Ordered Denoising 🎯Reranking

The Agent Is a Workflow That Writes Itself 🤖agents

getauctor.com·1d·Hacker News

Hitchhiker's Guide to Logical Verification (2023 Edition) 📐Theorem Proving

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

ImFeH2/pinote: A lightweight floating markdown scratchpad app 👆human-computer interaction

github.com·58m·Hacker News

Goto Considered Harmful: Why Event-Driven Is a Poor Architecture 🌊Stream Processing

dbos.dev·1d·Hacker News

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

abz.global·13h·Hacker News

Mustela – A static site generator born from forensic family analysis 🗃️databases

mustela.vercel.app·5h·Hacker News

Show HN: Formal Verification with Lean 📐Theorem Proving

daniellowengrub.com·3d·Hacker News, Hacker News

Graph database superpowers for your existing Postgres data 🕸️Knowledge Graphs

docs.evokoa.com·1d·Hacker News

Mapping AI benchmarks onto a common capability scale 🔍AI Interpretability

aiiq.org·3d·Hacker News

TorchLean: Verified Neural Networks in Lean 📐Theorem Proving

robertj1.com·2d·Hacker News

Control your Mac with voice and hand gestures 👆human-computer interaction

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

Sign up or login to customize your feed and get personalized topic recommendations

Two-Tier Verbalization in Natural Language Autoencoders 🔍AI Interpretability

openinterp.org·6d·Hacker News

Agents are meant to be shared 🤖agents

pmihaylov.com·2d·Hacker News

Go fuzzing was missing half the toolkit. We forked the toolchain to fix it. 🧪Property-based Testing

blog.trailofbits.com·3d·Lobsters, Hacker News

Amgix - Open-Source Hybrid Search System 🔍Semantic Search

amgix.io·1d·Hacker News

cyber.md: A Security Posture File for Agent-Native Development 🧪Property-based Testing

baz.co·5d·Hacker News

OpenData Vector: MIT-Licensed Vector Search on Object Storage 📍embeddings

opendata.dev·1d·Hacker News, r/programming

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

devexp.ai·15h·Hacker News

Mechanistic Interpretability of EEG Foundation Models via Sparse Autoencoders 🔍AI Interpretability

Log in to enable infinite scrolling