frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

StreetComplete: Fixing OpenStreetMap, one tiny quest at a time

https://streetcomplete.app/
539•kls0e•7h ago•125 comments

AI Meets Cryptography 1: What AI Found in Cloudflare's Circl

https://blog.zksecurity.xyz/posts/circl-bugs/
28•duha•1h ago•1 comments

Local, CPU-Friendly, High-Quality TTS (Text-to-Speech) with Kokoro

https://ariya.io/2026/03/local-cpu-friendly-high-quality-tts-text-to-speech-with-kokoro/
49•speckx•1h ago•12 comments

Chat Control 1.0 and 2.0 Explained

https://fightchatcontrol.eu/chat-control-overview
213•gasull•5h ago•61 comments

30papers.com – Ilya's 30 essential ML papers, in a beginner friendly format

https://30papers.com/
194•notmcrowley•4h ago•33 comments

l: A new runtime for k and q

https://lv1.sh/
40•skruger•1h ago•21 comments

A better way to tie gym shorts (or any drawstring) [video]

https://www.youtube.com/watch?v=3R0Lp86GEBk
372•surprisetalk•7h ago•140 comments

Jim's TrueType QR Code Font

https://github.com/jimparis/qr-font
73•arantius•3h ago•6 comments

Notes on Software Quality

https://anthonyhobday.com/blog/20260410
22•speckx•1h ago•6 comments

Fixing analog audio on the $2.58 HDMI-to-VGA adapter

https://nyanpasu64.gitlab.io/blog/hdmi-vga-dac-audio/
35•zdw•2d ago•10 comments

Show HN: Davit, a Apple Containers UI

https://davit.app
19•xinit•1h ago•1 comments

Why we built yet another Postgres connection pooler

https://pgdog.dev/blog/why-yet-another-connection-pooler
72•levkk•4h ago•9 comments

Show HN: Docx-CLI: agents read/edit Word docs using 1/2 the time and tokens

https://github.com/kklimuk/docx-cli
18•kirillklimuk•1h ago•7 comments

Astro 7.0

https://astro.build/blog/astro-7/
101•saikatsg•1h ago•23 comments

Show HN: Rowboat – Open-source, local-first alternative to Claude Desktop

https://github.com/rowboatlabs/rowboat
11•segmenta•3h ago•2 comments

MacSurf 1.68 – NetSurf on OS 9 Released

https://github.com/mplsllc/macsurf/releases/tag/v1.86
48•mplsllc•3h ago•8 comments

Chat Control passed first round in EU Parliament

https://www.heise.de/en/news/Showdown-in-Strasbourg-The-unexpected-return-of-Chat-Control-1-0-113...
416•miroljub•4h ago•187 comments

Automating AI Away

https://replicated.live/blog/away
57•gritzko•4h ago•30 comments

China sentences official to death for taking $325M in bribes

https://www.bbc.com/news/articles/c33y0n1v1xjo
173•randycupertino•3h ago•193 comments

Herdr: One terminal to rule them all

https://herdr.dev/
5•handfuloflight•5d ago•0 comments

The revenge of the philosophy majors

https://www.nytimes.com/2026/07/05/business/philosophy-majors-ai-jobs.html
96•benbreen•5h ago•147 comments

9 Mothers (YC P26) Is Hiring in Austin, TX

https://9mothers.com/careers
1•ukd1•8h ago

Microsoft fire idTech team at Id software

https://gamefromscratch.com/microsoft-fire-idtech-team-at-id-software/
382•bauc•4h ago•381 comments

Computational Balloon Twisting: The Theory of Balloon Polyhedra [pdf]

https://cccg.ca/proceedings/2008/paper34full.pdf
15•luu•5d ago•0 comments

Show HN: Halo – open-source, tamper-evident runtime evidence for AI agents

https://github.com/bkuan001/halo-record
7•brian_kuan•5h ago•1 comments

98% isn't much

https://whynothugo.nl/journal/2026/07/03/98-isnt-very-much/
407•speckx•7h ago•265 comments

Why skilled workers come to Germany and then leave again

https://www.dw.com/en/germany-migrants-skilled-workers-integration-labor-market-bureaucracy-langu...
84•theanonymousone•9h ago•184 comments

Amazon without the knockoffs

https://knockoff.shopping/
262•plurby•4h ago•182 comments

GitHub Freno: cooperative, highly available throttler service

https://github.com/github/freno
25•nateb2022•1d ago•0 comments

Reducing Doom Loops with Final Token Preference Optimization

https://www.liquid.ai/blog/antidoom
18•dataminer•3h ago•4 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.