frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

GPT-5.6 used a prompt to close a 30-year gap in convex optimization

https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/
374•mbustamanter•6h ago•219 comments

The Kimi K3 Moment

https://stephen.bochinski.dev/blog/2026/07/18/the-kimi-k3-moment/
38•sbochins•1h ago•22 comments

Gleam Is Now on Tangled

https://tangled.org/gleam.run/gleam
121•nerdypepper•3h ago•69 comments

Goodbye, and Thanks for All the Bikesheds

https://queue.acm.org/detail.cfm?id=3818307
103•Ygg2•1h ago•87 comments

If You Build It, They Will Come

https://www.benlandautaylor.com/p/if-you-build-it-they-will-come
85•barry-cotter•3h ago•30 comments

Elixir-lang.org has a new design

https://elixir-lang.org/
96•bbg2401•3h ago•61 comments

Is this the end of the once-mighty GoPro?

https://amateurphotographer.com/latest/photo-news/going-going-gone-is-this-the-end-of-the-once-mi...
142•aanet•3d ago•245 comments

Our Approach to Bioresilience: Isomorphic Labs and Google DeepMind

https://deepmind.google/blog/our-approach-to-bioresilience/
35•bookofjoe•3h ago•18 comments

Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?

https://charlesazam.com/blog/fable-5-gpt-5-6-sol-goal/
167•couAUIA•8h ago•85 comments

REO Trucks I4 4WD Pickup Truck Starts at $21,500

https://reotrucks.com
46•b_mc2•1h ago•46 comments

What's the deal with all the random weekly quota resets for agents lately?

https://minimaxir.com/2026/07/agent-quota-reset/
4•minimaxir•20m ago•0 comments

Setting up your spare Mac for Claude Code to control, a step-by-step guide

https://ykdojo.github.io/claude-controls-mac/
98•ykev•3h ago•74 comments

Regressive JPEGs

https://maurycyz.com/projects/bad_jpeg/
596•vitaut•16h ago•62 comments

LG monitors silently install software through Windows Update without consent

https://videocardz.com/newz/lg-monitors-silently-install-software-through-windows-update-without-...
804•baranul•9h ago•405 comments

Tech note: making your own V-I plots at home

https://lcamtuf.substack.com/p/tech-note-making-your-own-v-i-plots
45•zdw•23h ago•6 comments

Show HN: Q3Edit – Edit and play Quake 3 maps in the browser

https://q3edit.com
33•drdator•4h ago•8 comments

A Second-Grade Teacher Revived a Beloved Video Game

https://www.nytimes.com/2026/07/13/style/backyard-baseball-video-game-teacher.html
38•danso•5d ago•15 comments

Show HN: Get alerts for good seats at 70mm IMAX showings of The Odyssey

https://imaxxing.io/
14•andrewtorkbaker•1h ago•10 comments

What AI did to stackoverflow in a graph

https://data.stackexchange.com/stackoverflow/query/1953768#graph
301•secretslol•8h ago•348 comments

How GitHub gave every repository a durable owner

https://github.blog/security/application-security/how-github-gave-every-repository-a-durable-owner/
33•ascertain•1w ago•5 comments

GTX 1080s: Testing a Legend

https://www.lttlabs.com/articles/2026/07/15/gtx-1080s-revisiting-legends
50•LabsLucas•2d ago•18 comments

Thanks HN for 15 years of support and helping me find my life's work

766•nicholasjbs•1d ago•97 comments

The Fermi Paradox, Percolation, and Inbreeding

https://reactormag.com/the-fermi-paradox-percolation-and-inbreeding/
18•bryanrasmussen•3h ago•25 comments

The Computer at the Bottom of a Canal

https://negroniventurestudios.com/2026/07/18/the-computer-at-the-bottom-of-a-canal/
117•Kudos•10h ago•25 comments

Reviving a 15-year-old netbook with Arch Linux

https://parksb.github.io/en/article/41.html
197•parksb•4d ago•134 comments

Fake food delivery site for the dopamine

https://old.reddit.com/r/BingeEatingDisorder/comments/1uzr3ui/fake_food_delivery_site_for_the_dop...
61•guerrilla•3h ago•25 comments

EU ban on destruction of unsold clothes and shoes enters into application

https://environment.ec.europa.eu/news/ban-destruction-unsold-clothes-and-shoes-enters-application...
207•robtherobber•5h ago•193 comments

Qubes OS Security in the Public Record

https://arxiv.org/abs/2607.14587
64•sciences44•10h ago•9 comments

British runner Josh Kerr breaks world record for mile which stood for 27 years

https://news.sky.com/story/british-runner-josh-kerr-breaks-world-record-for-mile-which-had-stood-...
71•austinallegro•4h ago•48 comments

No link between acetaminophen use during pregnancy and adverse birth outcomes

https://sph.unc.edu/sph-news/no-link-between-acetaminophen-use-during-pregnancy-and-adverse-birth...
43•geox•3h ago•23 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.