Hacker news

  • Top
  • New
  • Past
  • Ask
  • Show
  • Jobs
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
story
(https://www.lesswrong.com)

80 points by OgsyedIE 3 days ago

42 comments

Reading across books with Claude Code
story
(https://pieterma.es)

133 points by gmays 1 day ago

39 comments

Netflix Wants Movies to Restate the Plot Three or Four Times in the Dialogue
story
(https://variety.com)

6 points by haunter about 2 hours ago

3 comments

After 25 years, Wikipedia has proved that news doesn't need to look like news
story
(https://www.niemanlab.org)

180 points by giuliomagnifico about 13 hours ago

204 comments

Should Reward Credit Cards Be Banned?
story
(https://www.nominalnews.com)

6 points by MasPL about 3 hours ago

0 comments

Zep AI (Agent Context Engineering, YC W24) Is Hiring Forward Deployed Engineers
job
(https://www.ycombinator.com)

1 point by roseway4 1 day ago

undefined comments

CVE-2026-0915: GNU C Library Fixes a Security Issue Present Since 1996
story
(https://www.phoronix.com)

5 points by i-con about 1 hour ago

0 comments

The five orders of ignorance (2000)
story
(https://cacm.acm.org)

83 points by svilen_dobrev 5 days ago

23 comments

AV1 Image File Format Specification Gets an Upgrade with AVIF v1.2.0
story
(https://aomedia.org)

60 points by breve about 12 hours ago

3 comments

Keifu – A TUI for navigating commit graphs with color and clarity
story
(https://github.com)

61 points by indigodaddy about 23 hours ago

10 comments