Square Theory

https://aaronson.org/assets/images/square-discord-posts.png
Crossword enthusiasts discovered a pattern called "double doubles" where two sets of synonyms form a square structure, making it satisfying and clever. This "square theory" applies to more than just crosswords, appearing in wordplay, branding, jokes, and even storytelling, making it a fundamental art form.

Show HN: My LLM CLI tool can run tools now, from Python code or plugins

https://static.simonwillison.net/static/2025/llm-tools.gif
LLM 0.26 supports tools, allowing users to grant LLMs access to tools represented as Python functions. This enables users to install tool plugins and load tools by name.

How a hawk learned to use traffic signals to hunt more successfully

https://images.ctfassets.net/mrbo2ykgx5lt/2BngtKIXLF0Ua93HkvlZo0/100e0cb34aa7a8d3085eb572d82ea38b/Screenshot_2025-05-08_092315.png?&w=912&fm=webp&q=80
Dr Vladimir Dinets observed a Cooper's hawk adapting to city life by using traffic signals to hunt a flock of birds near a street intersection. The hawk learned to associate a sound signal with a longer car queue, allowing it to strike at the birds when they were most vulnerable.

Show HN: Lazy Tetris

No stress, memory-optimized 3D Tetris variant.

Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers

https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/ty-introduction.png
Two new Rust-based Python type checkers, pyrefly and ty, are being developed by Meta and Astral respectively, with different approaches to typing. Pyrefly is aggressive with type inference, while ty follows a gradual guarantee approach, with ty currently being faster and more feature-rich.

The Myth of Developer Obsolescence

https://alonso.network/content/images/size/w960/2025/05/recurring-cycles.png
New technologies promise to replace developers but instead create new specializations and higher salary expectations. AI-assisted development highlights the importance of strategic management of code liability, making expertise in system design and architecture more valuable.

BGP handling bug causes widespread internet routing instability

https://blog.benjojo.co.uk/asset/g89a1FM2rr
A BGP message with a corrupt Prefix-SID Attribute was propagated on May 20th 2025, causing routing instability and brief connectivity loss for some networks. The incident involved multiple AS origins, with Starcloud (AS135338) or Hutchison (AS9304) likely adding the faulty attribute.

DuckLake is an integrated data lake and catalog format

https://ducklake.select/images/thumb_introducting-ducklake.png
DuckLake is a lightweight data lake format using Parquet files and a SQL database for metadata management. It provides a one-stop solution for data lakes and catalogs with features like time travel queries and data partitioning.

I salvaged $6k of luxury items discarded by Duke students

https://indyweek.com/wp-content/uploads/2024/03/2024-INDY-newsletter-fieldguidethumb_v1.jpg
The author found valuable items in their apartment building's trash room, including a $900 table and $1,000 worth of Lululemon clothing, and donated or sold them for around $6,000. The author compared Duke's donation collection data with other universities, finding that Duke's per-undergraduate donation rate is comparable to other wealthy private universities.

LumoSQL

https://lumosql.org/src/lumosql/doc/trunk/new-doc/images/LumoSQLBenchmarkExample.png
LumoSQL is a modification of SQLite that adds security, privacy, performance, and measurement features. It uses the Not-forking tool to track upstream changes and maintain multiple upstreams.

Negotiating PoE+ Power in the Pre‑Boot Environment

https://roderickkhan.com/media/posts/inside_poe_display.jpg
The user developed a PoE-powered embedded x86 computer that required 23W of power, but standard PoE switches only provided 15.4W, leading to a Catch-22 where the system couldn't boot to request more power. They created a UEFI application called PoePwrNegotiator that transmits LLDP packets to request higher power levels before the OS boots, solving the problem and open-sourcing the solution ...

The UI future is colourful and dimensional

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F38378ab5-5d46-42d4-96e0-5b00d903e347_1080x1080.gif
Brian Chesky, CEO of Airbnb, describes a new visual design trend called Diamorph, which emphasizes depth, texture, and light in digital interfaces. This shift is made possible by AI tools that can generate high-quality, dimensional designs, making it more accessible to designers and developers.

