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.

The coolest use for the Vision Pro

https://christianselig.com/2026/07/vision-pro-house/
101•robbiet480•58m ago•39 comments

Kimi K3-256k

https://www.kimi.com/code/docs/en/kimi-code/models
246•monneyboi•2h ago•63 comments

Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac

https://github.com/drumih/turbo-fieldfare
549•gitpusher42•6h ago•185 comments

Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident

https://huggingface.co/blog/agent-intrusion-technical-timeline
215•artninja1988•1d ago•114 comments

Superlogical

https://www.superlogical.com/
416•yan•5h ago•269 comments

Keychron announces first open-source firmware for gaming mice

https://www.digitalfoundry.net/news/2026/07/keychron-announces-first-open-source-firmware-for-gam...
204•JLO64•5h ago•85 comments

SalesPatriot (YC W25) Is Hiring FDEs

https://www.ycombinator.com/companies/salespatriot/jobs/M46X6YX-forward-deployed-engineer
1•maciejSz•37m ago

KOReader

https://koreader.rocks/
618•Cider9986•10h ago•196 comments

A Trampoline

https://dogdogfish.com/blog/2026/07/29/a-trampoline/
27•matthewsharpe3•1h ago•10 comments

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

https://firstprinciples.com/blog-article/ai-system-theo-conjecture-solves-35-year-old-math-conjec...
16•otalp•1h ago•3 comments

Claude: Elevated errors across all models

https://status.claude.com/incidents/q2kg8n613kr3
208•gregsadetsky•1h ago•177 comments

Turning a dumb AC unit smart (without losing my security deposit)

https://prilik.com/blog/post/automating-ac-nyc/
55•austinallegro•3h ago•50 comments

A.I. companies are recruiting electricians and carpenters by the thousands

https://www.nytimes.com/2026/07/29/business/economy/data-center-electricians-training.html
175•thm•6h ago•222 comments

Handbook.md shows that long policy documents do not reliably govern agents

https://arxiv.org/abs/2607.25398
267•spIrr•8h ago•170 comments

Document-borne AI worms can self-propagate through Copilot for Word

https://enklypesalt.com/posts/context-collapse-part3-ai-worming-through-word/
307•Canopy9560•9h ago•231 comments

Commodification of Intelligence: Good, Bad, and Ugly Circular AI Deals

https://www.emergingtrajectories.com/lh/commodification-and-circularity/
32•cl42•2h ago•21 comments

AI's top startups are barely publishing their research

https://www.science.org/content/article/ai-s-top-startups-are-barely-publishing-their-research
6•YeGoblynQueenne•12m ago•0 comments

Show HN: CheapFoodMap – A map of good meals under $10

https://cheapfoodmap.com/
79•jaep1•4h ago•85 comments

Some thoughts about Anthropic's new cryptanalysis results

https://blog.cryptographyengineering.com/2026/07/29/some-notes-about-anthropics-new-results/
76•supermatou•4h ago•42 comments

How to not die by a thousand cuts or how to think about software quality (2023)

https://www.evalapply.org/posts/how-to-not-die-by-a-thousand-cuts/index.html
33•adityaathalye•2h ago•16 comments

Launch HN: Tokenless (YC S26) – Automatic model switching to save money

https://usetokenless.com/
45•rohaga•5h ago•40 comments

Darktable

https://www.darktable.org/
252•siatko•9h ago•125 comments

How much can you delegate to agents?

https://newsletter.posthog.com/p/agent-autonomy
25•duck•2h ago•0 comments

The Rust on ESP Book

https://docs.espressif.com/projects/rust/book/
96•AlexeyBrin•4d ago•9 comments

Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution

https://aistack.imec-int.com/blog/gpu-self-hosting
102•flifenstein•6h ago•34 comments

Hamburg's Stadtpark: A Park Built to Be Used

https://alsterrunde.com/hamburgs-stadtpark-a-park-built-to-be-used/
90•mertbio•2d ago•24 comments

GPT-5.6 vs. Claude Fable 5 for Physical AI, which performs best?

https://juliahub.com/blog/frontier-models-physical-ai-evaluation
75•mbauman•6h ago•18 comments

Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem

https://www.claire-blackshaw.com/blog/2026/07/shipping-godot-vr-and-porting-to-psvr2-a-partial-po...
99•ibobev•8h ago•11 comments

Show HN: Qwen Scribe – local transcription and dictation for Apple Silicon

https://github.com/VladUZH/qwen-scribe
66•sidclaw•6h ago•17 comments

User Interfaces of the Demo Scene

https://www.datagubbe.se/scenegui/
384•zdw•17h ago•68 comments