frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Virginia bans sale of geolocation data

https://www.hunton.com/privacy-and-cybersecurity-law-blog/virginia-bans-sale-of-geolocation-data
731•toomuchtodo•11h ago•120 comments

CarPlay Is Additive

https://www.caseyliss.com/2026/7/2/carplay-is-additive-you-dolts
243•sprawl_•7h ago•291 comments

Right to Local Intelligence

https://righttointelligence.org/
198•thoughtpeddler•8h ago•68 comments

crustc: entirety of `rustc`, translated to C

https://github.com/FractalFir/crustc
254•Philpax•9h ago•46 comments

Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory

https://mathstodon.xyz/@iblech/116769502749142438
457•IngoBlechschmid•16h ago•200 comments

The Safari MCP server for web developers

https://webkit.org/blog/18136/introducing-the-safari-mcp-server-for-web-developers/
70•coloneltcb•6h ago•10 comments

Reality has a surprising amount of detail (2017)

https://johnsalvatier.org/blog/2017/reality-has-a-surprising-amount-of-detail
244•vinhnx•5d ago•86 comments

14× faster embeddings: how we rebuilt the ONNX path in Manticore

https://manticoresearch.com/blog/onnx-embeddings-speedup/
39•snikolaev•4h ago•6 comments

Podman v6.0.0

https://blog.podman.io/2026/07/introducing-podman-v6-0-0/
500•soheilpro•17h ago•202 comments

Exapunks (2018)

https://www.zachtronics.com/exapunks/
277•yu3zhou4•13h ago•93 comments

Immich 3.0

https://github.com/immich-app/immich/discussions/29439
365•hashier•18h ago•173 comments

Underwater Suit-Wearing Cyborg Insect Capable of Diving and Terra-Aqua Travel

https://www.nature.com/articles/s41467-026-74235-1
25•gscott•3d ago•2 comments

Mystery identity of 'Green Boots' climber is finally solved after DNA test

https://www.dailymail.com/news/article-15943905/Mystery-identity-Green-Boots-climber-macabre-land...
97•FireBeyond•9h ago•55 comments

An American Privacy Emergency

https://scottaaronson.blog/?p=9902
288•flowercalled•8h ago•89 comments

How working with a blind client revealed invisible accessibility gaps

https://iinteractive.com/resources/blog/read-only
4•fortyseven•3d ago•0 comments

Cowboys, Frontiersmen, Settlers, Townspeople, Cityfolk

https://huntersoftwareconsulting.com/posts/2026-06-28-company-phase-changes/
12•mooreds•3d ago•1 comments

A Special Wireless-Free Nikon Camera Is Publicly Available for the First Time

https://petapixel.com/2026/06/24/a-special-wireless-free-nikon-camera-is-publicly-available-for-t...
56•HardwareLust•1w ago•29 comments

Postgres transactions are a distributed systems superpower

https://www.dbos.dev/blog/co-locating-workflow-state-with-your-data
170•KraftyOne•13h ago•70 comments

The short leash AI coding method for beating Fable

https://blog.okturtles.org/2026/07/short-leash-ai-method/
121•Riseed•13h ago•140 comments

Claude-real-video - any LLM can watch a video

https://github.com/HUANGCHIHHUNGLeo/claude-real-video
130•cortexosmain•13h ago•41 comments

Superpowers 6

https://blog.fsck.com/2026/06/15/Superpowers-6/
138•seahorseemoji•2d ago•52 comments

Great Salt Lake Tracker – Grow the Flow

https://growtheflowutah.org/laketracker/
97•cfowles•12h ago•36 comments

Why Switzerland has 25 gbit internet and America doesn't

https://stefan.schueller.net/posts/the-free-market-lie/
456•talonx•3h ago•294 comments

This is my attempt to get Vulkan going on NetBSD

https://github.com/segaboy/vulkan-netbsd
102•segaboy81•13h ago•26 comments

FoundationDB's Flow – Bringing Actor-Based Concurrency to C++11

https://apple.github.io/foundationdb/flow.html
61•sourdecor•17h ago•9 comments

EFF letter to FTC on X consent order [pdf]

https://www.eff.org/deeplinks/2026/06/eff-and-allies-xs-ftc-petition-waive-privacy-violation-orde...
136•Terretta•12h ago•51 comments

Show HN: zkGolf – Competitive optimization of formally verified circuits

https://zk.golf/
57•rot256•16h ago•9 comments

Perform DFU Restores on Apple Silicon Macs with Macvdmtool (2021)

https://www.bkurtz.io/posts/macvdmtool/
19•gregsadetsky•3d ago•3 comments

AI is 'not smart' so what's next in artificial intelligence?

https://www.bbc.com/news/articles/cj6gr0xkyr3o
22•1vuio0pswjnm7•6h ago•12 comments

Lightning Memory-Mapped Database Manager (LMDB) 1.0

http://www.lmdb.tech/doc/
80•radiator•12h ago•42 comments
Open in hackernews

Right-Truncatable Prime Counter

https://github.com/EbodShojaei/Right-Truncatable-Primes
9•rainmans•1y ago

Comments

throwawaymaths•1y ago
Curious about base 2. Obviously if you hit a 0 it's immediately not prime, but maybe adjust the rules so:

- you drill through as many 0's on the right.

- you finish on 1.

3, 5, 7, 11, 13, 15, 17 are all right truncatable, 19 is the first non-truncatable prime in this scheme.

nh23423fefe•1y ago
i dont think smaller radixes make the problem more interesting. the problem is interesting because base 10 has a large branching factor
throwawaymaths•1y ago
I think in the base2 reformulation I propose we do not know for certain if the list of numbers terminates, as all Fermat primes are in the set and we don't know if there are infinitely many Fermat primes.

For base-10 and the original rules the set is provably closed.

"Drilling through zeros" makes the branching unbounded.

jinwoo68•1y ago
There's a Project Euler problem for finding truncatable prime numbers, from both left and right: https://projecteuler.net/problem=37
thechao•1y ago
Just in case any else is wondering: there are only 83 right-truncatable primes (RTP) and that is it. There's two constraints that let you see this "immediately":

1. An RTP must start with {2,3,5,7,9}; and,

2. An RTP must end with {1,3,7,9}.

So, let's take the largest RTP (73939133) and try to "extend" it: there are only four possible extensions: 73939133[1], 73939133[3], 73939133[7], 73939133[9]. None of these are prime. This holds for the other 8-digit RTPs. Therefore, there is no extension to a 9-or-longer RTP. Thus, the list is exhaustive.