frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

OpenAI Submits S-1 Draft to SEC

https://openai.com/index/openai-submits-confidential-s-1/
110•hackerBanana•1h ago•51 comments

Surveillance Is Not Safety: A statement on the UK's latest threat to privacy [pdf]

https://signal.org/blog/pdfs/2026-06-08-uk-surveillance-is-not-safety.pdf
258•g0xA52A2A•3h ago•65 comments

Siri AI

https://www.apple.com/apple-intelligence/
306•0xedb•4h ago•238 comments

MiMo-v2.5-Pro-UltraSpeed: 1T model with 1000 tokens per second

https://mimo.xiaomi.com/blog/mimo-tilert-1000tps
453•gainsurier•7h ago•308 comments

Show HN: Performative-UI – A react component library of design tropes

https://vorpus.github.io/performativeUI/
690•lizhang•8h ago•141 comments

Apple reveals new AI architecture built around Google Gemini models

https://www.macrumors.com/2026/06/08/apple-reveals-new-ai-architecture/
282•unclefuzzy•3h ago•253 comments

Why are cells small?

https://burrito.bio/essays/what-limits-a-cells-size
90•mailyk•3h ago•38 comments

EU-banned pesticides found in rice, tea and spices

https://www.foodwatch.org/en/eu-banned-pesticides-found-in-rice-tea-and-spices
186•john-titor•6h ago•66 comments

Apple Core AI Framework

https://developer.apple.com/documentation/coreai/
96•hmokiguess•3h ago•8 comments

xAI is looking more like a datacentre REIT than a frontier lab

https://martinalderson.com/posts/xais-new-rental-business/
338•martinald•7h ago•253 comments

Anti-social: It's fads, not friends, which now dominate social media feeds

https://www.bbc.com/worklife/article/20260520-how-social-media-ceased-to-be-social
500•1vuio0pswjnm7•10h ago•374 comments

Show HN: Gitdot – a better GitHub. Open-source, written in Rust

https://gitdot.io/
84•baepaul•5h ago•74 comments

Ask HN: What are tools you have made for yourself since the advent of AI?

93•aryamaan•4h ago•152 comments

FrontierCode

https://cognition.ai/blog/frontier-code
46•streamer45•2h ago•12 comments

Launch HN: Intuned (YC S22) – Build and run reliable browser automations as code

https://intunedhq.com
96•fkilaiwi•9h ago•44 comments

Doing Something That's Never Been Done Before

https://talglobus.com/p/doing-something-thats-never-been-done-before/
8•surprisetalk•3d ago•0 comments

I'm building a parallel internet, and it's called The Thinnernet

https://inavoyage.blogspot.com/2026/06/im-building-parallel-internet-and-its.html
37•initramfs•3h ago•31 comments

Fooling Go's X.509 Certificate Verification

https://danielmangum.com/posts/fooling-go-x509-certificate-verification/
22•hasheddan•2d ago•11 comments

Switzerland wil have a referendum to cap population at 10M

https://www.admin.ch/en/sustainability-initiative
188•napolux•3h ago•396 comments

AI is slowing down

https://www.wheresyoured.at/ai-is-slowing-down/
312•crescit_eundo•6h ago•346 comments

Stop the Apple Music app from launching

https://lowtechguys.com/musicdecoy/
537•bobbiechen•5h ago•215 comments

OCaml Onboarding: Introduction to the Dune build system

https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune/
135•andrewstetsenko•4d ago•16 comments

120k Lines of Rust: Inside the Nosdesk Backend

https://kyle.au/blog/nosdesk-backend-rust
28•kylephillipsau•2d ago•1 comments

Massachusetts bans sale of precise location data in new privacy rights bill

https://techcrunch.com/2026/06/08/massachusetts-votes-to-pass-new-privacy-rights-bill-that-bans-s...
208•01-_-•5h ago•34 comments

1worldflag: A blue dot on a transparent background

https://1worldflag.com/
154•davidbarker•21h ago•130 comments

The Cypherpunk Library

https://www.cypherpunkbooks.com
345•yu3zhou4•14h ago•94 comments

How much of Thermo Fisher's antibody data has been manipulated?

https://reeserichardson.blog/2026/05/28/how-much-of-thermo-fishers-antibody-data-has-been-manipul...
383•mhrmsn•15h ago•85 comments

Using XDG-Compliant Config Files (2024)

https://wxwidgets.org/blog/2024/01/using-xdg-compliant-config-files/
28•ankitg12•4d ago•5 comments

Show HN: Courtside – TUI for NBA Games

https://github.com/NolanFogarty/courtside
10•nolanfogarty•2d ago•3 comments

Apple WWDC 2026

https://www.apple.com/apple-events/event-stream/
225•nextstep•5h ago•435 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.