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.

Kimi K3 is now live

https://www.kimi.com/en
404•vincent_s•2h ago•205 comments

Microsoft Comic Chat is now open source

https://opensource.microsoft.com/blog/2026/07/16/microsoft-comic-chat-is-now-open-source/
124•jervant•1h ago•31 comments

Decoy Font

https://www.mixfont.com/experiments/decoy-font
60•ray__•1h ago•29 comments

Detecting LLM-Generated Texts with "Classical" Machine Learning

https://blog.lyc8503.net/en/post/llm-classifier/
33•uneven9434•44m ago•9 comments

OnePlus halts operations in USA and Europe

https://community.oneplus.com/thread/2170715118587871237
406•pilililo2•7h ago•223 comments

Goes-19 weather satellite enters Safe Hold mode

https://www.spaceweather.gov/news/goes-19-safe-hold
98•yabones•3h ago•47 comments

Adaptional (YC S25) Is Hiring

https://www.ycombinator.com/companies/adaptional/jobs
1•acesohc•25m ago

NotebookLM is now Gemini Notebook

https://blog.google/innovation-and-ai/products/gemini-notebook/notebooklm-gemini-notebook/
26•xnx•1h ago•6 comments

56,000 lines of DOOM, in a language I made up

https://betlang.dev/about/
11•ghuntley•1h ago•9 comments

How Our Rust-to-Zig Rewrite Is Going

https://rtfeldman.com/rust-to-zig
206•jorangreef•5h ago•105 comments

The lost joy of music piracy

https://www.pigeonsandplanes.com/read/music-piracy-what-cd-oink-nine-inch-nails-streaming
637•mcgin•12h ago•435 comments

Launch HN: Traceforce (YC S26) – Company-wide security monitoring for AI apps

5•XiaHua•34m ago•1 comments

Immersive Linear Algebra Book with Interactive Figures

https://immersivemath.com/ila/
19•srean•1h ago•0 comments

Guide to data tools landscape for developers

https://sinja.io/blog/data-landscape-guide-for-developers
45•OlegWock•2h ago•11 comments

Sony Deletes a Bunch More Movies from the Accounts of People Who 'Bought' Them

https://www.techdirt.com/2026/07/15/sony-deletes-a-bunch-more-movies-from-the-accounts-of-people-...
356•nekusar•5h ago•202 comments

How to Train a Gen AI Kick Drum Model on Your Old Linux Desktop with 6GB VRAM

https://www.zhinit.dev/blog/training-a-kick-drum-diffusion-model
25•zhinit•2h ago•18 comments

GC shape stenciling in Go generics

https://rednafi.com/go/gc-shape-stenciling/
24•ingve•4d ago•2 comments

Let's Build PlanetScale from Scratch: Infrastructure

https://onatm.dev/2026/07/16/homescale-part-1/
97•onatm•5h ago•16 comments

Ente – Opening Our Books

https://ente.com/open/
158•Sherex•6h ago•48 comments

Show HN: Sentinel – open-source QA agent that reads your code before it clicks

https://blog.simbastack.com/announcing-sentinel/
11•asenna•1h ago•1 comments

Show HN: Galois connections for composable numeric casts in Rust

https://github.com/cmk/connections
4•partialsolve•50m ago•0 comments

Show HN: Leaves – a text-UI disk usage treemap visualizer

https://github.com/patonw/leaves
8•patonw•1h ago•2 comments

Kimi K3 Is Live

https://www.kimi.com/code/docs/en/kimi-code/models
11•milsebg•2h ago•1 comments

Someone Used AI to Write an Unauthorized Biography of Me

https://www.nytimes.com/2026/07/16/technology/ai-slop-books-biography-amazon.html
3•igonvalue•34m ago•2 comments

Show HN: A modern port of Linux to a ten-year-old QWERTY phone

8•tmzt•1h ago•1 comments

Agent-talk: Enabling coding agents to work together

https://github.com/xhluca/agent-talk
9•xhluca•1h ago•0 comments

Accidental Anonymity

https://macwright.com/2026/06/24/accidental-anonymity
29•caminanteblanco•2d ago•4 comments

Photos of items from families in different countries with different incomes

https://www.gapminder.org/dollar-street
34•uneven9434•1h ago•2 comments

1,300 Beautiful Wildlife Illustrations from the 19th Century Now Restored

https://www.openculture.com/2026/07/explore-1300-beautiful-wildlife-illustrations-from-the-19th-c...
200•gslin•14h ago•37 comments

Teardown: A Generic 7-Port USB 3.0 Hub That Wasn't

https://goughlui.com/2026/07/09/teardown-a-generic-7-port-usb-3-0-hub-that-wasnt/
171•speckx•3d ago•78 comments