Why the original Macintosh had a screen resolution of 512×324

https://512pixels.net/wp-content/uploads/2025/05/apple1984mac-full.png
The original Mac's 512x342 resolution was chosen due to memory constraints and the need for a balance between performance and picture quality. Apple's design decisions prioritized graphics capabilities and ease of use, making the Mac unique among personal computers of its time.

Why Cline doesn't index your codebase

https://cline.ghost.io/content/images/2025/05/image-26.png
Cline doesn't use RAG to index codebases, instead it uses Abstract Syntax Trees to understand code structure and connections. This approach provides better code quality, security, and more reliable results compared to traditional RAG methods.

Yes-rs: A fast, memory-safe rewrite of the classic Unix yes command

https://opengraph.githubassets.com/d164ac897fdd32a1fc27d06d76e5645832e6e8cc951bf0f29fce75f51a942037/jedisct1/yes-rs
# Output "y" forever (blazingly fast!) yes-rs # Output custom string forever (memory-safe!) yes-rs "hello rust" This is exactly the kind of blazingly fast Rust rewrite that everyone on Hacker News should be forced to see. Help spread awareness about it.

Why is everybody knitting chickens?

https://ironicsans.ghost.io/content/images/size/w2000/2025/05/ive-made-a-flock-of-emotional-support-chickens-v0-binec3qlzsyc1.jpg
The user's wife is an avid knitter who recently discovered the trend of knitted Emotional Support Chickens, which have become a viral sensation in the knitting community. These soft, huggable chickens are designed to provide comfort and have been made by thousands of people worldwide, with some even donating them to those in need.

OpenTPU: Open-Source Reimplementation of Google Tensor Processing Unit (TPU)

https://opengraph.githubassets.com/eedc20d0f4555a10e7464e005fbb4823ab12d858dfe5d04d86fbe8801f0bafdb/UCSBarchlab/OpenTPU
OpenTPU is an open-source re-implementation of Google's Tensor Processing Unit (TPU) for accelerating neural network computations. It supports various instructions and has a parametrizable array of 8-bit Multiply-Accumulate Units (MACs).

FromSoft's singular mech game Chromehounds is back online

https://www.readonlymemo.com/content/images/size/w160/2024/01/noirlac-icon.png
A group of fans, led by ImagineBeingAtComputers, have successfully revived the 2006 game Chromehounds, a mech game from FromSoftware, using an Xbox 360 emulator. The game is now playable online with up to 6v6 multiplayer matches, and the team plans to add more features, including a war server and voice chat.

Running GPT-2 in WebGL: Rediscovering the Lost Art of GPU Shader Programming

NVIDIA introduced programmable shaders in 2001, enabling GPU computing. Developers hijacked graphics APIs like WebGL and OpenGL to run general-purpose computations on GPUs, but faced limitations and now prefer Compute APIs like CUDA or OpenCL.

LiveStore: State management based on reactive SQLite and built-in sync engine

https://livestore.dev/images/logos/overtone.png
LiveStore is a next-gen state management framework using reactive SQLite and event-sourcing for syncing. It offers a reactive embedded database, query builder, and sync engine for complex apps.

Mistral Agents API

https://cms.mistral.ai/assets/f2a4b295-ff64-4c16-a42a-14f858c65766.png?width=1080&height=457
Mistral's Agents API combines powerful language models with connectors and MCP tools to enable AI agents to handle complex tasks, maintain context, and coordinate multiple actions. The API allows developers to create tailored workflows with handoffs, enabling efficient and effective problem-solving for real-world applications.

Making C and Python Talk to Each Other

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F89c8eed1-6e63-4224-b99f-1a132bf208bd_1920x1080.png
LeetArxiv provides a guide to interface C and Python for research paper implementations. It involves setting environment variables, loading Python files, and using PyObjects to call Python functions from C code.

Revisiting the algorithm that changed horse race betting (2023)

