hackernews client

AutoProver: AI agents and formal methods for intent, specs, bugs analysis

2 pointsposted 8 hours ago

by wslh

Show HN: Session Recorder – an always-on system audio tape for macOS

1 pointsposted 8 hours ago

by naffenuf

The Cost of Thinking Alike

2 pointsposted 8 hours ago

by kodesko

Ask HN: Why not a utility to save your Mac from a software bug killing your SSD?

1 pointsposted 8 hours ago

by amichail

Show HN: DynaFX – Simulation meets knowledge graphs

2 pointsposted 8 hours ago

by ElegantTrader

Building Bibliographic Superwork Clusters for Discovery with Local LLMs

1 pointsposted 8 hours ago

by sebg

Another partial SSI trick with canonicalize

2 pointsposted 8 hours ago

by speckx

Show HN: Multi-version management (by xlings) for DeepSeek Harness

1 pointsposted 8 hours ago

by sunrisepeak

Prolific Counterfeiting (2023)

2 pointsposted 8 hours ago

by gregsadetsky

SHA pinning GitHub Actions across an organization

8 pointsposted 8 hours ago

by mdean

2 comments

Forklane AI – Public Beta Launch

2 pointsposted 8 hours ago

by akshayl284

Polestar Dealer Claims Automaker 'Orchestrated' Its U.S. Ban in Lawsuit

12 pointsposted 8 hours ago

by JumpCrisscross

Show HN: Bsdkrun – Instant MicroVMs/Unikernels for macOS and Linux

3 pointsposted 8 hours ago

by tsiry

Show HN: Clixad – Free AI coding agent in the terminal, funded by an offerwall

2 pointsposted 8 hours ago

by flo_r

A Calculator, Compiled into a Transformer

2 pointsposted 8 hours ago

by sebg

How Gödel's Proof Works (2020)

82 pointsposted 8 hours ago

by tzury

39 comments

C3 0.8.3: Feature flags, macOS SDK fetching, and regex support

7 pointsposted 8 hours ago

by ManuLinares

The government is recruiting tech companies to help fight its cyber battles

6 pointsposted 8 hours ago

by giuliomagnifico

Rodeo, a terminal file manager inspired by Norton/Midnight Commander (Rust)

3 pointsposted 8 hours ago

by lordgreg

Leveraging Requirements Engineering for AI Coding Tool Success

3 pointsposted 8 hours ago

by adunk

The Harness Is the Bottleneck

3 pointsposted 8 hours ago

by speckx

I built a lint for AI-generated evidence

2 pointsposted 8 hours ago

by fmajchrzak

Silver Lake in talks to buy Workday, sources say

15 pointsposted 8 hours ago

by JumpCrisscross

3 comments

SilkCode – Tired of resets/limits with Claude but better than Codex

1 pointsposted 8 hours ago

by amonte

Yaak.ai Physical AI OS: copper-rs

2 pointsposted 8 hours ago

by gbin

Caterpillar Technical English agent skill

1 pointsposted 8 hours ago

by falso

2 comments

TikTok finfluencers: How reliable is their financial advice to young investors?

4 pointsposted 8 hours ago

by devonnull

Building a Minecraft Computer Taught Me More About CPUs Than University Did

1 pointsposted 8 hours ago

by ReFruity