Show HN: Tab-league – archive Chrome tabs locally so closing them feels safe
Article URL: https://github.com/Shann5/tab-league Comments URL: https://news.ycombinator.com/item?id=50416248 Points: 1 # Comments: 0
AI NEWS JOURNAL
Search AI news
Search headlines, summaries and articles to connect the dots.
Show HN: Neural Network Formal Verification
Article URL: https://github.com/giovanni-norbedo/awesome-nn-formal-verification Comments URL: https://news.ycombinator.com/item?id=50412710 Points: 1 # Comments: 0
Show HN: Nino – Fastest C# serializer, safe on untrusted input, also TS/Go/Rust
Nino is a source-generated binary serializer for C#, and as far as we know the fastest one. In the same BenchmarkDotNet run on GitHub runners against MemoryPack 1.21.4, it serializes classes and polymorphic types 3.5–7.2x faster and deserializes them 1.7–2.1x faster (arrays of unmanaged structs are on par). Deserializing into existing objects allocates nothing. Reproduce: https://nino.xgamedev.net/en/docs/v4/benchmarksIt is built to read bytes you do not trust: lengths are checked before allocating, depth is bounded, hash flooding is limited, and the read paths are fuzzed in CI.The bytes are a spec, not a memory dump, so CoreCLR, Mono, IL2CPP and 32-bit hosts write the same bytes, and runtimes for TypeScript, Go and Rust pass the same conformance corpus.Trade-offs: positional by default (VersionTolerant or Keyed for stored data), a 4-byte type id on polymorphic values, no System.Type, needs C# 9 and Roslyn 4.3+.Docs: https://nino.xgamedev.net Comments URL: https://news.ycombinator.com/item?id=50413601 Points: 1 # Comments: 0
Show HN: Shutdown Watch – App shutdowns, export deadlines, and alternatives
My recipe app picked up users when a similar app shut down, and I kept noticing people scrambling to export their data, so I created this project to scratch my own itch.The 3 main purposes this serves are:1. Give the public a way to find how to export their data or find a replacement if one of the apps they use shuts down.2. Give app creators a way to get their apps in front of people who are actively looking for a replacement for a similar app. Sponsored spots are labeled and never change the dates or export steps.3. Provide inspiration for app creators looking for ideas for what to build next. Just because apps shut down doesn't mean they were not good ideas; many times they shut down for other reasons, like poor execution, no marketing, over-spending, etc.Every date and export step links to the company's own notice.I'm always open to ideas to make it more useful. I read all the comments and constructive criticism and input are always welcomed. Comments URL: https://news.ycombinator.com/item?id=50412639 Points: 1 # Comments: 0
Show HN: We Build Shareable Context Layer for Agent Teams
Article URL: https://github.com/volcengine/OpenViking Comments URL: https://news.ycombinator.com/item?id=50410477 Points: 1 # Comments: 1
Show HN: Umbel – Remote-control agent CLIs over tmux
Been using this in all my sessions the last months. Opus 5.5 (over MCP) spawns Deepseek flash agents - and codex for audits etc. Very curious to hear what the HN crowd thinks/makes of it. Comments URL: https://news.ycombinator.com/item?id=50383189 Points: 1 # Comments: 0
The Sequence Opinion - Issue #966: The Forward Curve of Intelligence
How GPU derivatives could reshape the economics of AI
How Anthropic ships Claude with Claude: Separating the Brain from the Hands
Katelyn Lesse and Angela Jiang on Opus 5.5, the Claude Platform, and the engineering behind AI agents.
The sleep framework: A new way for LLMs to retain knowledge in continual learning
Education Innovation
Why dbt Labs thinks AI agents will finally make the semantic layer stick
Why AI agents can make semantic layers stick, if teams can solve the trust problem.
Google’s Genie 4 world model adds audio, more realistic worlds, and real-time steering
Google DeepMind released Genie 4, a world model with real-time audio, more realistic simulations, and mid-simulation text prompts, in research preview for trusted testers.
General Compute raises $100 million Series A, countering the neocloud disaster narrative
General Compute is betting on inference chips from outside the Nvidia ecosystem.
Can we trust LLMs to judge whether a research idea is novel?
Can we trust LLMs to judge whether a research idea is novel?
Generate incredible images with Google's Imagen 4
Google's flagship image generation model, Imagen 4, is now available for you to try on Replicate. Create images with fine detail, versatile styles, and improved typography.