Alkemet News

Ten advances in mathematics and theoretical computer science (openai.com)

232 points

by milkshakes

4 hours ago |

Devtools must be open source (blog.exe.dev)

368 points

by bryanmikaelian

6 hours ago |

Wind and solar overtake fossil fuels in Germany for the first time (intellinews.com)

266 points

by just_some_user

7 hours ago |

Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)

74 points

by roryirvine

3 hours ago |

MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video (blog.comfy.org)

203 points

by vblanco

6 hours ago |

Smaller, faster, safer: running Kimi and GLM at scale (blog.cloudflare.com)

44 points

by ascorbic

3 hours ago |

Andy Pavlo joins ClickHouse to establish ClickHouse Labs (clickhouse.com)

197 points

by nikolay_sivko

6 hours ago |

Massively Parallel Postgres Backups (planetscale.com)

55 points

by ksec

3 days ago |

The Potomac River Midair Collision (admiralcloudberg.medium.com)

27 points

by mplanchard

8 hours ago |

How Hollywood stopped making movies in Hollywood (statsignificant.com)

130 points

by speckx

6 days ago |

Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents (hoplite.sh)

30 points

by BenceRed

4 hours ago |

Kelly Criterion Simulator (kellysimulator.com)

17 points

by aleyan

3 days ago |

The Billable Usage API: programmatic cost visibility for Cloudflare (blog.cloudflare.com)

22 points

by ashleypeacock

3 hours ago |

200 Milliseconds (200ms.thenodebook.com)

8 points

by dimitarpanov

2 days ago |

AirLLM 70B inference with single 4GB GPU (github.com)

156 points

by Anon84

9 hours ago |

Use Task Runners for Common Coding Tasks (hamvocke.com)

33 points

by speckx

3 hours ago |

Bonsai: Janestreet's UI Library (github.com)

254 points

by KolmogorovComp

12 hours ago |

SearXNG in Rust (github.com)

33 points

by dluuuu

3 hours ago |

Show HN: Product analytics (and evals) for agent sessions on your MCP (armature.tech)

26 points

by screm

4 hours ago |

Don't be a meat proxy (gruhn.me)

1571 points

by ngruhn

14 hours ago |

SQLite Critical CVEs or LLM Slop? (research.jfrog.com)

674 points

by ymir_e

9 hours ago |

SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros (dmarcguard.io)

37 points

by meysamazad

6 hours ago |

Explanation of INT8 ConvRot (FP8 is no longer needed) (note.com)

17 points

by peter_d_sherman

4 hours ago |

Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)

319 points

by mpweiher

11 hours ago |

C++ float-to-int conversion can be undefined behavior (kttnr.net)

33 points

by signa11

4 days ago |

Rust project goals: Immobile types and guaranteed destructors (github.com)

210 points

by paavohtl

13 hours ago |

Qwen3.8-Max: A New Bar for Coding and Cowork (qwen.ai)

1001 points

by ai2027

18 hours ago |

What DMARC Protects You From, and What It Does Not (senderledger.com)

115 points

by adulion

11 hours ago |

Kraid is a now a real compiler (collabora.com)

24 points

by losgehts

4 days ago |

Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone (github.com)

91 points

by NickySlicks

9 hours ago |