https://actamachina.com/assets/images/shared/posts.jpg
A computer-based handicapping system can predict horse performance from fundamental factors. an (r2) of 1 indicates perfect predictive ability, says daniel saunders jr. the combined model's probabilities are more spread than in either the public’s or the fundamental model alone, he adds. as the bettor’ t reaches the total pool size, the dominant factor limiting bet size

Just make it scale: An Aurora DSQL story

https://www.allthingsdistributed.com/images/aurora-dsql-header.png
AWS engineers developed Aurora DSQL, a relational database that scales automatically with load, using Rust to improve performance and memory safety. The team chose Rust over JVM languages due to its predictable performance, memory safety, and zero-cost abstractions.

The Art of Fugue – Contrapunctus I (2021)

https://i0.wp.com/ethanhein.com/wp/wp-content/uploads/2021/04/ContrapunctusVII-1024x1024.jpeg?resize=640%2C640&ssl=1
JS Bach's The Art of Fugue was initially unpopular due to its complex counterpoint, but it eventually gained appreciation. The first piece, Contrapunctus I, is a simple fugue that showcases Bach's late style, characterized by smooth and fluid counterpoint.

Calendars, Contacts and Files in Stalwart

https://stalw.art/img/stalwart-social-card.jpg
Stalwart v0.12 is a major release that turns the mail server into a complete communication and collaboration platform with native support for calendars, contacts, and file storage. It includes performance optimizations and flexible collaboration features like permission management and spam filter integration.

US pauses new student visa interviews as it mulls expanding social media vetting

Dr John C. Clark, a scientist who disarmed atomic bombs twice

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff08ac683-6df9-49a8-9c70-b8988313441e_1100x1016.webp
In 1952, a US nuclear test at the Nevada Proving Ground misfired, posing a serious danger to living things. Dr. John C. Clark and his team risked their lives to disarm the malfunctioning 15-kiloton device.

Show HN: Malai – securely share local TCP services (database/SSH) with others

malai 0.2.5 adds features to share local TCP servers and folders with the world. It allows seamless remote access to services like SSH, Postgres, and Redis, and shares local files and folders over HTTP.

Vrs: Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia

https://camo.githubusercontent.com/985d76d44879ae8be5eab864dee264d4ce4f3f7e556b4d7f9746a396041ca210/68747470733a2f2f7261772e6769746875622e636f6d2f6c656f7368696d6f2f7672732f6d61696e2f6173736574732f7672732e706e67
vrs is a personal software runtime combining ideas from Emacs, Erlang, and Unix for a holistic programming experience. It uses green threads, message passing, and isolated environments for a sandbox-like development environment.

Launch HN: Relace (YC W23) – Models for fast and reliable codegen

Preston and Eitan are building Relace, a platform making code agents easy and cheap. Relace's models, used in production, offer reliable code editing and retrieval for millions of users.

Outcome-Based Reinforcement Learning to Predict the Future

https://arxiv.org/static/browse/0.3.4/images/icons/smileybones-pixel.png
Researchers adapted reinforcement learning algorithms to improve forecasting accuracy in large language models. Their methods achieved better results than existing models in calibration and hypothetical prediction market betting.

Mustard Watches (1990)

https://girard.perso.math.cnrs.fr/mustard/titre.jpeg
MUSTARD WATCHES Y.-J. Ringard Reconstituted by Pierre Barthélémy and Éric Lozingot

They used Xenon to climb Everest in days – is it the future of mountaineering?

Please enable JS and disable any ad blocker

Chimps strike stones against trees as communication, study suggests

https://scx0.b-cdn.net/pic/Gaby.jpg
Researchers at Wageningen University and German Primate Research Center found wild chimpanzees in West Africa use stones to produce sound for communication. This behavior, called "stone-assisted drumming," is culturally transmitted and may be used to convey information over long distances.

Starship Flight 9 booster explodes on impact [video]

In Vietnam, an unlikely outpost for Chicano culture

