Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-based testing
Fedora 42 and the Sigil of "4"
linuxcommunity.io·2d·
Discuss: Hacker News
👥P2P
AI Teammate Has Arrived: Xbox's New Gaming Copilot Is Here
securityonline.info·10h·
Discuss: Hacker News
🤖AI Agents
Chilli – A lightweight microframework for CLIs in Zig
github.com·1d·
Discuss: r/Zig
🔵TypeScript
Gated Communities Are Great for Crypto–Marc Vanlerberghe
coindesk.com·4d·
Discuss: Hacker News
🔗Interledger
How do we get a raspberry pi to connect to an Apple Time Capsule?
reddit.com·2d·
Discuss: r/homelab
👥P2P
The Zero-to-Vibe Coding Jumpstart Cube Catastrophication
vanonselenp.github.io·1d·
Discuss: Hacker News
🎨WebGL
Red-teaming a RAG app: What happens?
blog.pamelafox.org·3d·
Discuss: www.blogger.com, Hacker News
🤖AI Agents
AI could widen the wealth gap, Erik Brynjolfsson says
text.npr.org·14h·
Discuss: Hacker News
🤖AI Agents
Why Feeling Behind Means You Are Ahead
hackernoon.com·2d
🤖AI Agents
Somatic in the East, Psychological in the West?: Investigating Clinically-Grounded Cross-Cultural Depression Symptom Expression in LLMs
arxiv.org·2d
🤖AI Agents
The Relative Instability of Model Comparison with Cross-validation
arxiv.org·1d
🤖AI Agents
Numerical analysis of the stochastic Navier-Stokes equations
arxiv.org·10h
🤖AI Agents
Hacking Hallucinations of MLLMs with Causal Sufficiency and Necessity
arxiv.org·1d
🤖AI Agents
GTPO: Trajectory-Based Policy Optimization in Large Language Models
arxiv.org·1d
🤖AI Agents
Technical specification of a framework for the collection of clinical images and data
arxiv.org·1d
🎨WebGL
LAG: Logic-Augmented Generation from a Cartesian Perspective
arxiv.org·10h
🤖AI Agents
Large Language Models Still Exhibit Bias in Long Text
arxiv.org·10h
🎨WebGL
From Wrangling Code to Taming Chaos: How Being a Software Engineer Made Me a Better Operator
hackernoon.com·7h
🔵TypeScript
Trump calls on 'highly conflicted' Intel CEO to resign over China ties
uk.finance.yahoo.com·1d·
Discuss: Hacker News
⚡Zig