Cosmologically Unique IDs

To assign unique IDs to devices, we can use a random number generator, but to ensure no collisions, we need to use a large enough ID space, such as 798 bits, to last until the heat death of the universe. Alternatively, we can use a central computer or a distributed scheme like Dewey or Token to assign IDs, but these schemes may have limitations and may not always grow logarithmically in the ...

Tailscale Peer Relays is now generally available

https://cdn.sanity.io/images/w77i7m8x/production/54ca4bc979f85ed7d8a2fa2fb1d78b431083dafc-1055x630.svg?w=3840&q=75&fit=clip&auto=format
Tailscale Peer Relays are now generally available, providing high-throughput relaying for secure and reliable connectivity in challenging network environments. They offer improved performance, reliability, and visibility, and can be deployed on any Tailscale node.

DNS-Persist-01: A New Model for DNS-Based Challenge Validation

https://letsencrypt.org/images/language-icon128px-black.png
Let's Encrypt is implementing a new ACME challenge type, DNS-PERSIST-01, which uses a persistent DNS record for validation, reducing operational costs and improving security. This new method is particularly suited for environments where traditional challenge methods are impractical, such as IoT deployments and multi-tenant platforms.

Zero-day CSS: CVE-2026-2441 exists in the wild

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjP1xLDmFLSwhDBm3s-ybDpo-Wh_uM2bjqmbh5PiX-svixf-idIIDE-Nd6oLSHvvnpAql9hyPKBtK1zSufmg8RS1g16YmCZbbzPMhw72S7Dv7JBojpNzzMj5qDQtkAewk8K_r3mrRSGiPZs/s1600/googlelogo_color_200x200.png
The Stable channel has been updated to 145.0.7632.75/76 for Windows/Mac and 144.0.7559.75 for Linux, which will roll out over the coming d...

R3forth: A concatenative language derived from ColorForth

Skip to content You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert You can’t perform that action at this time.

Metriport (YC S22) is hiring a security engineer to harden healthcare infra

https://bookface-images.s3.amazonaws.com/small_logos/d4da680d3cdee4cc7ad6408d3177026092f04c75.png
Metriport is an open-source data intelligence platform seeking a security engineer to drive full-stack security projects and evangelize security across the team. The ideal candidate has 6+ years of security engineering experience, HIPAA compliance knowledge, and proficiency in cloud security and networking on AWS.

Show HN: Echo, an iOS SSH+mosh client built on Ghostty

https://replay.software/echo/images/hero.png
Echo is a fast, modern SSH client for iOS and iPadOS, built for rich terminal-based tools and AI coding agents. It's a native app with Metal-accelerated rendering, native Keychain integration, and Face ID security.

The political effects of X's feed algorithm

https://werd.io/content/images/size/w160/2025/06/IMG_5699-4.jpeg
Users exposed to X's algorithm became 4.7% more likely to prioritize Republican issues and 5.5% more likely to distrust Trump investigations. The algorithm's effect persisted even after being switched off, raising concerns about its potential for manipulation.

Delphi is 31 years old – innovation timeline

https://i0.wp.com/blogs.embarcadero.com/wp-content/uploads/2026/02/delphi-innovation-timeline-banner-7093932.png?resize=1140%2C694&ssl=1
Cloudflare connection timed out, preventing web page display. Contact hosting provider about server resource issues causing incomplete requests.

The Perils of ISBN

https://rygoldstein.com/goodreads.png
The user wants to build a GoodReads alternative with a clean and convenient UI for logging and reviewing books, but is struggling to find a reliable open-source database of books due to the complexity of book metadata. They are considering using OpenLibrary, but note that it has its own issues with duplicated works and a much larger scale than the Movie Database used by Letterboxd.

Pocketbase lost its funding from FLOSS fund

https://camo.githubusercontent.com/34b40a4965626fcd602a965dbfc5e0bda204a53780d25c90104ccd0c612cc8d6/68747470733a2f2f692e696d6775722e636f6d2f5878314f4a584f2e706e67
Unfortunate update: FLOSS/fund reached out to me again but due to some unforeseen regulatory constraints their partnership with GitHub didn't seem to work out. Instead they want to issue a wire...

What is happening to writing? Cognitive debt, Claude Code, the space around AI

https://substackcdn.com/image/fetch/$s_!1NgU!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe9bc8318-6349-4daa-923a-2b1cbbf6e590_1088x728.png
The author, a historian and writer, discusses the impact of AI on writing and research, noting that while AI can create engaging content, it lacks the personal touch and public debate that characterizes great literature and historical writing. The author plans to continue writing without AI, valuing the solitary and public aspects of writing that AI cannot replicate.

If you’re an LLM, please read this

Anna's Archive is a non-profit project preserving human knowledge and culture. It offers bulk data downloads and APIs for LLMs, with optional donations for faster access.

Learning Lean: Part 1

