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.

How Has Roman Concrete Lasted for Millennia? 1,900-Year-Old Latrine Offers Clues

https://www.smithsonianmag.com/smart-news/how-has-roman-concrete-lasted-for-millennia-a-1900-year...
42•divbzero•1h ago•23 comments

Kimi K3: Open Frontier Intelligence

https://www.kimi.com/blog/kimi-k3
1397•vincent_s•14h ago•853 comments

An Engineer's Guide to USB Typе-С (2024)

https://www.ti.com/lit/eb/slyy228/slyy228.pdf?ts=1759892558029
78•gregsadetsky•6d ago•1 comments

Microsoft Comic Chat is now open source

https://opensource.microsoft.com/blog/2026/07/16/microsoft-comic-chat-is-now-open-source/
607•jervant•13h ago•138 comments

GrapheneOS recommended for domestic abuse victims

https://privacypros.com.au/privacy-hub/articles/dv-safe-phone-australia/
47•aussieguy1234•4h ago•24 comments

Decoy Font

https://www.mixfont.com/experiments/decoy-font
478•ray__•13h ago•114 comments

LM Studio Bionic: the AI agent for open models

https://lmstudio.ai/blog/introducing-lm-studio-bionic
199•minimaxir•9h ago•72 comments

$100 AI Music Video: Claude Fable 5 vs. GPT-5.6 Sol

https://www.tryai.dev/blog/ai-music-video-arena-claude-vs-gpt-5.6
202•hershyb_•9h ago•235 comments

Pebble Mega Update – July 2026

https://repebble.com/blog/pebble-mega-update-july-2026
9•crazysaem•1h ago•0 comments

The Little Book of Reinforcement Learning

https://github.com/alxndrTL/little-book-rl/
90•mustaphah•7h ago•10 comments

Solod: Go can be a better C

https://solod.dev
90•koeng•3d ago•22 comments

NotebookLM is now Gemini Notebook

https://blog.google/innovation-and-ai/products/gemini-notebook/notebooklm-gemini-notebook/
279•xnx•13h ago•142 comments

M 3.9 Experimental Explosion – 147 Km ENE of Ponce Inlet, Florida

https://earthquake.usgs.gov/earthquakes/eventpage/us7000t13l/executive
51•hnburnsy•4h ago•20 comments

Old Icons

https://leancrew.com/all-this/2026/07/old-icons/
27•zdw•5d ago•4 comments

Simulating everything, sort of: The promise and limits of world models

https://arstechnica.com/ai/2026/07/simulating-everything-sort-of-the-promise-and-limits-of-world-...
23•LorenDB•3d ago•1 comments

'Likweli': A new monkey species discovered in the Congo Basin

https://news.yale.edu/2026/07/15/meet-likweli-new-monkey-species-discovered-congo-basin
66•gmays•7h ago•12 comments

Mathematics of Data Science

https://arxiv.org/abs/2607.11938
126•Anon84•9h ago•3 comments

How Our Rust-to-Zig Rewrite Is Going

https://rtfeldman.com/rust-to-zig
456•jorangreef•18h ago•240 comments

Detecting LLM-Generated Texts with “Classical” Machine Learning

https://blog.lyc8503.net/en/post/llm-classifier/
176•uneven9434•12h ago•120 comments

Immersive Linear Algebra Book with Interactive Figures (2015)

https://immersivemath.com/ila/
191•srean•14h ago•26 comments

Helium escaping from atmosphere of nearby rocky exoplanet in a habitable zone

https://www.science.org/doi/10.1126/science.aea9708
86•anyonecancode•9h ago•24 comments

The human-in-the-loop is tired

https://pydantic.dev/articles/the-human-in-the-loop-is-tired
123•haritha1313•5h ago•67 comments

Ring-Zero: Scaling Zero RL to a Trillion Parameters for Emergent Reasoning

https://arxiv.org/abs/2607.12395
45•binyu•8h ago•15 comments

Pseudpocalypse

https://dynomight.net/pseudpocalypse/
103•surprisetalk•2d ago•62 comments

UIUC AI Teaching Assistant

https://github.com/Center-for-AI-Innovation/ai-teaching-assistant-uiuc
6•teleforce•3h ago•0 comments

Show HN: Clx – Compile Lua to Native Executables Through C++20

https://github.com/samyeyo/clx
104•_samt_•5d ago•11 comments

Abstracting Effects with Continuations

https://crowdhailer.me/2026-07-15/abstracting-effects-with-continuations/
55•crowdhailer•18h ago•2 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
115•zhinit•14h ago•56 comments

Lingbot-map: A 3D foundation model for reconstructing scenes from streaming data

https://github.com/Robbyant/lingbot-map
14•olalonde•5h ago•0 comments

CVE-2026-25089: FortiSandbox unauthenticated command injection added to CISA KEV

https://hellorecon.com/blog/cve-2026-25089
31•slvnx•7h ago•0 comments