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.

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

https://mathstodon.xyz/@iblech/116769502749142438
280•IngoBlechschmid•4h ago•136 comments

Exapunks (2018)

https://www.zachtronics.com/exapunks/
47•yu3zhou4•45m ago•13 comments

PeerTube is a free, decentralized and federated video platform

https://github.com/Chocobozzz/PeerTube
303•doener•8h ago•114 comments

Android Developer Verification: Threat masquerading as protection

https://f-droid.org/2026/07/01/adv-malware.html
1452•drewfax•16h ago•597 comments

How to ask for help from people who don't know you

https://pradyuprasad.com/writings/how-to-ask-for-help/
221•FigurativeVoid•6h ago•33 comments

Podman v6.0.0

https://blog.podman.io/2026/07/introducing-podman-v6-0-0/
112•soheilpro•5h ago•29 comments

Klara and the Sun Essay Contest – $1k Prize – AI Use Allowed

https://willpenman.com/klara/
12•fkozlowski•37m ago•9 comments

Launch HN: Manufact (YC S25) – MCP Cloud

https://manufact.com
76•pzullo•4h ago•50 comments

AI can't be listed as inventor on patent applications, Japan's top court rules

https://japannews.yomiuri.co.jp/science-nature/technology/20260306-314930/
280•mushstory•5h ago•147 comments

Spain Orders Blacklist of Palantir from Public and Private Companies

https://clashreport.com/world/articles/spain-orders-blacklist-of-us-tech-giant-palantir-from-publ...
275•mgh2•4h ago•62 comments

German button maker searched rivers of American Midwest for valuable shells

https://www.smithsonianmag.com/smithsonian-institution/how-one-german-button-maker-searched-the-r...
104•bookofjoe•4d ago•34 comments

Show HN: CLI tool for detecting non-exact code duplication with embedding models

https://github.com/rafal-qa/slopo
54•rkochanowski•5h ago•24 comments

Kimi K2.7 Code is generally available in GitHub Copilot

https://github.blog/changelog/2026-07-01-kimi-k2-7-is-now-available-in-github-copilot/
370•unliftedq•14h ago•155 comments

JEP 539: Strict Field Initialization in the JVM moved to preview

https://openjdk.org/jeps/539
3•za3faran•30m ago•0 comments

The Egg Bandits Made a Thousand Times the Fine They Just Paid for Price Fixing

https://www.thebignewsletter.com/p/crime-pays-the-egg-bandits-made-a
317•toomuchtodo•6h ago•145 comments

Is One Layer Enough? A Single Transformer Layer Matches Full-Parameter RL Train

https://arxiv.org/abs/2607.01232
110•tcp_handshaker•7h ago•28 comments

No LLM Code in Dependencies

https://joeyh.name/blog/entry/no_LLM_code_in_dependencies/
45•edward•5h ago•21 comments

Hazel (YC W24) Is Hiring for Our Largest Government Contract

https://www.ycombinator.com/companies/hazel-2/jobs/3epPWgu-full-stack-engineer-ts-sci
1•augustschen•6h ago

The fall of the theorem economy

https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
211•varjag•11h ago•92 comments

The primary purpose of code review is to find code that will be hard to maintain

https://mathstodon.xyz/@mjd/115096720350507897
262•ColinWright•7h ago•144 comments

Show HN: ZeroFS – A log-structured filesystem for S3

https://www.zerofs.net/
100•Eikon•5h ago•47 comments

Show HN: A graph paper generator that renders vector PDFs in the browser

https://freegraphpaper.net/
68•lam_hg94•5h ago•15 comments

WinPE as a stateless harness for Windows driver testing and fuzzing

https://bednars.me/blog/winpe-harness
70•piotrbednarsalt•4d ago•4 comments

CursorBench 3.1

https://cursor.com/evals
147•handfuloflight•14h ago•82 comments

Show HN: Mail Memories – A desktop app to rescue photos from Gmail

https://mailmemories.com
89•ltiger•5h ago•38 comments

Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline

https://github.com/emson/claudoro
39•emson•1d ago•26 comments

How VictoriaLogs Stores Your Logs in a Columnar Layout

https://victoriametrics.com/blog/victorialogs-internals-columnar-storage-on-disk/index.html
16•eatonphil•4d ago•3 comments

Germany’s Infineon opens major chip plant as EU seeks tech autonomy

https://www.rfi.fr/en/international-news/20260702-germany-s-infineon-opens-major-chip-plant-as-eu...
171•giuliomagnifico•6h ago•49 comments

Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers

https://senior-swe-bench.snorkel.ai/
153•matt_d•16h ago•102 comments

Vite+ Beta

https://voidzero.dev/posts/announcing-vite-plus-beta
202•Erenay09•7h ago•127 comments