news

prev

Page 572

next

SpecForge – A Platform for Authoring Formal Specifications

80 pointsposted 3 days ago
by agnishom

AI Usage by Derek Sivers

7 pointsposted 11 hours ago
by fabiojrb

Stop Killing the Internet: No Digital ID and No Age Verification

711 pointsposted 4 days ago
by doener

Google Flow Music launches Lyria 3.5 with advances in musicality, lyrics, vocals

12 pointsposted a day ago
by noiv

Kimi K3-256k

487 pointsposted 2 days ago
by monneyboi

Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library

135 pointsposted 3 days ago
by apetuskey

Some thoughts about Anthropic's new cryptanalysis results

187 pointsposted 2 days ago
by supermatou

Turning a dumb AC unit smart (without losing my security deposit)

207 pointsposted 2 days ago
by austinallegro

Vehicle Motion Cues

208 pointsposted 4 days ago
by Austin_Conlon

Fall of Situational Awareness Is a Warning, So Is Nvidia's Vendor Financing

6 pointsposted 9 hours ago
by mapping365

What it means for an API to be RESTful

37 pointsposted 2 days ago
by ibobev

How Do I Profile eBPF Code?

123 pointsposted 3 days ago
by snaveen

Inflammation-targeting drug misses mark in heart disease study

7 pointsposted 12 hours ago
by brandonb

Holocloth

15 pointsposted a day ago
by ingve

Cracking Windows Open: Porting RADV to Win32

93 pointsposted 3 days ago
by zdw

The year Claude users sued over limits is the year the limits mostly went up

3 pointsposted 3 hours ago
by ermantrout

Iranian hackers likely behind Minnesota municipal water cyberattack

7 pointsposted 10 hours ago
by porridgeraisin

FBI gets voter's IP address in new fraud probe tactic

8 pointsposted 11 hours ago
by sailfast

48K/50K ppl who crossed illegally into Ceuta have been returned to Morocco

7 pointsposted 10 hours ago
by Markoff

U.S. debt-to-GDP ratio reaches 123%

115 pointsposted 14 hours ago
by johnbarron

NSF pilots 4-year PhDs with industry research placements

84 pointsposted 2 days ago
by osnium123

Google withdraws new Earth AI tool after warnings over misinformation risks

9 pointsposted 8 hours ago
by dabinat

Anthropic and OpenAI are competing to see whose agents can go rogue harder

10 pointsposted 13 hours ago
by joebuckwilliams

Show HN: A local merge queue for parallel Claude Code agents

42 pointsposted 2 days ago
by funador

Flume Water Monitor 915 MHz Security Is Pretty Good

41 pointsposted 2 days ago
by credibleconure

Half-Life ported to Mac OS 9

302 pointsposted 3 days ago
by freediver

Offloading I/O to Dedicated Cores: An Asymmetric io_uring Back end for Seastar

7 pointsposted a day ago
by cyndunlop

MCP 2026-07-28 Specification: transport going stateless

127 pointsposted 3 days ago
by Eldodi

So you want to use plants to reduce CO₂

122 pointsposted a day ago
by surprisetalk

Show HN: Supapool – a Supabase per coding agent in ~400 ms

30 pointsposted 2 days ago
by kevo1ution