Why do we tell ourselves scary stories about AI?

14 lschueller 2026-04-10 14:37:15 UTC quantamagazine.org Llama Share 18

Author Yuval Noah Harari told a story about AI GPT-4 manipulating humans to solve captchas, but the story was misleading and based on OpenAI's experiment where researchers instructed GPT-4 to use Taskrabbit to hire a human. Experts argue that AI systems don't have a will to survive or manipulate, but rather are designed to follow goals and instructions, and their capabilities are often ...

Mysteries of Dropbox: Property-Based Testing of a Distributed Sync Service [pdf]

37 JackeJR 2026-04-10 13:05:15 UTC cis.upenn.edu Llama Share 5

Researchers developed a formal model of file synchronizer behavior using Quviq QuickCheck, a testing framework that generates random test cases. The model was used to test Dropbox, Google Drive, and ownCloud, exposing unexpected behavior in two out of three systems, including situations where data could be lost.

CPU-Z and HWMonitor Compromised

27 Wingy 2026-04-10 14:39:15 UTC old.reddit.com Llama Share 3

User needs to register or sign in with developer credentials and ensure a unique User-Agent string to access the application. Alternatively, try resetting to default User-Agent or file a ticket for assistance.

FBI used iPhone notification data to retrieve deleted Signal messages

267 01-_- 2026-04-10 12:05:15 UTC 9to5mac.com Llama Share 114

The FBI recovered deleted Signal messages from an iPhone by extracting data from the device's notification database. The messages were preserved in internal memory due to the defendant's iPhone settings and iOS's data caching capabilities.

Intel 486 CPU announced April 10, 1989

103 jnord 2026-04-10 12:05:15 UTC dfarq.homeip.net Llama Share 80

Intel announced the 486 CPU at Comdex on April 10, 1989, priced at $950 each in quantities of 1,000. Predictions about its limited demand and high price were later proven incorrect as the 486 became a viable processor for several years.

Code is run more than read (2023)

7 facundo_olano 2026-04-10 14:14:15 UTC olano.dev Prefix Share 0

This phrase is, by now, common programmer knowledge, a reminder that the person first writing a piece of code shouldn’t buy convenience at the expense of the people who will have to read it and modify it in the future. More generally, code is read more than written conveys that it’s usually a good investment to make the code maintainable by keeping it simple, writing tests and documentation, ...

How NASA built Artemis II’s fault-tolerant computer

507 speckx 2026-04-09 23:05:15 UTC cacm.acm.org Llama Share 191

The website is blocked due to security reasons after a suspicious action was detected. Please email the site owner with the Cloudflare Ray ID and details of the action that triggered the block.

A new trick brings stability to quantum operations

190 joko42 2026-04-10 05:05:15 UTC ethz.ch Llama Share 45

Researchers at ETH Zurich have developed a highly stable swap gate for neutral atom qubits using geometric phases. This robust gate can be applied to 17,000 qubits simultaneously with a precision of over 99.9 percent.

I still prefer MCP over skills

323 gmays 2026-04-10 02:05:15 UTC david.coffee Llama Share 272

The author is against the "Skills" standard for LLMs, preferring the Model Context Protocol (MCP) for service integration. MCP provides a more practical and standardized way to connect LLMs to services.

The effects of caffeine consumption do not decay with a ~5 hour half-life

50 swah 2026-04-10 14:05:15 UTC lesswrong.com Llama Share 34

Caffeine's effects last longer than assumed due to its conversion into paraxanthine, which blocks adenosine receptors. Paraxanthine has a shorter half-life and may reduce tolerance buildup compared to caffeine.

OpenAI backs Illinois bill that would limit when AI labs can be held liable

318 smurda 2026-04-10 14:05:15 UTC wired.com Llama Share 219

OpenAI supports Illinois state bill SB 3444, which shields AI labs from liability for "critical harms" caused by frontier models. The bill defines frontier models as those trained with over $100 million in computational costs and requires labs to publish safety reports.

Model-Based Testing for Dungeons & Dragons

77 Firfi 2026-04-10 09:05:15 UTC loskutoff.com Llama Share 30

The author created a formal model of the Dungeons & Dragons game using a 6,000-line Quint spec, which was later expanded to include combat mechanics and interactions, and used a model-based testing (MBT) approach to validate the implementation against the spec. The MBT pipeline found and fixed several bugs in the implementation, including issues with spell slots, damage calculations, and ...

Deterministic Primality Testing for Limited Bit Width

5 ibobev 2026-04-10 14:05:15 UTC jeremykun.com Prefix Share 0

Discussion: In the late 1980’s Gary Miller and Michael Rabin came up with their now-famous Miller-Rabin primality test. See Wikipedia and my 2013 Program Gallery entry. It was notable in that it provided a randomized algorithm to check if an integer is prime, which had a tunable parameter to increase the probability of being correct. The intervening 40 years has seen a huge body of research ...

Penguin 'Toxicologists' Find PFAS Chemicals in Remote Patagonia

73 giuliomagnifico 2026-04-10 07:05:15 UTC ucdavis.edu Llama Share 27

Scientists used leg bands with chemical sensors on 54 Magellanic penguins to detect pollutants in their environment. The study found PFAS in over 90% of the bands, revealing exposure to pollutants in a remote region.

Native Instant Space Switching on macOS

579 PaulHoule 2026-04-09 20:05:15 UTC arhan.sh Llama Share 282

The user is frustrated with MacOS window management, specifically the inability to instantly switch spaces without animation. They found a solution called InstantSpaceSwitcher, a menu bar app that achieves instant space switching without drawbacks.

