Alkemet News

Tony Hoare has died (blog.computationalcomplexity.org)

884 points

by speckx

4 hours ago |

Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com)

109 points

by sanchitmonga22

2 hours ago |

Debian decides not to decide on AI-generated contributions (lwn.net)

175 points

by jwilk

4 hours ago |

Yann LeCun raises $1B to build AI that understands the physical world (wired.com)

59 points

by helloplanets

10 hours ago |

Billion-Parameter Theories (worldgov.org)

32 points

by seanlinehan

an hour ago |

I built a programming language using Claude Code (ankursethi.com)

50 points

by GeneralMaximus

2 hours ago |

Intel Demos Chip to Compute with Encrypted Data (spectrum.ieee.org)

173 points

by sohkamyung

6 hours ago |

Throwing away 18 months of code and starting over (tompiagg.io)

21 points

by tomaspiaggio12

3 hours ago |

Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (gitlab.redox-os.org)

306 points

by pjmlp

10 hours ago |

Launch HN: Didit (YC W26) – Stripe for Identity Verification (self)

37 points

by rosasalberto

4 hours ago |

Rebasing in Magit (entropicthoughts.com)

138 points

by ibobev

5 hours ago |

Meta acquires Moltbook (axios.com)

248 points

by mmayberry

4 hours ago |

I put my whole life into a single database (howisfelix.today)

350 points

by lukakopajtic

9 hours ago |

Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)

160 points

by dnhkng

6 hours ago |

The Enterprise Context Layer (andychen32.substack.com)

17 points

by zachperkel

4 hours ago |

Open Weights Isn't Open Training (workshoplabs.ai)

24 points

by addiefoote8

19 hours ago |

Defeat as Method (cabinetmagazine.org)

12 points

by akbarnama

2 hours ago |

I used pulsar detection techniques to turn a phone into a watch timegrapher (chronolog.watch)

35 points

by tylerjaywood

3 days ago |

RFC 454545 – Human Em Dash Standard (gist.github.com)

86 points

by jdauriemma

4 hours ago |

Levels of Agentic Engineering (bassimeledath.com)

18 points

by bombastic311

10 hours ago |

Bypassing Apache Fop PostScript Escaping to Reach GhostScript (offsec.almond.consulting)

5 points

by notmine1337

2 days ago |

Online age-verification tools for child safety are surveilling adults (cnbc.com)

367 points

by bilsbie

6 hours ago |

Surpassing vLLM with a Generated Inference Stack (infinity.inc)

10 points

by lukebechtel

4 hours ago |

The Gervais Principle, or the Office According to "The Office" (2009) (ribbonfarm.com)

240 points

by janandonly

3 days ago |

We are building data breach machines and nobody cares (idealloc.me)

28 points

by idealloc_haris

4 hours ago |

How many options fit into a boolean? (herecomesthemoon.net)

43 points

by luu

4 days ago |

PgAdmin 4 9.13 with AI Assistant Panel (pgadmin.org)

73 points

by __natty__

7 hours ago |

A new Oracle Solaris Common Build Environment (CBE) release (blogs.oracle.com)

40 points

by naves

3 days ago |

Isotopic Evidence for a Cold and Distant Origin of Interstellar Object 3I/Atlas (arxiv.org)

9 points

by bikenaga

2 hours ago |

Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com)

48 points

by dougdonohoe

6 hours ago |