frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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.

Astronauts on ISS told to shelter as repairs under way to fix air leaks

https://www.bbc.com/news/live/c4g44ew3g1kt
117•janpot•1h ago•58 comments

Mouseless – keyboard-driven control of macOS/Linux/Windows

https://mouseless.click
234•riddley•2d ago•112 comments

Stop Using Conventional Commits

https://sumnerevans.com/posts/software-engineering/stop-using-conventional-commits/
35•jsve•34m ago•15 comments

Cooldown Support for Ruby Bundler

https://blog.rubygems.org/2026/06/03/cooldown-let-new-gems-be-vetted.html
60•calyhre•2d ago•12 comments

Tracing a powerful GNSS interference source over Europe

https://arxiv.org/abs/2606.03673
261•mimorigasaka•7h ago•115 comments

I tested every IP KVM in my Homelab

https://www.jeffgeerling.com/blog/2026/i-tested-every-ip-kvm/
39•vquemener•1h ago•7 comments

Redis 8.8: New array data structure, rate limiter, performance improvements

https://redis.io/blog/announcing-redis-8-8/
133•ksec•2d ago•59 comments

pg_durable: Microsoft open sources in-database durable execution

https://github.com/microsoft/pg_durable
15•coffeemug•14m ago•0 comments

Changing how we develop Ladybird

https://ladybird.org/posts/changing-how-we-develop-ladybird/
654•EdwinHoksberg•8h ago•436 comments

Entanglement Builds Space-Time. Now "Magic" Gives It Gravity

https://www.quantamagazine.org/entanglement-builds-space-time-now-magic-gives-it-gravity-20260603/
115•rbanffy•7h ago•106 comments

C++: The Documentary

https://herbsutter.com/2026/06/04/c-the-documentary-released-today/
281•ingve•11h ago•196 comments

Dutch gov't will only allow European company to operate DigiD platform

https://nltimes.nl/2026/06/05/dutch-govt-will-allow-european-company-operate-digid-platform
51•TechTechTech•1h ago•11 comments

Fine-tuning an LLM to write docs like it's 1995

https://passo.uno/fine-tuning-docs-llm/
152•taubek•10h ago•52 comments

Nango (YC W23, dev infra) is hiring staff back end engineers

https://nango.dev/careers
1•bastienbeurier•4h ago

Leak Reveals Microsoft Wants Its AI to Be 'Addictive'

https://kotaku.com/microsoft-ai-scout-addictive-satya-nadella-404-media-copilot-2000702924
21•thm•41m ago•3 comments

ESP32 Bit Pirate, a Hardware Hacking Tool with WebCLI That Speaks Every Protocol

https://github.com/geo-tp/ESP32-Bit-Pirate
117•geotp•8h ago•36 comments

databow: a Rust CLI to query any database with an ADBC driver

https://columnar.tech/blog/introducing-databow//
98•hckshr•2d ago•19 comments

Lee Kuan Yew's Singapore Story (2023)

https://www.historytoday.com/archive/feature/lee-kuan-yews-singapore-story
105•pepys•8h ago•94 comments

Meta enables ADB on deprecated Portal devices [video]

https://fb.watch/HxPu0fSyeH/
275•jenders•15h ago•107 comments

Azure Linux 4.0 is Microsoft's first general-purpose Linux

https://www.boxofcables.dev/azure-linux-4-0-is-microsofts-first-general-purpose-linux/
146•haydenbarnes•13h ago•120 comments

Leap in DNA synthesis slashes time to build new genetic sequences

https://spectrum.ieee.org/faster-dna-synthesis-sidewinder
90•natalcleft•22h ago•19 comments

Anthropic's open-source framework for AI-powered vulnerability discovery

https://github.com/anthropics/defending-code-reference-harness
488•binyu•20h ago•137 comments

At the Autograph Show

https://oldster.substack.com/p/at-the-autograph-show
29•NaOH•2d ago•2 comments

Ask HN: What is your (AI) dev tech stack / workflow? (June 2026)

18•dv35z•1h ago•19 comments

I'm skeptical about efforts to revolutionize schooling

https://www.scotthyoung.com/blog/2026/05/27/revolutionize-schooling/
265•andrewstuart•2d ago•423 comments

The IsUpMap lets you check the status of over 100 major sites at once

https://isupmap.com/
108•mikelgan•11h ago•37 comments

Open Code Review – An AI-powered code review CLI tool

https://github.com/alibaba/open-code-review
234•geoffbp•16h ago•66 comments

Do transformers need three projections? Systematic study of QKV variants

https://arxiv.org/abs/2606.04032
201•Anon84•17h ago•36 comments

Programmers will document for Claude, but not for each other

https://blog.plover.com/2026/03/09/#documentation-wins-2
110•surprisetalk•3h ago•109 comments

Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens

https://github.com/zdk/lowfat
53•zdkaster•7h ago•37 comments