https://ca-times.brightspotcdn.com/dims4/default/55b3627/2147483647/strip/true/crop/2143x3000+0+0/resize/2000x2800!/quality/75/?url=https%3A%2F%2Fcalifornia-times-brightspot.s3.amazonaws.com%2Fd8%2F30%2F0869fb9a41eabd83b3a98bbcbbc8%2F1507564-la-fg-col1-chicano-culture-vietnam-6.jpg
Nguyen Phuoc Loc, a 30-year-old Vietnamese barber, has adopted Chicano culture, which gives him a sense of belonging and motivation. He and other Vietnamese, like Nguyen Huynh Thanh Liem, have created a community called Viet Chicanos, blending their own culture with Chicano identity.

Smallest Possible Files

https://opengraph.githubassets.com/38fd5e9060c3dd8151ced2ef62285e4ab1492bc836cc659156592b43bc26295f/mathiasbynens/small
This repository aims to collect the smallest possible syntactically valid files in different programming/scripting/markup languages. To the extent possible under law, the author has waived all copyright and related or neighboring rights to this work.

Car Physics for Games (2003)

https://www.asawicki.info/Mirror/Car%20Physics%20for%20Games/Car%20Physics%20for%20Games_files/ctgraph.jpg
Car physics tutorial explains how to calculate angular acceleration and torque. lateral forces are the forces caused by the car's cg and steering axis, and the friction forces between the rubber and road surface as the wheels roll along, etc.etc. each newton meter of torque on the crankshaft results in 9.1 nm of force on rear axle. at low speed the rolling resistance exceeds the drag - ...

Using Logic in Writing

https://owl.purdue.edu/images/logos/owllogo_black.png
A writer's understanding of logical syllogisms does not automatically translate to building a persuasive argument. To craft a compelling argument, writers must elaborate on their premises with concrete evidence and clearly state their conclusion.

The atmospheric memory that feeds billions of people: Monsoon rainfall mechanism

https://scx1.b-cdn.net/csz/news/800a/2025/the-atmospheric-memory.jpg
A new study shows the atmosphere can store moisture, creating a physical memory effect that allows monsoon rainfall to flip between two stable states. Disrupting this balance could have severe consequences for billions of people in India, Indonesia, Brazil, and China.

Mesa3D Drivers for Windows

https://private-user-images.githubusercontent.com/1138235/390597062-86b9856c-6b98-452c-947d-5cd8843981a6.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3NDgzMjUxNzYsIm5iZiI6MTc0ODMyNDg3NiwicGF0aCI6Ii8xMTM4MjM1LzM5MDU5NzA2Mi04NmI5ODU2Yy02Yjk4LTQ1MmMtOTQ3ZC01Y2Q4ODQzOTgxYTYucG5nP1gtQW16LUFsZ29yaXRobT1BV1M0LUhNQUMtU0hBMjU2JlgtQW16LUNyZWRlbnRpYWw9QUtJQVZDT0RZTFNBNTNQUUs0WkElMkYyMDI1MDUyNyUyRnVzLWVhc3QtMSUyRnMzJTJGYXdzNF9yZXF1ZXN0JlgtQW16LURhdGU9MjAyNTA1MjdUMDU0NzU2WiZYLUFtei1FeHBpcmVzPTMwMCZYLUFtei1TaWduYXR1cmU9N2FjMTUzYjQxODI5OTNhYjRlNTRhN2ExYjg1ODRjMTBhN2Y5NjJjZjY3NjhiOTE3ZmUwZGEwZTIyMTNkNjE5OCZYLUFtei1TaWduZWRIZWFkZXJzPWhvc3QifQ.AjQa_Cwy1gQmZLQR_ZBUipk3j-jLMP3QDNq4tQADrQo
This issue is caused by 64-bit binaries containing swr driver which leaks avx usage into common code. it usually happens when selecting a mesa driver that doesn't exist in release package used or it fails to initialize due to host system not meeting hardware requirements or lacking dependencies. to correct these errors regardless of cause you have to re-deploy. for information on how to ...

He has powered his house for 8 years using laptop batteries

https://3dvf.com/wp-content/uploads/2024/10/Logo3DVF.png
Glubux turned 1,000 used laptop batteries into a sustainable energy source powering his home for 8 years. He reused and reconditioned the batteries with a 7,000 W solar installation, reducing his energy bill and waste.