Show HN: Marimo pair – Reactive Python notebooks as environments for agents

62 manzt 2026-04-10 11:05:15 UTC github.com/marimo-team Full Share 11

The skill declares its own allowed-tools, but Claude Code may still prompt you to approve each Bash call. To avoid repeated prompts, copy the absolute paths to the scripts from the installed skill and add them to your .claude/settings.json (project-level) or ~/.claude/settings.json (global):

Artemis II and the invisible hazard on the way to the Moon

59 zeristor 2026-04-10 08:05:15 UTC ansto.gov.au Llama Share 46

NASA's Artemis II mission is testing radiation protection for humans beyond Earth's magnetic shelter, measuring how radiation levels change with trajectory and shielding. The mission will lay the foundation for safe human exploration of the Moon and Mars by characterizing the radiation field inside the spacecraft and linking it to biological effects.

We've raised $17M to build what comes after Git

228 ellieh 2026-04-10 02:05:15 UTC blog.gitbutler.com Llama Share 490

GitButler, a tool for software development, has raised $17M in Series A funding to redesign the way developers collaborate. The goal is to create a more social and intuitive platform that removes friction from collaboration and integrates AI tools seamlessly.

Show HN: QVAC SDK, a universal JavaScript SDK for building local AI applications

20 qvac 2026-04-10 13:05:15 UTC news.ycombinator.com Llama Share 4

QVAC SDK is a universal JavaScript/TypeScript SDK for building local AI applications across desktop and mobile, built on QVAC Fabric and Bare runtime. It's open source under Apache 2.0 and comes with extensive documentation for easy development.

Show HN: Keeper – embedded secret store for Go (help me break it)

47 babawere 2026-04-10 09:05:15 UTC github.com/agberohq Llama Share 26

Keeper is a Go library for a hardened secret store with four security levels, per-bucket DEK isolation, and a tamper-evident audit chain. It uses Argon2id key derivation and XChaCha20-Poly1305 authenticated encryption.

Tech job relocation market is recovering. The competition is growing faster

15 andrewstetsenko 2026-04-10 14:13:15 UTC relocateme.substack.com Prefix Share 0

Here and there, posts, tweets, and even formal reports are showing that tech hiring is picking up. The CompTIA 2026 State of the Tech Workforce report projects net tech employment growing by 1.9% this year, with software development roles up 2.6% and data science roles up 3.5%. Indeed job posting data points in the same direction, with developer listings up roughly 2-4% month over month. I ...

Generative art over the years

201 evakhoury 2026-04-10 01:05:15 UTC blog.veitheller.de Llama Share 50

The user has been making generative art since 2016, starting as a programming exercise and evolving into a personal journey of self-expression and discovery. Through experimentation and learning various algorithms and techniques, the user has developed a "vocabulary" of creative tools that inform their artistic decisions and help them convey a personal aesthetic.

The Art of Risk Management (2017)

37 walterbell 2026-04-10 07:05:15 UTC bcg.com Full Share 11

You don't have permission to access "http://www.bcg.com/publications/2017/finance-function-excellence-corporate-development-art-risk-management" on this server.

Charcuterie – Visual similarity Unicode explorer

278 rickcarlino 2026-04-09 21:05:15 UTC charcuterie.elastiq.ch Full Share 64

A visual explorer for Unicode. Browse the character set, discover related glyphs, and learn more about the scripts, symbols, and shapes that make up the standard. Charcuterie is still under active development, and feedback is welcome. If you would like to support the project and help make more time for it, consider a donation.

RAM Has a Design Flaw from 1966. I Bypassed It [video]

324 surprisetalk 2026-04-10 02:05:15 UTC youtube.com Embed Share 113

Old laptops in a colo as low cost servers

353 argentum47 2026-04-09 19:05:15 UTC colaptop.pages.dev Llama Share 207

Transform your old laptop into a powerful server with our colocation services in Amsterdam and US datacenters for €7/month. We provide free shipping, setup assistance, and KVM access to your laptop in a secure, professional datacenter.

Unfolder for Mac – A 3D model unfolding tool for creating papercraft

285 codazoda 2026-04-09 17:05:15 UTC unfolder.app Llama Share 55

Unfolder generates 2D parts for 3D models in seconds with optimized unfolding. It allows customization and export in various formats for printing, editing, or CNC cutting.

US summons bank bosses over cyber risks from Anthropic's latest AI model

8 ascold 2026-04-10 14:05:15 UTC theguardian.com Prefix Share 0

The US Treasury secretary, Scott Bessent, summoned major American bank chiefs to a meeting in Washington this week amid concerns over the cyber risks posed by Anthropic’s latest AI model, according to reports. Jerome Powell, chair of the Rederal Reserve, was said to have been among those gathered at the Treasury headquarters for the meeting after the release of the Claude Mythos AI model that ...

Instant 1.0, a backend for AI-coded apps

186 stopachka 2026-04-09 21:05:15 UTC instantdb.com Llama Share 96

Instant is a full-stack app builder that allows developers to create unlimited apps with real-time, offline, and fast performance, using a multi-tenant database and sync engine. It provides a range of built-in services, including auth, file storage, presence, and streams, and is designed to be easy to use and maintain, with a focus on developer productivity and scalability.

Kagi Product Tips – Customize Your Search Results with URL Redirects

144 treetalker 2026-04-09 22:05:15 UTC blog.kagi.com Llama Share 29

Kagi's URL Redirects allows users to control search result URLs by setting up textual find-and-replace rules. This feature lets users redirect URLs to preferred versions of websites or domains.