frontpage.
newsnewestaskshowjobs

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.

Gemini 4 Argon

https://deepmind.google/models/gemini/
910•737max•7h ago•702 comments

Show HN: Guitoro, a virtual guitar you strum with your keyboard

https://guitoro.com/
201•talccc•4h ago•78 comments

Ledger confirms spy chip implant behind wallet crypto thefts

https://www.bleepingcomputer.com/news/security/ledger-confirms-hardware-wallet-spy-implant-behind...
370•thm•1d ago•294 comments

Redesigning source control at Anthropic

https://www.anthropic.com/engineering/redesigning-source-control
477•Philpax•7h ago•474 comments

Apple HomeView

https://www.apple.com/apple-homeview/
634•etothet•10h ago•758 comments

AlphaNIST

https://alpha-nist.github.io/
23•jasonjmcghee•1h ago•2 comments

Thunderbird for iOS

https://blog.thunderbird.net/2026/10/thunderbird-for-ios-a-first-look-at-the-native-iphone-email-...
312•mjorgers•8h ago•125 comments

Show HN: Pulse Local, a Mac budgeting app whose AI models run on your machine

https://pulseos.finance
9•niztk•36m ago•2 comments

11 year old unsoundness bugs found in Rust borrow checker

https://github.com/rust-lang/rust/issues/164250
654•formerly_proven•13h ago•363 comments

OpenAI engineer arrested in bugging of executive conference room

https://sfstandard.com/2026/10/13/openai-engineer-arrested-alleged-bugging-executive-conference-r...
340•forthwall•3h ago•299 comments

Firefox Enterprise

https://www.firefox.com/en-US/enterprise/
611•recvonline•11h ago•252 comments

PostEra (YC W20) Is Hiring AI Researchers for Drug Discovery

https://jobs.lever.co/postera/c7d50a36-db0a-4574-bfe4-8700b74a22c0
1•morraa•2h ago

I posted to HN, and then my website was flooded with AI bot traffic

https://www.sammystraus.com/#i-posted-to-hn-and-then-my-website-was-flooded-with-ai-bot-traffic
226•sammy0910•8h ago•140 comments

The United Kingdom generates less electricity per person than in the 1970s

https://ourworldindata.org/data-insights/electricity-generation-per-person-in-the-united-kingdom-...
184•karakoram•8h ago•256 comments

Apple's new 'Switch to Safari' campaign details why you should ditch Chrome

https://9to5mac.com/2026/10/12/apples-new-switch-to-safari-campaign-details-why-you-should-ditch-...
167•ivell•9h ago•279 comments

New Apple TV 4K

https://www.apple.com/newsroom/2026/10/apple-unveils-the-new-apple-tv-4k/
271•corvad•10h ago•516 comments

We turned EmbeddingGemma 2 into a speech-to-text model

https://eg2.haku.sh/
380•amrrs•12h ago•85 comments

Recreational Programming

https://www.cphiri.dev/presentations/recreational-programming
9•jslakro•1h ago•1 comments

Physical Intelligence API Beta: Frontier Models for Every Robot

https://www.pi.website/blog/api-beta
13•modeless•1h ago•0 comments

MIT class project turns into an FDA-cleared treatment for tremors

https://news.mit.edu/2026/mit-class-project-turns-into-fda-cleared-treatment-for-tremors-1002
128•zdw•1d ago•24 comments

Show HN: Parsimony – an open-source benchmark for how much code AI models add

https://parsimony.lasu.dev/
32•lasu•3h ago•2 comments

Show HN: Spotatui, a Spotify TUI/GUI without web API rate limits

https://github.com/LargeModGames/spotatui
40•LargeModGames•12h ago•7 comments

Hiking the world in search of rare cheeses

https://www.bbc.com/travel/article/20261007-the-man-hiking-the-world-in-search-of-rare-cheeses
38•tosh•1d ago•9 comments

A Dynamic and Distributed Virtual GPU Cloud Built on Idle Apple Silicon Devices

https://machinelearning.apple.com/research/distributed-gpu-cloud
216•acossta•11h ago•91 comments

Gemini 4 Argon for Robotics

https://developers.googleblog.com/gemini-4-argon-for-robotics/
175•xnx•6h ago•42 comments

The Four Colour Theorem: The first time machines mogged mathematicians

https://newsletter.pessimistsarchive.org/p/the-1st-time-machines-mogged-mathematicians
26•list•4h ago•24 comments

Maybe a better way to track the release history of a Git repo

https://blog.plover.com/prog/git/history-proposal.html
16•hellerve•17h ago•4 comments

How to engineer an AI harness for game development

https://kylekukshtel.com/ai-harness-engineering-game-development-claude-code
117•kkukshtel•9h ago•53 comments

Character.ai has initiated voluntary Chapter 11 bankruptcy

https://blog.character.ai/an-update-on-character-ai/
273•nryoo•16h ago•262 comments

IDRs as Records of Intent

https://wrla.ch/log/2026/10/idrs-as-records-of-intent/
13•evakhoury•1d ago•1 comments