frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Einstein's relativity rules chemical bonds in heavy elements, new research shows

https://www.brown.edu/news/2026-07-09/chemical-bonds-relativity
71•hhs•2h ago•34 comments

Apple sues OpenAI, accuses ex-employees of stealing trade secrets

https://9to5mac.com/2026/07/10/apple-sues-openai-trade-secret-theft/
469•stock_toaster•4h ago•229 comments

QuadRF can spot drones and see WiFi through my wall

https://www.jeffgeerling.com/blog/2026/quadrf-can-spot-drones-and-see-wifi-through-my-wall/
447•speckx•9h ago•170 comments

Count Binface, Nigel Farage's space-warrior foe

https://www.economist.com/the-world-in-brief/2026/07/11/b240d63f-2768-43dd-89b6-2bdceb6df745
39•tagawa•1h ago•11 comments

FreeCAD in the Browser

https://magik.net/freecad/
6•cui•36m ago•4 comments

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
341•scrlk•6h ago•273 comments

The tech of 'Terminator 2' – an oral history (2017)

https://vfxblog.com/2017/08/23/the-tech-of-terminator-2-an-oral-history/
160•markus_zhang•8h ago•66 comments

Combustion engine web-based simulator

https://combustionlab.net
117•mytuny•5d ago•51 comments

New York City to to ban deceptive subscription practices

https://www.theguardian.com/us-news/2026/jul/10/new-york-city-deceptive-subscriptions-ban
405•randycupertino•6h ago•210 comments

SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth

https://www.zdnet.com/home-and-office/networking/spacex-wants-to-launch-100000-more-starlink-sate...
62•CrankyBear•7h ago•201 comments

Preemption is GC for memory reordering (2019)

https://pvk.ca/Blog/2019/01/09/preemption-is-gc-for-memory-reordering/
10•mpweiher•2d ago•0 comments

Inference Optimization for MiMo v2.5: Pushing Hybrid SWA Efficiency to the Limit

https://mimo.xiaomi.com/blog/mimo-v2-5-inference
37•theanonymousone•3d ago•13 comments

An iroh powered smart fan

https://www.iroh.computer/blog/an-iroh-powered-smart-fan
5•surprisetalk•3d ago•0 comments

Moss (YC F25) Is Hiring

https://www.ycombinator.com/companies/moss/jobs/52LnqLQ-software-engineer-sdk
1•srimalireddi•4h ago

Good Tools Are Invisible

https://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/
356•theanonymousone•14h ago•165 comments

The iconic blue IKEA FRAKTA bag comes with a free lifetime warranty

https://ikeamuseum.com/en/explore/the-story-of-ikea/beloved-bag/
4•teleforce•41m ago•1 comments

AI 2040: Plan A

https://ai-2040.com/
139•kschaul•1d ago•130 comments

Late Bronze Age Collapse

https://acoup.blog/2026/01/30/collections-the-late-bronze-age-collapse-a-very-brief-introduction/
317•dmonay•13h ago•224 comments

Computation as a universal and fundamental concept

https://ergo.org/courses/computation-as-a-universal-and-fundamental-concept
81•simonpure•9h ago•70 comments

War Atlas: An interactive cartography of every named war in human history

https://waratlas.org
111•NaOH•7h ago•56 comments

Alternate clock designs and time systems

https://serialc.github.io/altClocks/
93•ethanpil•4d ago•56 comments

After 7 years in production, Scarf has reluctantly moved away from Haskell

https://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-f...
75•aviaviavi•11h ago•84 comments

Lost city discovered beneath Egypt's desert with ancient church

https://www.dailymail.com/sciencetech/article-15956159/Incredible-lost-city-discovered-Egypts-des...
152•Bender•4d ago•72 comments

Show HN: We beat Cloudflare's bot detection (open-source stealth browser)

https://tilion.dev/blog/cloudflare-blocks-agents
4•armanluthra_•54m ago•0 comments

Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine

https://github.com/dicroce/wyrm_math
49•dicroce•1d ago•7 comments

In Emacs, everything looks like a service

http://yummymelon.com/devnull/in-emacs-everything-looks-like-a-service.html
230•kickingvegas•16h ago•99 comments

Ask HN: Are systems ready for the first negative leap second?

53•Asmod4n•4d ago•58 comments

SF Farmers Market allows laundering food stamps for drug purchases

https://thevoicesf.org/snap-to-cash-how-food-assistance-vouchers-were-traded-for-cash-at-the-hear...
5•AcesoUnderGlass•59m ago•1 comments

A love letter to flashcards

https://lesleylai.info/en/flashcards/
123•surprisetalk•9h ago•80 comments

Snails' teeth beats spider silk as nature's strongest material (2015)

https://www.smithsonianmag.com/smart-news/spider-silk-loses-top-spot-natures-strongest-material-s...
154•simonebrunozzi•8h ago•125 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.