news

prev

Page 947

next

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

235 pointsposted 5 days ago
by dsmurrell

LLMs are making formal software verification feasible at a much larger scale

462 pointsposted 4 days ago
by johnbender

Show HN: Steal My Bitcoin

616 pointsposted 3 days ago
by cloudlandsdev

Woman charged with computer fraud due to scam CashApp account being in her name

665 pointsposted 5 days ago
by oidar

Progressive disclosure in agents to make them 2.3x faster

21 pointsposted 3 days ago
by suchintan

Upwelling – Combining real-time collaboration with version control for writers

5 pointsposted 2 days ago
by andsoitis

eMudhra to exit global SSL/TLS certificate business

1157 pointsposted 5 days ago
by bo0tzz

Gemma-4-26B-A4B with 39-69% less thinking at same accuracy

126 pointsposted 4 days ago
by armcat

Dream-1

180 pointsposted 3 days ago
by GaggiX

How I made it possible to pretrain a 1B LLM on 6GB VRAM

5 pointsposted 14 hours ago
by komalbarun

Monoidal computer I: Basic computability by string diagrams (2012)

16 pointsposted 5 days ago
by measurablefunc

How we made our MMDB files a 33% smaller

8 pointsposted 2 days ago
by mmaia

Ask HN: Is it not possible to enroll for Apple Developer anymore?

31 pointsposted a day ago
by olalonde

A farewell to Arc browser

286 pointsposted 5 days ago
by suhdonghwi

Michigan prof creates Python-like Jac language for AI agents

5 pointsposted 14 hours ago
by rbanffy

Everybody panic: A Valve developer said "HLX" in public

22 pointsposted a day ago
by chha

The HTML-in-Canvas API origin trial

123 pointsposted 5 days ago
by andrewstuart

US startup's demonstration of lighting Earth from space draws critcism

12 pointsposted 20 hours ago
by n1b0m

Anemoia: Nostalgia for a time one did not personally experience

14 pointsposted a day ago
by janandonly

Walter Koenig, Ensign Chekov on original 'Star Trek' series, dies at 90

41 pointsposted 15 hours ago
by shagie

Drone warfare is evolving faster than armies can adapt

18 pointsposted a day ago
by sleepyguy

No signs of AI payoff outside the tech sector

640 pointsposted 3 days ago
by the-mitr

Viktor Orbán, U.N. Secretary-General?

18 pointsposted a day ago
by bushwart

Securing our frontier model training environment

125 pointsposted 4 days ago
by pretext

Flock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video]

33 pointsposted 2 days ago
by input_sh

Internet Security: We're Doomed

4 pointsposted a day ago
by DamnInteresting

Remove pgrust: the entry is cheating (per-query kernels and result caching)

195 pointsposted 4 days ago
by f311a

U.S. birth rate drops to record low, but older women are having more babies

25 pointsposted a day ago
by pseudolus

We have traits at home

56 pointsposted 4 days ago
by Ygg2

Anthropic's Claude AI model accessed Georgia voter data in US

11 pointsposted 21 hours ago
by chrisjj