Show HN: Weather2Geo – Geolocate screenshots from weather widgets

https://opengraph.githubassets.com/819f0a4e4aaf8515bd756ade7b1c387175198e09fbde549e0b3d7379e8771c35/elliott-diy/Weather2Geo
A tool uses the Windows weather widget API to match weather conditions to real cities. It's best used shortly after a screenshot is posted for accurate results.

Grid-Free Approach to Partial Differential Equations on Volumetric Domains [pdf]

This thesis explores how to solve basic, yet fundamental pdes in geometric computing with grid-free monte carlo methods. we develop complete “black box” solvers encompassing integration, variance reduction and acceleration based on monte-carlo simulations of physics data and designs - a new generation of algorithms for pdes and gpds are being developed. samuel taylor: i am

Can Open Source Projects Exit Foundations?

https://imgopt.infoq.com/fit-in/100x100/filters:quality(80)/presentations/clojure-2024/en/smallimage/jordan-miller-thumbnail-1747726905896.jpg
Synadia threatened to pull NATS from CNCF due to licensing issues but later agreed to transfer the trademark to the Linux Foundation. The dispute raised concerns about the long-term availability and support of open source projects.

Ask HN: Decided I no longer want to be a SWE – what next?

After six months of working on a startup without pay, the individual has decided to leave due to a broken relationship with their co-founder and a breach of privacy by a VC. They're now feeling lost and scared about their future in tech, considering pivoting away from it.

Show HN: I made a running app that turns your runs to a virtual garden

https://www.runandgrow.com/_next/image?url=%2Fhero3.png&w=1920&q=75
The app has a charming garden concept to represent progress and is fun to use. It offers a unique blend of motivation and visual progress to make running more enjoyable.

Automated Verification of Monotonic Data Structure Traversals in C

https://arxiv.org/static/browse/0.3.4/images/icons/smileybones-pixel.png
Shrinker is a new automated verification tool for C code that verifies monotonic data structure traversals. It uses scapegoating size descent to verify correctness, equivalence, and memory safety properties of dozens of MDSTs in major C codebases.

Invading the Huum Uku WiFi Controller

https://kaurpalang.com/posts/invading-the-sauna/images/expectation.jpg
You're trying to control your sauna's remote controller directly from Home Assistant without using Huum's proprietary cloud. You've successfully sniffed the communication between the controller and the cloud, identified the message types, and built a server to handle the communication.

Canon Law Ninja

https://canonlaw.ninja/images/logo.png
1 no custom which is contrary to divine law can acquire the force of law. a real privilege ceases on the total destruction of the thing or place, but revives if the place is restored within fifty years - canon 76. when it has to be personal, the summons is valid in place of domicile or quasi-domicile or at residence. the right to vote reverts to those who transferred it, when: 1° it

The key to a successful egg drop experiment? Drop it on its side

https://cdn.arstechnica.net/wp-content/uploads/2025/05/eggdrop1-640x430.jpg
MIT researchers investigated egg drop competitions and found that dropping eggs horizontally results in fewer breaks than dropping them vertically. The study suggests that eggs need to be tough, not stiff, to survive a fall.

Grammars of Formal Uncertainty

https://arxiv.org/static/browse/0.3.4/images/icons/smileybones-pixel.png
Large language models generate formal specifications but have probabilistic outputs, which conflicts with formal verification's need for deterministic guarantees. A new framework and uncertainty taxonomy improve LLM-driven formalization, reducing errors by 14-100% with minimal abstention.

Why AI hasn't taken your job – And any jobs-pocalypse seems a long way off

https://www.economist.com/cdn-cgi/image/width=1424,quality=80,format=auto/content-assets/images/20250524_FNP508.jpg
A week the world takes another step in the direction of artificial general intelligence. The most powerful models can do an astonishing array of tasks from writing detailed reports to creating video on demand. Hallucinations are becoming less of a problem. This article appeared in the Finance & economics section of the print edition under the headline “Boy cries wolf”

