🔁 eBPF Tail Calls - hello · Scour

Vitalik Biterin breaks silence about Ethereum Foundation amid community frustration 🔺Delta Lake

coindesk.com·6d

Verifiable Rewards Beyond Math and Code: Lightweight Corpus-Grounded Process Supervision for Factual Question Answering 🔍RAG

datacurve-ai/deep-swe: Measuring frontier coding agents on original, long-horizon engineering tasks 🌀Naiad

GeneralThinker: Domain-General Reasoning through Likelihood-Guided Answer-Conditioned Optimization 🧩Constraint Programming

Conformal Certification of Reasoning Trace Prefixes 🧮SMT Solvers

awslabs/aws-jwt-verify: JS library for verifying JWTs signed by Amazon Cognito, and any OIDC-compatible IDP that signs JWTs with RS256, RS384, RS512, ES256, ES384, ES512, Ed25519 and Ed448 💼Thrift

github.com·5d·DEV

Cast a Wider Net: Coordinated Pass@K Policy Optimization for Code Reasoning 🎭Program Synthesis

World Models in Words: Auditing Physical State-Transition Commitments in Vision-Language Models 💫Effect Systems

spaceandtimefdn/sxt-proof-of-sql 🗄️SQLx

Skill-Conditioned Gated Self-Distillation for LLM Reasoning 🤖TVM

Anchor: Mitigating Artifact Drift in Agent Benchmark Generation ⚓Anchors

yeet-src/airtop: htop for the airwaves — a live 802.11 (Wi-Fi) RF dashboard in your terminal 🔍eBPF

github.com·3d·Lobsters, Hacker News, r/linux

Pair-In, Pair-Out: Latent Multi-Token Prediction for Efficient LLMs 💬Prompt Engineering

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial ✅Model Checking

Execution-Boundary Governance for AI Coding Agents 📞Tauri IPC

github.com·4d·DEV

Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification 📐TLA+

TapSampling: Inference-Time Sampling with a Task-Progress-Understanding Verifier for Robotic Manipulation ✏️Count-Min Sketch

Handshake-AI-Research/gandalf-the-grader: Agent-as-a-Judge grading framework for evaluating AI outputs/deliverables 📊Criterion.rs

github.com·4d·Hacker News

CiteCheck: Retrieval-Grounded Detection of LLM Citation Hallucinations in Scientific Text 🔍Meilisearch

MAIGO: Mitigating Lost-in-Conversation with History-Cleaned On-Policy Self-Distillation 🔒Differential Privacy

Sign up or log in to see more results

Log in to enable infinite scrolling