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.

Fable turned reMarkable into Tom Riddle's diary from Harry Potter

https://github.com/MaximeRivest/Riddle
346•modinfo•7h ago•191 comments

OpenWrt One – Open Hardware Router

https://openwrt.org/toh/openwrt/one
538•peter_d_sherman•12h ago•215 comments

CoMaps – FOSS Offline Maps

https://www.comaps.app/
457•basilikum•11h ago•91 comments

GLM 5.2 and the coming AI margin collapse

https://martinalderson.com/posts/the-upcoming-ai-margin-collapse-part-1-glm-5-2/
323•martinald•10h ago•201 comments

How to sequence your own DNA at home

https://bradleywoolf.com/links-1/sequencing-my-own-dna-at-home
153•bilsbie•6h ago•49 comments

Small AI Models Gain Traction In places with unreliable networks

https://spectrum.ieee.org/small-language-models-ai-pharmaceuticals
102•sscaryterry•6h ago•19 comments

Ternlight – 7 MB embedding model that runs in browser (WASM)

https://ternlight-demo.vercel.app/
176•soycaporal•7h ago•44 comments

A global workspace in language models

https://www.anthropic.com/research/global-workspace
343•in-silico•13h ago•125 comments

Pruning RAG context down to what the answer actually needs

https://www.kapa.ai/blog/how-we-prune-rag-context
86•emil_sorensen•11h ago•14 comments

Resetting Xbox

https://news.xbox.com/en-us/2026/07/06/resetting-xbox/
566•dijksterhuis•16h ago•579 comments

AMD Ryzen AI Halo – $4k AI Dev Kit

https://www.lttlabs.com/articles/2026/07/06/amd-ryzen-ai-halo
311•LabsLucas•15h ago•218 comments

Linux on the Atari Jaguar

https://cakehonolulu.github.io/linux-for-jaguar/
131•cakehonolulu•12h ago•24 comments

OpenSSH 10.4/10.4p1 Released

https://www.openssh.org/txt/release-10.4
62•throw0101a•8h ago•14 comments

Acronym Fatigue Series Introduction: why I'm wary of acronyms

https://devz.cl/posts/acryonym-fatigue-series-why-i-m-wary-of-engineering-acronyms/
52•DanielVZ•8h ago•41 comments

A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku

https://arxiv.org/abs/2607.02112
36•Jimmc414•3d ago•9 comments

OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files

https://github.com/iOfficeAI/OfficeCLI
160•maxloh•14h ago•45 comments

Tiny-C Reference Manual Excerpt

https://permacomputer.solarpunk.au/?p=204
19•surprisetalk•4d ago•1 comments

Poly/ML – A Standard ML Implementation

https://github.com/polyml/polyml
57•Lyngbakr•8h ago•14 comments

Dolosse – a South African invention used over the world

https://thisbugslife.com/2021/11/21/dolosse-a-south-african-invention-used-over-the-world/
4•andsoitis•2d ago•0 comments

Stealth robotics startup (YC S26) is hiring principal engineers (Palo Alto)

1•david-venegas•14h ago

Aluminum foil (2021)

https://dernocua.github.io/notes/aluminum-foil.html
264•firephox•17h ago•116 comments

Full Writeup of the Windows GDID

https://github.com/SmtimesIWndr/gdid-reversal
62•typeofhuman•8h ago•29 comments

Learning to code is still worthwhile

https://stevekrouse.com/learn-to-code
161•stevekrouse•9h ago•168 comments

Rotman Lens

https://en.wikipedia.org/wiki/Rotman_lens
100•thomasjb•5d ago•26 comments

M/PC – A Concatenative OS

https://wiki.xxiivv.com/site/m_pc.html
57•caminanteblanco•10h ago•9 comments

Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359]

https://github.com/V4bel/Januscape
94•Imustaskforhelp•13h ago•33 comments

NSA and IETF: Fairness

https://blog.cr.yp.to/20260706-fairness.html
80•WatchDog•7h ago•76 comments

EndBASIC 0.14: Are we multimedia yet?

https://www.endbasic.dev/2026/07/endbasic-0.14.html
36•jmmv•2d ago•7 comments

Kani: A Model Checker for Rust

https://arxiv.org/abs/2607.01504
138•Jimmc414•14h ago•7 comments

Evaluation order and nontermination in query languages

https://www.rntz.net/post/2026-06-11-datalog-nontermination.html
33•luu•4d ago•3 comments