Entertainment

Software Company Teradata Pauses Raises, Says Budget Is Going to AI

Software Company Teradata Pauses Raises, Says Budget Is Going to AI

โœจ Check out this awesome post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ’ก **What Youโ€™ll Learn**: AI isn't just coming for your job. It's coming for your pay.As companies look for cash to fund their AI transformations, some are finding it by shrinking employee benefits and compensation packages.Teradata, a global cloud software company, told its 5,100 employees in January not to expect an annual salary raise this year as it reallocates the budget toward AI investments, according to an internal memo seen by Business Insider and not previously reported.Teradata's focus for 2026 is to "win in the market with AI,"…
Read More
IPv6 zones in URLs are a mistake

IPv6 zones in URLs are a mistake

โœจ Explore this awesome post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: โœ… **What Youโ€™ll Learn**: Published on 2026-06-05, 696 words, 3 minutes to read Run away while you still can, it's not too late for you to avoid the curse of knowledge. IPv6 is weird. One of the more strange parts of the standard is that every interface's link local addresses are in fe80::whatever. If you have a machine with two network interfaces, both of them will be in fe80::, so if you have a packet destined to fe80::4, how do you disambiguate it? The answer is you use IPv6…
Read More
alibaba/open-code-review: Battle-tested at Alibaba’s scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible. ยท GitHub

alibaba/open-code-review: Battle-tested at Alibaba’s scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible. ยท GitHub

๐Ÿ”ฅ Discover this trending post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: โœ… **What Youโ€™ll Learn**: The open source AI code review agent. English | ็ฎ€ไฝ“ไธญๆ–‡ What is Open Code Review? Open Code Review is an AI-powered code review CLI tool. It originated as Alibaba Group's internal official AI code review assistant โ€” over the past two years, it has served tens of thousands of developers and identified millions of code defects. After thorough validation at massive scale, we incubated it into an open source project for the community. Simply configure a model endpoint to get started. It reads Git diffs,…
Read More
A Post-Training Procedure for Internalized Multi-Agent Debate

A Post-Training Procedure for Internalized Multi-Agent Debate

๐Ÿš€ Explore this must-read post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ’ก **What Youโ€™ll Learn**: [Submitted on 27 Apr 2026] View a PDF of the paper titled Latent Agents: A Post-Training Procedure for Internalized Multi-Agent Debate, by John Seon Keun Yi and 2 other authors View PDF HTML (experimental) Abstract:Multi-agent debate has been shown to improve reasoning in large language models (LLMs). However, it is compute-intensive, requiring generation of long transcripts before answering questions. To address this inefficiency, we develop a framework that distills multi-agent debate into a single LLM through a two-stage fine-tuning pipeline combining debate structure learning with…
Read More
[2606.04032] Do Transformers Need Three Projections? Systematic Study of QKV Variants

[2606.04032] Do Transformers Need Three Projections? Systematic Study of QKV Variants

๐Ÿš€ Explore this awesome post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: โœ… **What Youโ€™ll Learn**: [Submitted on 1 Jun 2026] View a PDF of the paper titled Do Transformers Need Three Projections? Systematic Study of QKV Variants, by Ali Kayyam and 2 other authors View PDF HTML (experimental) Abstract:Transformers have become the standard solution for various AI tasks, with the query, key, and value (QKV) attention formulation playing a central role. However, the individual contribution of these three projections and the impact of omitting some remain poorly understood. We systematically evaluate three projection sharing constraints: a) Q-K=V (shared key-value), b)…
Read More
schildep/verified-polygon-intersection: Formally verified polygon intersection ยท GitHub

schildep/verified-polygon-intersection: Formally verified polygon intersection ยท GitHub

๐Ÿš€ Read this must-read post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: โœ… **What Youโ€™ll Learn**: To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. (Also compare with Related work) The experience of working with AI agents on this project changed a lot with recent model releases. Latest models are able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. (Capabilities of AI agents) Trust in the correctness comes entirely from the Lean checker and human review of a small specification,…
Read More
GitHub – tejaswigowda/ffmpeg-webCLI: A browser-based video editor powered by ffmpeg.wasm. No uploads, no servers –

GitHub – tejaswigowda/ffmpeg-webCLI: A browser-based video editor powered by ffmpeg.wasm. No uploads, no servers –

โœจ Explore this insightful post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ“Œ **What Youโ€™ll Learn**: A browser-based video editor powered by ffmpeg.wasm. in your browser using WebAssembly. ๐Ÿš€ Live app: https://tejaswigowda.com/ffmpeg-webCLI/ โœ… No Server Uploads โ€” All video processing happens entirely on your device โœ… 30+ Video Operations โ€” GIF creation, format conversion, compression, trimming, effects, filters, and more โœ… Offline-First PWA โ€” Works completely offline after first use; install as a native app โœ… Screen Wake Lock โ€” Screen stays active during video processing on any device โœ… Live Previews โ€” See output size estimates and live settings adjustments…
Read More
anthropics/defending-code-reference-harness: Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize ยท GitHub

anthropics/defending-code-reference-harness: Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize ยท GitHub

๐Ÿ’ฅ Check out this insightful post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ’ก **What Youโ€™ll Learn**: A reference implementation for autonomous vulnerability discovery and remediation with Claude, based on our learnings from partnering with security teams at several organizations since launching Claude Mythos Preview. For a write up of these learnings along with best practices, see the accompanying blog post (also available in blog-post.md). For a lightweight SDK-only walkthrough of the same recon โ†’ find โ†’ triage โ†’ report โ†’ patch loop, see the companion cookbook. This repo is not maintained and is not accepting contributions. ๐Ÿ”’ Want a managed…
Read More

The Desperation of NYTimes – rozumem’s weblog

๐Ÿ’ฅ Read this trending post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ’ก **What Youโ€™ll Learn**: I recently got suckered into subscribing to NYTimes because I wanted to read an article behind a paywall and I couldn't find an easy and quick alternative. I didn't mind the $2.00 a month. But I took offense to what happened after I paid. Over the course of the next 5 days, they sent me 5 onboarding marketing emails and I could not opt out of any of them. What's worse is their message in the footer. You are receiving this one-time series of onboarding…
Read More
How Fear and Social Pressure Are ‘Overarming’ the U.S.

How Fear and Social Pressure Are ‘Overarming’ the U.S.

๐Ÿš€ Check out this trending post from Hacker News ๐Ÿ“– ๐Ÿ“‚ **Category**: ๐Ÿ“Œ **What Youโ€™ll Learn**: A Dartmouth study is the first to map the interplay of personal choice and social networks that has led to the United States being one of the worldโ€™s most heavily armed countries, with 120 firearms for every 100 people.The researchers describe in Science Advances how individual incentives to buy firearms can lead to a phenomenon they call โ€œoverarming.โ€ In an overarmed society, the collective cost of firearm ownership outweighs the individual benefits of possessing a gun.ย The team developed an evolutionary game theory model of…
Read More