Year: 2026

Inside the federal keyword lists that canceled billions in research funding

0 CommentsEntertainment

🔥 Read this must-read post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: Listen to the article 5 min This audio is auto-generated. Please let us know if you have feedback. Soon after President Donald Trump retook office, researchers and academics across the country began receiving startling news. They were abruptly informed, often mid-project, that their federal grant funding had been terminated. Form letters bearing the news often offered few details beyond that their work no longer aligned with agency priorities. As part of a lawsuit filed by University of California researchers, a handful of federal agencies confirmed…

Read More

Gmail might partially be to blame for me receiving emails from other Sean Conners – The Boston Diaries

0 CommentsEntertainment

💥 Explore this trending post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Gmail might partially be to blame for me receiving emails from other Sean Conners I was reading the Lobsters thread about the article “A researcher bought noreply.net. Companies started sending him secrets” when I left a comment about my own struggles with receiving emails for other Sean Conners. That started a thread that swamped the comment section about other people who had similar stories, so it's nice to know that I'm not alone. Also, here's one of my favorite comments in that thread (for reasons…

Read More

crabbuild/prolly: Prolly is a content-addressed ordered map built on prolly trees. It gives applications immutable snapshots, cheap branching, structural sharing, efficient diffs and merges, sync primitives, and verifiable key/range proofs. · GitHub

0 CommentsEntertainment

💥 Discover this trending post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Prolly publishes the prolly Rust library crate. Users depend on the package as prolly-map, while code imports stay concise: use prolly::🔥;. The crate provides content-addressed prolly tree storage primitives: an immutable, ordered key-value index over byte keys and byte values, with stable content-derived structure for efficient structural sharing, diff, merge, and bulk loading. At the API boundary, a Tree is a small persistent handle: root: Option points at the content-addressed root node. config: Config records the chunking and encoding parameters used by the tree. The…

Read More

AGI-64 Brings Sierra Adventures to the Commodore 64 — Mean Hamster Software

0 CommentsEntertainment

✨ Discover this trending post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: AGI on the C64, at last We are happy to announce AGI-64, a long-awaited AGI interpreter for the Commodore 64. It is currently around 75% complete for Space Quest 1, which is completely playable now, and the engine aims to support most AGI games of the era. The interpreter is in testing and already supports most standard AGI operations. Free download, your own game files AGI-64 will be a free download when it is ready. It includes a tool that takes the .vol and .obj…

Read More

Rhombus v1.1

0 CommentsEntertainment

💥 Discover this awesome post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: Rhombus version 1.1 is now available! We are pleased to announce Rhombus 1.1 is now available from https://rhombus-lang.org/. Rhombus is a general-purpose programming language that is easy to use and uniquely customizable. As of this release: Add annot and annot.def as ways to define an annotation without directly writing meta-time (i.e., macro) code. Add as as a binding form, which is sometimes more readable for naming than using && and provides a way to shadow an identifier that is bound as a binding form. Change…

Read More

Protobuf finally has LSP support. You’re welcome. · Buf

0 CommentsEntertainment

🚀 Read this trending post from Hacker News 📖 📂 **Category**: 💡 **What You’ll Learn**: Buf is proud to announce the first fully-featured, production-grade LSP server for Protobuf. The Language Server Protocol is the standard API for integrating language support into your favorite IDE or text editor, such as VSCode, IntelliJ, or Neovim. An LSP server provides the smarts that power go to definition, code completion, finding references, and semantics-aware syntax highlighting. Before today, Protobuf lacked the same LSP support other major programming languages enjoy. We don’t want to overstate our own work, but this is a game-changer for Protobuf…

Read More

Digital tip screens are designed to pressure customers into tipping

0 CommentsEntertainment

✨ Explore this must-read post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: NEWYou can now listen to Fox News articles! I have no problem tipping. I love tipping for a job well done. It’s part of American culture.However, I do have a problem being manipulated into it.America didn't just create a tipping culture. We’ve created a guilt culture coupled with technology. Somewhere between the pandemic and the explosion of digital payment screens, saying "thank you" quietly became a financial obligation. What used to be a reward for exceptional service has turned into an expectation for simply completing…

Read More

Anthropic’s ‘Watermark’ Text Adulteration in Claude Is a Perversion of Writing

0 CommentsEntertainment

🚀 Read this trending post from Hacker News 📖 📂 **Category**: ✅ **What You’ll Learn**: Sunday, 16 August 2026 When I wrote this week about Anthropic’s announcement that all Claude models, worldwide, would soon begin “watermarking” everything they generate, including text, to comply with this EU regulation, we were left to speculate how this was going to work, because Anthropic offered not even a vague description of how it would work — despite the fact that the title of the announcement was, absurdly and insultingly, “How Claude Marks AI-Generated Content”. My initial speculation was that maybe they’d hide invisible non-printing Unicode characters…

Read More

The Case Against Formal Verification, 50 Years Later

0 CommentsEntertainment

✨ Read this awesome post from Hacker News 📖 📂 **Category**: 💡 **What You’ll Learn**: Engineers are getting excited about software verification! This may come as a surprise, since verification has long been considered useful only in very niche cases (at best; and impractical, useless or a complete waste of time at worst). Yet, the hype around it is clearly here: Google Trends shows a large spike in searches for formal verification/formal methods in the last two years, everybody’s learning Lean, new specification languages are popping up regularly, and there are efforts to verify major applications end-to-end (e.g., the Signal…

Read More

Models Are Getting Dumber on Purpose

0 CommentsEntertainment

🚀 Check out this insightful post from Hacker News 📖 📂 **Category**: 📌 **What You’ll Learn**: Reasoning scores keep climbing while per-token compute keeps dropping. GLM-5.2 scores 99.2% on AIME 2026 with about 40 billion parameters active per token. Qwen3.5 scores 91.3% with 17 billion active. DeepSeek V4-Flash runs 13 billion active. For scale, GPT-4 was rumored to run around 280 billion active parameters in 2023, and it could barely solve an AIME problem. At the small end, Qwen3.5 9B fits in 6GB of VRAM quantized and roughly doubles the score of the next best model under 10B parameters on…

Read More