newest

prev

Page 2022

next

A Proof of Conway's Refinement Conjecture in Lean

2 pointsposted 5 hours ago
by danabramov
0 comments
Read more: github.com

Vectra – Offline CVE and GTFOBins intelligence engine for your terminal

1 pointsposted 5 hours ago
by Portzer0
0 comments
Read more: github.com

Genetically modified pig kidney keeps man alive for record nine months

1 pointsposted 5 hours ago
by signa11
0 comments
Read more: theguardian.com

Show HN: DeepMem plugin for Claude Code – persistent semantic memory via MCP

2 pointsposted 5 hours ago
by deepmem
0 comments
Read more: github.com

Tell HN: Check your Claude settings, it may have silently enabled remote access

6 pointsposted 5 hours ago
by cromka
5 comments
Read more:

Some US car buyers envy what they cannot have – affordable Chinese EVs

5 pointsposted 5 hours ago
by signa11
0 comments
Read more: reuters.com

Scientists map key protein interactions linked with profound autism

3 pointsposted 5 hours ago
by Anon84
0 comments
Read more: npr.org

US urged to consider military strikes to stop China achieving AGI first

7 pointsposted 5 hours ago
by sigma5
4 comments
Read more: scmp.com

Gridfinity

4 pointsposted 5 hours ago
by Bluestein
1 comments
Read more: en.wikipedia.org

The Story of VS Code | Official Documentary

6 pointsposted 5 hours ago
by doppp
0 comments
Read more: youtube.com

ICE Wants to Know Everyone Who Bought a Certain Green Beanie from REI

3 pointsposted 5 hours ago
by sbulaev
0 comments
Read more: wired.com

Linux 7.4 to Improve Apple Silicon Audio Support and "Impossible" Power Mgmt

2 pointsposted 5 hours ago
by DemiGuru
0 comments
Read more: lore.kernel.org

Edmond Albius, the Enslaved Man Who Pioneered the Pollination of Vanilla

2 pointsposted 5 hours ago
by ynac
0 comments
Read more: lithub.com

How Email Works (2025)

2 pointsposted 5 hours ago
by theanonymousone
0 comments
Read more: sushantdhiman.dev

Australian property developer collapse ripples into private credit markets

1 pointsposted 5 hours ago
by JumpCrisscross
0 comments
Read more: ft.com

Testosterone shifts political preferences in weakly affiliated Democratic men

1 pointsposted 5 hours ago
by bilsbie
0 comments
Read more: psypost.org

Gmail to end support for "Send as" for third-party addresses, such as @yahoo.com

165 pointsposted 5 hours ago
by sva_
121 comments
Read more: support.google.com

Hostile Interpolation

1 pointsposted 5 hours ago
by oidar
0 comments
Read more: tomstafford.substack.com

Safety overview: GPT‑6 Astra

1 pointsposted 5 hours ago
by wertyk
0 comments
Read more: openai.com

MVSEP's 53-Stem Music Separation Model

1 pointsposted 5 hours ago
by rrherr
1 comments
Read more: mvsep.com

Show HN: JogPad – Shift Shift note capture app (macOS)

1 pointsposted 5 hours ago
by ycmjason
0 comments
Read more: jogpad.fishball.app

Show HN: Dev-prune – deletes node_modules only when the lockfile can rebuild it

2 pointsposted 5 hours ago
by VKrishna04
0 comments
Read more: github.com

Reverse Engineering an ASIC

2 pointsposted 5 hours ago
by rachitnigam
0 comments
Read more: outercloud.dev

Local TUI issue board for agentic workflows with time travel, backed by Git

3 pointsposted 5 hours ago
by samuell
0 comments
Read more: twitter.com

Unlocking Lossless Speedups in LLMs via Discrete Diffusion

2 pointsposted 5 hours ago
by Bluestein
0 comments
Read more: github.com

Responsibility means treating people like tools

1 pointsposted 5 hours ago
by Brajeshwar
0 comments
Read more: seangoedecke.com

Computers Are Bad: A newsletter

2 pointsposted 5 hours ago
by CharlesW
0 comments
Read more: computer.rip

Show HN: RAII and It's Architecture in C++

1 pointsposted 5 hours ago
by rzwsan
0 comments
Read more: archetechmes.vercel.app

Headroom: Save Tokens from Reversible Compression

1 pointsposted 5 hours ago
by ghostoftiber
0 comments
Read more: github.com

Language Models Can Control Their Own Attention

1 pointsposted 5 hours ago
by Anon84
0 comments
Read more: arxiv.org