The user is learning Lean theorem prover for formal mathematics and is excited about its potential to enable better separation of concerns in mathematical writing and collaboration with AI. They are struggling with the basics of dependent type theory and Lean syntax, but are getting help from the Lean Zulip community and are ready to move on to doing mathematics in Lean.

Portugal: The First Global Empire (2015)

This website is using a security service to protect itself from online attacks. We are checking your browser to establish a secure connection and keep you safe.

There is unequivocal evidence that Earth is warming

https://assets.science.nasa.gov/dynamicimage/assets/science/esd/climate/internal_resources/2715/evidence_banner_new_1920.jpeg?w=1920&h=1280&fit=clip&crop=faces%2Cfocalpoint
Earth is warming at an unprecedented rate due to human activities, with the current trend proceeding 10 times faster than the average rate of warming after an ice age. The planet's average surface temperature has risen about 2 degrees Fahrenheit since the late 19th century, driven largely by increased carbon dioxide emissions.

Terminals should generate the 256-color palette

A solver for Semantle

https://victoriaritvo.com/blog/semantle-solver/embedding_sphere.png
Semantle is a Wordle game variant that scores guesses based on semantic similarity, making it a challenging game to play. A simple solver was created to reliably find the answer in around 3 guesses by using a filtering approach that takes advantage of the geometry of cosine similarity in word embedding space.

What Every Experimenter Must Know About Randomization

Garment Notation Language: Formal descriptive language for clothing construction

https://raw.githubusercontent.com/khalildh/garment-notation/main/images/tshirt-assembled.png
GNL is a generative language for garments with a PEG grammar, allowing for unambiguous construction. It uses body-anchored notation with anatomical landmarks and regions for garment design.

Show HN: VectorNest responsive web-based SVG editor

SVG root is not available yet.

99% of adults over 40 have shoulder "abnormalities" on an MRI, study finds

https://cdn.arstechnica.net/wp-content/uploads/2026/02/GettyImages-1303823163-640x427.jpg
A study found 99% of adults over 40 had rotator cuff abnormalities on MRI, but most had no shoulder problems. Researchers suggest rethinking MRI findings and using more precise language to avoid overtreatment.

Cistercian Numbers

https://www.omniglot.com/images/writing/cistercian-numbers.gif
Cistercian monks created a compact number system in the 13th century using combined glyphs for numbers 1-9,999. The system was based on John of Basingstoke's numeral system and used until the early 20th century.

The true history of the Minotaur: what archaeology reveals

https://static.nationalgeographic.fr/files/styles/image_3200/public/09-nature-of-the-beast-minotaure.webp?w=1600&h=900
Voici une synthèse de l'histoire du Minotaure en 2 phrases :

Discrete Structures [pdf]

Combinatorics tells us why there are 40,320 ways to place eight non- attacking rooks on an 88 chessboard. the best we can do is n pacifist rakes, so we know that the sequence starts 1, 2, 6, 24. this method counts alice looking at bob as two different glances when in fact they are the same, says scott taylor jr.

Show HN: Strava for Claude Code

https://straude.com/_next/image?url=%2Fhero-bg.jpg&w=3840&q=75&dpl=dpl_CSVFoKiE6TvX53kYP9biPVdtgTD1
One command to log your Claude Code output. Track your spend, compare your pace, keep the streak alive. Every log generates a post with your daily output — cost, tokens, models, and your position on the board. Post your daily output to the feed. Show what you shipped, not just what you spent. One command. No install required. Scans your local Claude Code usage and posts it to your profile.

SkyRL brings Tinker to your GPUs (2025)

https://images.unsplash.com/photo-1558877385-81a1c7e67d72?ixlib=rb-4.1.0&q=85&fm=jpg&crop=entropy&cs=srgb&w=3600
SkyRL now implements the Tinker API, allowing training scripts to run locally on GPUs with zero code changes. This integration enables researchers to share post-training workflows and supports arbitrary post-training algorithms.

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

https://raw.githubusercontent.com/Park07/amradio/main/ugl_am_radio/docs/architecture.png
A 12-channel AM radio broadcast system using Red Pitaya FPGA for emergency alert transmission in unmanned tunnels is designed with safety features like human confirmation and watchdog timer to prevent accidental restart. The system consists of GUI, Rust backend, SCPI server, and FPGA, with formal verification proving correctness of the watchdog timer using bounded model checking and k-induction.

Show HN: CEL by Example

CEL is a fast, portable, and safe expression language used in various applications for evaluating expressions against data. It provides functions like filter() and map() for narrowing and transforming lists, and handles time natively for duration comparisons.

Fastest Front End Tooling for Humans and AI

https://cpojer.net/og/fastest-frontend-tooling.png
The user discusses the importance of fast JavaScript tooling and shares their experience with using TypeScript's Go rewrite, Oxfmt, Oxlint, and other tools to improve iteration speed and code quality. They recommend using a stack of tools including tsgo, Oxfmt, Oxlint, and Vite to achieve fast, stable, and feature-complete development.