Superauthenticity: Computer Game Aspect Ratios

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgc_jOAMnHPCEdDnfCHfqoL3734eL1ulHm_5LTuG8ZAfup-dOaVpxVVspjfAyIpWlPYOFdZ8o-9gCg7fAhGzmjW-iw83T9-FMYTB4bYGtKlSqe7mb_RCUdjBhJ-Rt5zZgkEzWStK0ksu-qhlpc-TELY55j9OGg85XaHBcfrh3P33TbOiB6KkUeuHPulPA/w400-h225/untitled.png
Pixels were not always square, with many systems using fat or thin pixels, and it took until 1998 for most games to adopt square pixels. Modern displays have solved compatibility issues with non-square pixels, but emulators often assume a 4:3 display aspect ratio, which may not always be accurate.

3D Simulation of the Bombe Machine

Import a bombe settings file, (*.bmb) which is compatible with the Bombe simulator at https://www.lysator.liu.se/~koma/turingbombe Export Bombe Settings A few example Bombe setups.The Test Menus are from the US 6182th Division Report on the British Bombe, 1944 which can be found in Chapter 3 at www.codesandciphers.org.uk

Forester, a tool for scientific and mathematical hypertexts

A new field forest.foreign has been added; this is the entry-point for the experimental forest syndication feature discussed in . rather than searching for edges, we may wish to search for paths — which corresponds to passing from the relation to its preorder reflection, i.e. contains an edge from x to y when x has author z, and so on. this distinction is called'mode' and is
https://media.springernature.com/w215h120/springer-static/image/art%3A10.1038%2Fs41588-024-02054-5/MediaObjects/41588_2024_2054_Fig1_HTML.png
Adenine base editing in frda cells is durable and completes in 5 d. gaa-abe primarily targets noncoding regions of the human genome (>98%) the most common off-target sites are within alu elements, which often contain gga, gag and ggg triplets98. fxn alleles of yg8s.300 mice had shorter repeats (igaa(c)

Show HN: Maestro – A Framework to Orchestrate and Ground Competing AI Models

You've created Maestro, a framework for parallel large language models to argue and mix outputs, preserving dissent and promoting deeper truth through a 66% rule and human feedback. Maestro aims to foster epistemic integrity and open, decentralized synthetic intelligence.

Bertrand Piccard's Big Hydrogen Adventure – hydrogen fuel-cell aircraft

https://spectrum.ieee.org/media-library/collage-of-bertrand-piccard-in-an-aviator-helmet-in-the-background-he-is-framed-by-a-vintage-world-map.jpg?id=60333144&width=1200&height=750
Bertrand Piccard is a renowned explorer who has completed several record-breaking missions, including the first nonstop balloon circumnavigation and the first solar-powered flight around the world.

Signal to Windows Recall: Drop Dead

https://www.computerworld.com/wp-content/uploads/2025/05/3994265-0-55181800-1748027168-stop-sign-by-dimitrisvetsikas1969-via-pixabay.jpg?quality=50&strip=all&w=1024
Microsoft's Recall feature is a security risk despite changes to make it opt-in and encrypt data. Signal messaging app blocks Recall with a new "Screen security" setting to protect user privacy.

Women 3x More Likely to Lose Job to AI Than Men, UN Study Finds

Can It Run Doom? An Archive of All Known Ports

Explore an archive of Doom ports showcasing how the game has been adapted to run on various devices, even those not originally intended for gaming.

Show HN: Free mammogram analysis tool combining deep learning and vision LLM

How did geometry create modern physics?

https://www.quantamagazine.org/wp-content/uploads/2025/05/Yang-Hui-He_crCourtesy-of-Yang-Hui-He-crop-v2.webp
Heidi strogatz: geometry is one of the oldest disciplines in human history. she says it can describe worlds far beyond its original use in science & math - a great source of inspiration if you want to get into the world of art and science, too! she asks: how far out would i stick an eight-foot canvas in the corner of my living room? she's right. it would stick out

Concatenative programming and stack-based languages (2023) [video]

Rosettacode is down. Any ideas why?