frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

OpenLogi

https://openlogi.org/en
915•amatheus•10h ago•244 comments

Air Theremin – a browser theremin you play by waving at your webcam

https://theremin.bizibah.com/
56•gurov•1h ago•26 comments

GrapheneOS in 2027 available on high-end Motorola phones

https://grapheneos.social/@GrapheneOS/117078064184215730
11•exceptione•19m ago•2 comments

Cerebras CS-4

https://www.cerebras.ai/cs4
326•sunils34•11h ago•208 comments

Being ambitious and being a dad

https://nicholascharriere.com/blog/being-ambitious-and-being-a-dad/
593•nichochar•2d ago•396 comments

Supersonic Trebuchet [video]

https://www.youtube.com/watch?v=Co57SfcT-h0
139•CharlesW•4d ago•58 comments

Rings forged from meteorites may have been fashionable among ancient Greek elite

https://phys.org/news/2026-08-forged-meteorites-fashionable-ancient-greek.html
16•pseudolus•4d ago•4 comments

Palomar: A registry of Lean verified mathematics

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
119•matt_d•9h ago•19 comments

A 3D fruit fly on macOS desktop powered by the real FlyWire connectome

https://github.com/DenisSergeevitch/desktop-fly
307•phoenix120•14h ago•117 comments

λλ: A Programming Language for Silicon Photonics

https://dl.acm.org/doi/10.1145/3789240.3829151
40•matt_d•5h ago•10 comments

Activation Energy is a good model for a lot of things

https://homosabiens.substack.com/p/activation-energy-is-a-good-model
30•surprisetalk•4d ago•5 comments

How does IKEA come up with names for its products?

https://www.ikea.com/se/en/customer-service/knowledge/articles/6f564c4d-2ccc-46de-b643-545a3948dc...
377•NaOH•17h ago•261 comments

Scientists stunned by children's lung recovery in ultra low emission zone

https://www.bbc.com/news/articles/c1l1r1zne1ro
303•dabinat•11h ago•240 comments

Solo – a .so loader for static Linux binaries

https://github.com/pg83/solo
154•zX41ZdbW•12h ago•174 comments

Win-V combo from Windows on Ubuntu

https://leo98ml.github.io/win-v/
5•havaianaslife•6d ago•1 comments

The Mojo language (by Modular, now Qualcomm) is now open-source

https://www.modular.com/blog/modcon-announcements
88•flaburgan•4h ago•32 comments

Show HN: Automatically detect and patch walking-dead states in Sierra games

https://github.com/katiahayati/lucasartsifier/
89•wkfauna•10h ago•35 comments

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck

https://www.koh-antique.com/client/tangwreck/tangwreck.html
44•teleforce•10h ago•3 comments

A 25-year-old video patent just expired, ending a legal headache for Linux

https://www.xda-developers.com/25-year-old-brazilian-video-patent-expired-legal-headache-linux/
221•theanonymousone•3d ago•95 comments

Finger: the 1971 social network that never died

https://en.andros.dev/blog/54572bc7/finger-the-1971-social-network-that-never-died/
234•andros•1d ago•71 comments

Claude writing a macOS driver for my obscure HP printer built only for Windows

https://twitter.com/kuberwastaken/status/2089377982536388964
225•porridgeraisin•23h ago•171 comments

Turbovec – Google's TurboQuant for vector search in Rust

https://github.com/RyanCodrai/turbovec
262•fittingopposite•17h ago•32 comments

Meta's blockbuster trial draws parallels to big tobacco

https://www.economist.com/business/2026/08/18/metas-blockbuster-trial-draws-parallels-to-big-tobacco
261•newsomix9xl•9h ago•207 comments

The Amazon tax

https://seths.blog/2026/08/the-amazon-tax/
1218•herbertl•22h ago•638 comments

And then the men with guns tell you to do it anyway

https://shkspr.mobi/blog/2026/08/and-then-the-men-with-guns-tell-you-to-do-it-anyway/
339•_djo_•18h ago•243 comments

Looking for Missed Alarm Bugs in a Formal Verification Tool

https://blog.regehr.org/archives/2124
19•luu•5d ago•0 comments

The Two Factions of C++ (2024)

https://herecomesthemoon.net/2024/11/two-factions-of-cpp/
49•signa11•3d ago•44 comments

AI usage patterns in software teams

https://linear.app/data
154•giuliomagnifico•13h ago•103 comments

CUDA Shared Memory Swizzling

https://leimao.github.io/blog/CUDA-Shared-Memory-Swizzling/
54•jxmorris12•5d ago•2 comments

Apple announces changes for apps in the European Union

https://www.apple.com/newsroom/2026/08/apple-announces-changes-for-apps-in-the-european-union/
223•newusertoday•19h ago•308 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.