frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Apple Pass Designer

https://developer.apple.com/pass-designer/
282•soheilpro•4h ago•192 comments

Court agrees with EFF: Utah's VPN law demands a technical impossibility

https://www.eff.org/deeplinks/2026/10/court-agrees-eff-utahs-vpn-law-demands-technical-impossibility
453•hn_acker•1d ago•204 comments

The Forgetful CPU (Linux on M4)

https://yuka.dev/blog-2026-10-02-linux-m4.html
33•signa11•9h ago•0 comments

A 12-year sequence of telescope images of a star and four planets orbiting

https://bsky.app/profile/theplanetaryguy.com/post/3mwucf5ert22f
169•mariuz•12h ago•34 comments

With most information hidden, the game Stratego had stumped AI until now

https://arstechnica.com/science/2026/10/ai-finally-beat-the-best-stratego-player-in-history-and-d...
154•PaulHoule•9h ago•74 comments

Muse Gadgets

https://gadgets.muse.ai
103•anant•4h ago•51 comments

Mike Tomlin spent 12 years building a Minecraft city

https://www.nytimes.com/athletic/7648198/2026/10/01/mike-tomlin-minecraft-nfl-coach/
207•CoryOndrejka•1d ago•55 comments

Loss of cell identity drives human aging: Two new papers

https://erictopol.substack.com/p/loss-of-cell-identity-drives-human
157•bookofjoe•1d ago•40 comments

Zig v0.17.0

https://ziglang.org/download/0.17.0/release-notes.html
188•ErenayDev•3h ago•98 comments

From the creator of Redis; run LLM locally with ds4

https://dwarfstar.sh/
125•fibo•6h ago•35 comments

Greg Kroah-Hartman – Security in the LLM Age [video]

https://www.youtube.com/watch?v=NnV_cWeoo5Q
159•usernomdeguerre•21h ago•32 comments

Every SaaS business will become a harness around a model

https://blog.sshh.io/p/the-harness-is-the-company
77•iacguy•2h ago•56 comments

Show HN: Made an open-source Lego AI generator

https://github.com/anteloc/ldraw-nova
57•antelocnova•4h ago•36 comments

One month coding with GLM 5.3 Flash

https://wagtail.org/blog/one-month-on-glm-53-flash/
95•ThibWeb•8h ago•75 comments

Updates to Full Disk Access in macOS

https://developer.apple.com/news/?id=p6zjojqw
86•notfirstpost•4h ago•55 comments

Sites in ChatGPT

https://chatgpt.com/features/sites/
193•polvi•1d ago•211 comments

Open-sourcing AstaBrief, the fast report-generation model in Asta

https://allenai.org/blog/astabrief
15•malshe•2h ago•1 comments

FLUX 3 Image

https://bfl.ai/models/flux-3-image
261•minimaxir•1d ago•57 comments

Our Project Suncatcher prototype satellite is in orbit

https://blog.google/innovation-and-ai/models-and-research/google-research/project-suncatcher-prot...
38•pantalaimon•12h ago•45 comments

Philip Sidney and the Extreme (Dis)Graces of the Parenthesis

https://publicdomainreview.org/essay/philip-sidney-and-the-extreme-disgraces-of-the-parenthesis/
5•pepys•2d ago•0 comments

Venice’s failed war against Constantinople led to the first bond market

https://bigthink.com/books/a-fabulous-debt/
58•RickJWagner•10h ago•19 comments

The Legend of von Neumann (1973) [pdf]

https://gwern.net/doc/math/1973-halmos.pdf
234•suopspaces•10h ago•136 comments

Blogging with Gleam, Org-Mode and Pandoc

https://byzantine-systems.github.io/blogging-with-gleam-org-mode-and-pandoc/
48•schonfinkel•12h ago•9 comments

Show HN: Giving Opus 5.5 a simulated paint canvas

https://stillwet.art/
180•alstonite•23h ago•60 comments

Anatomy of a Lean proof for software engineers

https://agostbiro.net/posts/2026-10-anatomy-of-a-lean-proof/
69•abiro•1d ago•6 comments

STS-51-F Abort-to-Orbit (1985)

https://en.wikipedia.org/wiki/STS-51-F
32•schoen•7h ago•10 comments

The first packet sent via RFC1149 avian carrier is up for auction at Christie's

https://onlineonly.christies.com/s/fine-printed-books-manuscripts-science/carrier-pigeon-internet...
34•peter_hansteen•11h ago•5 comments

Show HN: Pyxel – A Python retro game engine with built-in art and sound editors

https://github.com/kitao/pyxel
61•kitao•1d ago•8 comments

F.02 Decommission

https://www.figure.ai/news/f-02-decommission
51•ad_hockey•13h ago•21 comments

On social reality in China

https://www.lesswrong.com/posts/b5cSYh4emQb2qrGmK/on-social-reality-in-china
131•thicTurtlLverXX•12h ago•133 comments
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.