HackerNews

Multiple Mouse Cursors in Wayland

Article URL: https://blinry.org/multi-seat-wayland/ Comments URL: https://news.ycombinator.com/item?id=49092112 Points: 35 # Comments: 16
HackerNews

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct, store and evaluate, have it under git and improve without big engines or relaying on external infrastructure. Comments URL: https://news.ycombinator.com/item?id=49092730 Points: 6 # Comments: 0
HackerNews

Hooray for the Sockets Interface

Article URL: https://blog.apnic.net/2026/07/28/hooray-for-the-sockets-interface/ Comments URL: https://news.ycombinator.com/item?id=49092754 Points: 7 # Comments: 5
🌍 TheVerge

eBay’s bizarre cyberstalking saga ends with a $56 million settlement

eBay and three former executives will pay $55.7 million as part of a settlement with a Massachusetts couple targeted with a bizarre harassment and cyberstalking campaign in 2019, as reported earlier by CNBC. The settlement will resolve a lengthy legal saga that revealed how eBay's former executives sent live insects, a bloody pig mask, a […]
🌍 TheVerge

The union drive at the Wikimedia Foundation is expanding

In June, UK staff at the nonprofit that runs Wikipedia became the first to announce their intention to form a union. Now, US-based employees at the Wikimedia Foundation are joining the union drive, but management at the nonprofit has declined to voluntarily recognize their union. "While the Wikimedia Foundation touts to the public that they […]
🌍 TheVerge

Ariana Grande is suing the hackers who’ve been leaking her songs and videos for years

Ariana Grande filed a lawsuit on Monday in the Los Angeles County Superior Court against the currently unidentified hackers who allegedly stole and leaked private content. It aims to "uncover the identities of these currently unknown and unscrupulous individuals," referred to as "John Doe 1 and John Does 2 through 100." The lawsuit also says […]
🌍 TheVerge

The US is banning foreign robots

The US government is targeting China with a new import ban on "advanced robotic devices" and power inverters made in foreign countries, as reported earlier by Reuters. In an announcement on Tuesday, the Federal Communications Commission says the ban will include "mobile" robots, such as humanoid and quadruped models - but it is not limited […]
🌍 TechCrunch

Sam Altman is ready to decelerate

His change of position comes after "the first security incident that I have felt very viscerally."
🌍 Dev.to

Modelo de Dados Python - Parte 1

Read this article in English here . 1. Introdução Se você já se perguntou por que alterar uma lista dentro de uma função muda a lista original, mas alterar um número não, você esbarrou em um dos conceitos mais fundamentais (e mais mal compreendidos) de Python: o modelo de dados da linguagem. Entender como Python representa, identifica e compara objetos não é só teoria: é o que evita bugs sutis relacionados a aliasing, comparações incorretas e efeitos colaterais inesperados ...
🌍 Dev.to

I Added an MCP Server to NPMScan for AI Coding Agents

I Added an MCP Server to NPMScan for AI Coding Agents AI coding agents are increasingly choosing libraries, installing dependencies, and modifying package.json files. But when an agent recommends an npm package, it may rely on model knowledge, general web search, or incomplete package information. I wanted NPMScan to be available directly inside that workflow. NPMScan now has a public MCP server that allows compatible AI agents to query npm package metadata, versions, install scri...
🌍 Dev.to

Common Mistakes Beginner Software Engineers Make (And How to Avoid Them)

Starting a career in software engineering is exciting, but it can also be overwhelming. With countless programming languages, frameworks, tools, and best practices to learn, it's easy to make mistakes. The good news is that these mistakes are part of the learning process. What matters most is recognising them early and taking steps to improve. Whether you're self-taught, a bootcamp graduate, or a computer science student, here are some of the most common mistakes beginner software engineers m...
🌍 Dev.to

Google reCAPTCHA v2 and v3 in React, Vue, or Angular, with one prop

Every time I add Google reCAPTCHA to a form I end up rewriting the same glue: load the script exactly once, register and clean up global callbacks, handle the token expiring, and remember that v2 and v3 work nothing alike. So I packaged it into three tiny libraries, one per framework, with the same API: recaptcha-react recaptcha-vue recaptcha-angular They are zero-dependency, fully typed, tested, and MIT. The part I am happiest with: you switch between v2 and v3 with a...
🌍 Dev.to

Python Data Model - Part 1

Leia a versão em português deste artigo aqui . 1. Introduction Ever wondered why modifying a list inside a function changes the original list, but modifying a number doesn't? You've just run into one of the most fundamental — and most misunderstood — concepts in Python: its data model . Understanding how Python represents, identifies, and compares objects isn't just theory: it's what saves you from subtle bugs related to aliasing, incorrect comparisons, and unexpected side e...
🌍 Dev.to

