newest

prev

Page 2452

next

LeanHTTP: HTTP Client for Lean 4

2 pointsposted 9 hours ago
by hargup

EU moves to curb energy and water for data centres

5 pointsposted 9 hours ago
by billybuckwheat

An Introduction to Compression-Based Machine Learning

2 pointsposted 9 hours ago
by jackhurwitz

Google confirms Gemini models hacked three companies in May 2026

5 pointsposted 9 hours ago
by sbulaev

Heckle: Converting Git forges into Terraform/OpenTofu

2 pointsposted 9 hours ago
by _mig5

Socrates vs. the Written Word (2011)

41 pointsposted 9 hours ago
by spectraldrift

Show HN: Jev Powered Obsidian Search

3 pointsposted 9 hours ago
by MikeLembo

Open Animal Stage – mapped animal brains play a strategy game together

2 pointsposted 9 hours ago
by Pr1nted

A skills library for every agent

1 pointsposted 9 hours ago
by gmays

Schelling Points and the Secret Society of Agents

3 pointsposted 9 hours ago
by ph4rsikal

JevOps Engineer

3 pointsposted 9 hours ago
by curtis-jm

The Softness of Metal

2 pointsposted 9 hours ago
by NaOH

Millions Spent, Few Served: Talkspace Deal for Youth Therapy Falls Short

3 pointsposted 9 hours ago
by DeepLogin

Making s1-model 'Judgements' a RubyLang primitive feature

2 pointsposted 9 hours ago
by idz

Two Hard Things (2009)

2 pointsposted 9 hours ago
by adriand

7 out of 9 Planetary Boundaries are breached

27 pointsposted 9 hours ago
by geox

Muse sent me 6.8gb of its filesystem. Here's what I found

6 pointsposted 9 hours ago
by Aeroi

AI provides the logic; the compiler makes it real – with zero hallucinations

3 pointsposted 9 hours ago
by Judyrabbit

CO3: Toward the Optimal FFI

1 pointsposted 9 hours ago
by manyatoms

Two Strangers, One Machine: A security model for a CDN on residential hardware

2 pointsposted 9 hours ago
by gadgetboy

Nvidia chip-use emissions match that of a Russian state coal producer: report

5 pointsposted 9 hours ago
by devonnull

Xiaomi MiMo Desktop

2 pointsposted 9 hours ago
by gainsurier

Xaml.io v0.9: Build .NET Apps from a Prompt, in the Browser

1 pointsposted 9 hours ago
by vasbu

Show HN: Context Tetris clear rows to bank the useful context Keep the noise out

2 pointsposted 9 hours ago
by outageroom

There May Be Nobody There

3 pointsposted 9 hours ago
by bastrich

Arce: Design studio for furniture makers and interior designers

4 pointsposted 9 hours ago
by ivanenkoy

Delta: Highly available, strongly consistent storage using chain replication (2022)

1 pointsposted 9 hours ago
by grep_it

So, is AI going to kill us? 11 experts, 11 answers

2 pointsposted 9 hours ago
by ghuntley

Motor Characterization for Small Running Robots (2016)

1 pointsposted 9 hours ago
by loughnane

I Redefined Partnership Terms to End the Sick Romanticization of Co-Founders

3 pointsposted 9 hours ago
by joeyomaita