newest

prev

Page 214

next

OpenAI’s Navier-Stokes release included a Lean 4 formal proof

152 pointsposted 8 hours ago
by ibobev

Something is shifting in the inflation picture

3 pointsposted 8 hours ago
by paulpauper

AI Is an Intelligence Multiplier

4 pointsposted 8 hours ago
by ibobev

Project Tailwind is a call for ambitious AI safety initiatives

1 pointsposted 8 hours ago
by paulpauper

The New GDP Series and Its Critics

1 pointsposted 8 hours ago
by paulpauper

Wall Labels Are in a Sorry State

3 pointsposted 9 hours ago
by ericmay

How Pokémon Go turned its players into Pentagon cartographers

8 pointsposted 9 hours ago
by paimapi

Halaska UI Kit

1 pointsposted 9 hours ago
by handfuloflight

Smart Learning for Developers: How AI Is Changing the Way We Master New Things

1 pointsposted 9 hours ago
by aledevv

Show HN: Stitchwink – Cross-stitch pattern making with AI

1 pointsposted 9 hours ago
by dumbfoundded

The AI Takeover Checklist: A Devil's Advocate Audit

2 pointsposted 9 hours ago
by Bender

From Idea to Operating Business: How Solo Runs Listmycar.ai

1 pointsposted 9 hours ago
by rchaz

Japan can turn AI demand into industrial strength

3 pointsposted 9 hours ago
by bigdatadevdog

Anthropic details distillation campaigns from Alibaba, Moonshot AI, and DeepSeek

6 pointsposted 9 hours ago
by elo2000

Apple Health and Quest team up for $119 blood panel

2 pointsposted 9 hours ago
by elo2000

Lcars-k8 – Star Trek LCARS inspired Kubernetes dashboard

1 pointsposted 9 hours ago
by SkidVis

DeepSeek-v4-flash-0731-spark-sparkinfer: DeepSeek V4 Flash on one DGX Spark

2 pointsposted 9 hours ago
by simonpure

Kafka Simulator v1.5 and v1.6 – stretched clusters

1 pointsposted 9 hours ago
by mmatloka

Ramp: How we built OCA, our AI on-call assistant

2 pointsposted 9 hours ago
by twitchard

Codex Rate Limit Reset: Weekly Caps, 5-Hour Window, Credits

1 pointsposted 9 hours ago
by bnsaid

Claude Zero Data Retention: Anthropic's Five States, Mapped

1 pointsposted 9 hours ago
by bnsaid

AI-powered biowarfare is coming; the Army lays plans to 'fight through' it

6 pointsposted 9 hours ago
by jethronethro

The secretive process that will decide the BBC's future

6 pointsposted 9 hours ago
by mellosouls

Tylenol use in pregnancy may be linked with uterus, ovary changes in daughters

5 pointsposted 9 hours ago
by hmm37

My favourite agent does a simple job

3 pointsposted 9 hours ago
by chigsy

California's Governor Signs Landmark Online Child Safety Bills

2 pointsposted 9 hours ago
by ChrisArchitect

Bending Spoons agrees to buy Miro for $1.355B, weeks after Airtable

6 pointsposted 9 hours ago
by mellosouls

The Palm Pre Is the Reason You Love Your Phone (2009) [video]

8 pointsposted 9 hours ago
by jbverschoor

From Git to Fossil

3 pointsposted 9 hours ago
by smartmic

Oracle Q1 FY2027 Earnings Results [pdf]

2 pointsposted 9 hours ago
by marc__1