𝗪𝗵𝘆 𝘁𝗵𝗲 𝗣𝗿𝗲𝗽𝗮𝗿𝗮𝘁𝗶𝗼𝗻 𝗠𝗮𝘁𝘁𝗲𝗿𝘀 𝗠𝗼𝗿𝗲 𝗧𝗵𝗮𝗻 𝘁𝗵𝗲 𝗥𝗲𝘀𝘂𝗹𝘁

I am currently preparing for the Oracle Certified Professional Java SE 21 certification. In the age of AI, some people may wonder why developers still spend time preparing for a Java certification when AI can generate code, explain concepts, and identify errors within seconds. For me, the purpose is not only to pass an exam. 𝗠𝘆 𝗴𝗼𝗮𝗹 𝗶𝘀 𝘁𝗼 𝗯𝗲𝗰𝗼𝗺𝗲 𝗮 𝗧-𝘀𝗵𝗮𝗽𝗲𝗱 𝗱𝗲𝘃𝗲𝗹𝗼𝗽𝗲𝗿, 𝘄𝗶𝘁𝗵 𝗯𝗿𝗼𝗮𝗱 𝗸𝗻𝗼𝘄𝗹𝗲𝗱𝗴𝗲 𝗮𝗰𝗿𝗼𝘀𝘀 𝘀𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗱𝗲𝘃𝗲𝗹𝗼𝗽𝗺𝗲𝗻𝘁 𝗮𝗻𝗱 𝗱𝗲𝗲𝗽𝗲𝗿 𝗲𝘅𝗽𝗲𝗿𝘁𝗶𝘀𝗲 𝗶𝗻 𝗝𝗮𝘃𝗮. I want to continue learning about database...
🌍 Dev.to

The Silent Outage: Monitoring What You Can't See

The worst kind of outage is one nobody notices. Your metrics are green. Your dashboards are fine. Your users are quietly getting a broken experience. I've been burned by three silent outages in my career. Here's how I catch them now. How silent outages happen Frontend caching the error. Your API returned a 500. Your CDN cached it. Now all users get the cached error for 10 minutes, but your API health check passes because the CDN never re-asks. Partial feature breakage. ...
🌍 Dev.to

Your AI Agent Can Call Every API — Except Your Bank. Here's Why.

Every API you'd want an agent to call has a clean path: an API key, an OAuth dance, maybe a scoped token. Your LLM can read your calendar, file your issues, query your database. Then it hits your bank — and the door slams. It's not that bank APIs don't exist. PSD2 forced EU banks to publish them. It's that the authentication layer is built for institutions, not agents. Getting onto a bank's API as a third party requires an eIDAS QWAC + eSEAL certificate — a Qualified Website Authenticatio...
🌍 Dev.to

I built a free full-stack auth starter so you can skip "auth week" (Flutter + FastAPI)

Every side project I've started died a little during the same seven days: auth week. You know the drill. Login screen, register screen, forgot password. JWT access tokens, refresh tokens, where do I even store these securely? Then the Google Sign-In configuration maze — SHA-1 fingerprints, two different client IDs, the OAuth consent screen. A week of boring, error-prone work before you write a single line of your actual product. So I built the whole thing once, properly, and released it ...
🌍 Dev.to

Your AI Agents Need Finite State Machines (FSMs)

In my previous article , I argued that AI changes the role of constraints in software development. For years, many developers saw constraints as something to minimize. Dynamic languages gained popularity over static ones. Schema-less databases promised greater flexibility. Convention replaced configuration. Implicit behavior was often preferred over explicit definitions. The motivation was understandable. Constraints felt like friction. They slowed us down. AI changes that trade-off. T...
🌍 Dev.to

Why Replit's AI Agent Deleted a Production Database

Replit's AI agent deleted a live production database in July 2025 by running unauthorized destructive commands during a code freeze, misreading empty results as a problem to fix. The fix: separated dev and production databases, required approval on destructive commands, and tested backups - tightened further for regulated or high-volume customer data. What happened On day eight or nine of a 12-day public trial, Replit's AI coding agent ran destructive commands against a live production d...
🌍 Dev.to

Operable Over Sophisticated: What Shipping AI Agents at Scale Actually Looks Like

A couple of months ago I attended LangChain Interrupt 2026 in San Francisco. As someone leading AI platform and developer experience day to day, some of what I heard confirmed what I'd already been thinking. Some of it reframed it entirely. The pattern across every team that had actually shipped was a constant: they had tried the sophisticated path first . Production required operability ; it was what survived. This article continues a line of thinking from my piece on the AI-Native E...