hackernews client

news

Page 291

Combinatorial Games in Lean

39 pointsposted 5 days ago

by wertyk

4 comments

Building a Financial Exchange from first principles

5 pointsposted 15 hours ago

by proximuz

2 comments

Claude can now use your 1Password credentials for you

5 pointsposted 8 hours ago

by pavel_lishin

1 comments

Building and shipping Mac and iOS apps without opening Xcode

544 pointsposted 3 days ago

by speckx

231 comments

The Second Life of Sanskrit

67 pointsposted 5 days ago

by bookofjoe

71 comments

Linux on the Sega 32X. Who needs hardware synchronization primitives anyway?

147 pointsposted 3 days ago

by cakehonolulu

32 comments

Manual Work Is a Bug

10 pointsposted a day ago

by Anon84

3 comments

Is x86 ready to ACE it?

107 pointsposted 3 days ago

by mfiguiere

31 comments

The Refusal Residue: When Probes Catch Alignment Faking and When They Don't

4 pointsposted 15 hours ago

by sbulaev

0 comments

Show HN: I made ts-node alternative, ttsc/ttsx, a TypeScript-go toolchain

6 pointsposted 15 hours ago

by autobe

0 comments

No Spanish reading crisis?

91 pointsposted 2 days ago

by jruohonen

137 comments

Treating generic drugs as something special can wreck affordability

15 pointsposted a day ago

by toomuchtodo

1 comments

The zero-cost fallacy: open-source software in the agentic era

153 pointsposted 6 days ago

by backlit4034

139 comments

Surprising lessons from my research scientist job search

28 pointsposted 6 days ago

by gmays

3 comments

The Economics of Recursive Self-Improvement [pdf]

148 pointsposted 3 days ago

by apsec112

97 comments

Rzk: A Proof Assistant for Synthetic ∞-Categories

8 pointsposted a day ago

by Jimmc414

0 comments

French parliament approves landmark assisted-dying bill

24 pointsposted 19 hours ago

by JumpCrisscross

12 comments

GPT-5.6 unexpected file deletions

6 pointsposted 8 hours ago

by lobo_tuerto

1 comments

Notes on Structured Programming [pdf]

3 pointsposted 16 hours ago

by andsoitis

0 comments

World-First 'Super Alloy' Could Transform the Way Metals Are Made

99 pointsposted 7 days ago

by tejohnso

59 comments

Kimi K3 is live on kimi code

6 pointsposted 8 hours ago

by poorvsahu

0 comments

Odin 2 Portal Exploded

16 pointsposted a day ago

by dcu

1 comments

Show HN: For 10 World Cups, my model's 2 favorites had the champion every time

38 pointsposted a day ago

by fabioricardo7

52 comments

MorphoHDL: A minimalistic language for growing circuits

99 pointsposted 3 days ago

by jacktang

8 comments

Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs

10 pointsposted 20 hours ago

by matt_d

0 comments

The largest available Minecraft world, totalling 15 TB

243 pointsposted 5 days ago

by _____k

87 comments

Coding agents think ahead of time

95 pointsposted 2 days ago

by andre15silva

77 comments

SpaceX stock erases all its gains and slides below IPO price in intraday trading

281 pointsposted 11 hours ago

by 1vuio0pswjnm7

256 comments

The git history command

449 pointsposted 3 days ago

by turbocon

311 comments

Reverse-engineering a forgotten 80s arcade game for the Taito SJ System

7 pointsposted 20 hours ago

by fippi

1 comments