hackernews client

Fermat's Last Theorem in Lean 4

74 pointsposted 9 hours ago

by aaraujo002

15 comments

Eidon: Self-hosted AI assistant with Grok Bot-like agent mode

2 pointsposted 9 hours ago

by Quack6765

Show HN: Ccswitch – Switch between multiple Claude Code accounts

2 pointsposted 9 hours ago

by ahmednoreldin

Data Centers Are 'Awesome for Blue-Collar Americans'

4 pointsposted 9 hours ago

by gmays

Show HN: Visor – YouTube for kids, with channels approved by parents

2 pointsposted 9 hours ago

by cherubsta

LLMs Are Bad at Teaching

4 pointsposted 9 hours ago

by rshanreddy

Local Multi-Agent Swarm: An ant farm for local LLM agents

1 pointsposted 9 hours ago

by FranciscoCarlos

The jobs apocalypse is postponed. An AI jobs boom is here

3 pointsposted 9 hours ago

by andsoitis

3 comments

AI Budget Is There. It's Hiding in Your Cloud Bill

2 pointsposted 9 hours ago

by yanivleven

Claude Code vs. Codex – For Pentesting

1 pointsposted 9 hours ago

by syumei

Microsoft to bounce mail from outdated Exchange servers

3 pointsposted 9 hours ago

by DemiGuru

Shutting down our public encrypted DNS

271 pointsposted 9 hours ago

by mywacaday

121 comments

Artificial Delay Lines

3 pointsposted 9 hours ago

by wetwater

Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware

2 pointsposted 9 hours ago

by frozenseven

Why none of the 1,200 agents that hacked Hugging Face called a human

1 pointsposted 9 hours ago

by Depurator

Ask HN: Anyone using AI agents with SCPI equipment?

1 pointsposted 9 hours ago

by softwarewright

Anti-Spaced Repetition for Serendipity (2025)

2 pointsposted 9 hours ago

by Tomte

Ancient Earth Globe

4 pointsposted 9 hours ago

by thunderbong

Formalizing Fermat's Last Theorem

525 pointsposted 9 hours ago

by jlebar

329 comments

Hexis: Collaborate on Claude Skills with your teammates

1 pointsposted 9 hours ago

by juanviera23

Claude Code Release Pulse

3 pointsposted 9 hours ago

by kinduff

Will Greed Destroy AI?

2 pointsposted 9 hours ago

by speckx

Ask HN: Does anyone have access to GPT-6 Astra yet?

7 pointsposted 9 hours ago

by zof3

5 comments

Montgomery v0.1: computer vision AI training in any GPU

1 pointsposted 9 hours ago

by jdiaz97

New Zealand drugs regulator approves use of MDMA to treat PTSD

4 pointsposted 9 hours ago

by bookofjoe

CPAN Bus Factor

3 pointsposted 9 hours ago

by Bluestein

Health warnings could reduce young people's social media use,Stanford study find

4 pointsposted 9 hours ago

by DeepLogin

Latest updates: BepiColombo's arrival at Mercury

3 pointsposted 9 hours ago

by Archelaos