frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Google will expand age checks on Android worldwide till the end of the year

https://android-developers.googleblog.com/2026/07/google-play-age-signals-api-safer-experiences.html
49•dmantis•43m ago•37 comments

Atomarine: Nuclear Data Centers at Sea

https://atomarine.co/
18•ndr•25m ago•7 comments

AI's top startups are barely publishing their research

https://www.science.org/content/article/ai-s-top-startups-are-barely-publishing-their-research
491•YeGoblynQueenne•13h ago•249 comments

The coolest use for the Vision Pro

https://christianselig.com/2026/07/vision-pro-house/
696•robbiet480•14h ago•266 comments

Azulejo

https://en.wikipedia.org/wiki/Azulejo
7•Amorymeltzer•1d ago•0 comments

Gpiozero Flow

https://bennuttall.com/blog/2026/07/gpiozero-flow/
9•benn_88•24m ago•0 comments

Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac

https://github.com/drumih/turbo-fieldfare
818•gitpusher42•19h ago•284 comments

Superlogical

https://www.superlogical.com/
712•yan•19h ago•420 comments

The first watch featuring computer functions

https://by.seiko-design.com/140th/en/topic/58.html
24•stefanv•3d ago•0 comments

LLM Honeypot

https://llm2human.pages.dev/
267•8thom•12h ago•77 comments

Concurrency, interactivity, mutability, choose two

https://www.n16f.net/blog/concurrency-interactivity-mutability-choose-two/
33•billiob•3d ago•16 comments

The Productivity Mirage

https://frantic.im/mirage/
260•msephton•11h ago•102 comments

Keychron announces first open-source firmware for gaming mice

https://www.digitalfoundry.net/news/2026/07/keychron-announces-first-open-source-firmware-for-gam...
387•JLO64•18h ago•157 comments

Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident

https://huggingface.co/blog/agent-intrusion-technical-timeline
393•artninja1988•1d ago•219 comments

The Cold Email

https://zachholman.com/posts/cold-email
229•holman•13h ago•86 comments

ESP32-C6 Power Consumption: Arduino vs. Zephyr vs. ESP-IDF Comparison

https://www.qoitech.com/blog/esp32-c6-power-consumption-comparison/
36•hasheddan•4d ago•7 comments

Logic for Programmers

https://logicforprogrammers.com/
136•_doctor_love•10h ago•26 comments

A.I. companies are recruiting electricians and carpenters by the thousands

https://www.nytimes.com/2026/07/29/business/economy/data-center-electricians-training.html
291•thm•20h ago•362 comments

Kuna: Decompiler Development in the Age of Coding Agents

https://noelo.org/blog/kuna-release/
46•matt_d•8h ago•10 comments

Kimi K3-256k

https://www.kimi.com/code/docs/en/kimi-code/models
448•monneyboi•15h ago•130 comments

Show HN: CheapFoodMap – A map of good meals under $10

https://cheapfoodmap.com/
217•jaep1•17h ago•195 comments

Turning a dumb AC unit smart (without losing my security deposit)

https://prilik.com/blog/post/automating-ac-nyc/
173•austinallegro•16h ago•140 comments

Angels in Coptic Magic I: Introduction

https://www.coptic-magic.phil.uni-wuerzburg.de/index.php/2026/01/16/angels-in-coptic-magic-i-intr...
48•jruohonen•3d ago•6 comments

SalesPatriot (YC W25) Is Hiring FDEs

https://www.ycombinator.com/companies/salespatriot/jobs/M46X6YX-forward-deployed-engineer
1•maciejSz•13h ago

Some thoughts about Anthropic's new cryptanalysis results

https://blog.cryptographyengineering.com/2026/07/29/some-notes-about-anthropics-new-results/
161•supermatou•18h ago•86 comments

The Rust on ESP Book

https://docs.espressif.com/projects/rust/book/
165•AlexeyBrin•4d ago•18 comments

London’s most equidistant pub

https://equidistance.io/londons-most-equidistant-pub/
45•lambfruit•4d ago•24 comments

Hamburg's Stadtpark: A Park Built to Be Used

https://alsterrunde.com/hamburgs-stadtpark-a-park-built-to-be-used/
162•mertbio•3d ago•48 comments

Launch HN: Tokenless (YC S26) – Automatic model switching to save money

https://usetokenless.com/
64•rohaga•19h ago•57 comments

Recursive Filters: SMA, EMA, Low‑Pass, and a Tiny Kalman

https://www.staszewski.xyz/blog/recursive-filters/
48•kamilstaszewski•2d ago•10 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.