frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

My security camera shipped a GitHub admin token in its login page

https://hhh.hn/hanwha-github-token/
318•hhh•5h ago•120 comments

India's first privately-developed rocket reaches orbit on dramatic debut launch

https://arstechnica.com/space/2026/07/indias-first-privately-developed-rocket-reaches-orbit-on-dr...
268•sohkamyung•4d ago•71 comments

Half-Life 2 running natively on HaikuOS

https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-driver-for-turing-gpus/16520?page=18
122•m0do1•4h ago•14 comments

The front end framework for correctness: built on Effect, architected like Elm

https://foldkit.dev/
33•plucafs•1h ago•19 comments

As of JDK 27, Oracle engineers will thus stop maintaining the macOS/x64 port

https://openjdk.org/jeps/541
9•pmg1991•8m ago•3 comments

Flux 3 X Mimic: The Next Generation of Video-Action Models

https://bfl.ai/blog/flux-3-mimic
267•kensai•7h ago•43 comments

Apple won't let me show my app

https://wisedayplanner.com/blog/apple-wont-let-me-show-my-app/
6•codersfocus•20m ago•0 comments

The rise and fall of language diversity through the Holocene

https://www.science.org/doi/10.1126/science.adx4343
5•delichon•20m ago•0 comments

It's getting harder to focus every day

https://glyphack.com/attention/
529•peykar•8h ago•297 comments

Government orders GitHub to remove Bluetooth-based chat app Bitchat: Jack Dorsey

https://www.thehindu.com/news/national/government-orders-github-to-remove-bluetooth-based-chat-ap...
165•rootkea•2h ago•97 comments

Online Historical Encyclopaedia of Programming Languages

https://hopl.info/
5•gregsadetsky•13m ago•0 comments

Plants vs. Zombies for PlayStation 2

https://github.com/OptiJuegos/pvz-ps2
33•Jotalea•3h ago•0 comments

Flux 3

https://bfl.ai/blog/flux-3
505•ThouYS•10h ago•121 comments

3GPP Version 19

https://www.3gpp.org/specifications-technologies/releases/release-19
35•mlhpdx•2h ago•9 comments

Claude Opus 5

https://www.anthropic.com/claude-opus-5-system-card
3•alvis•3m ago•0 comments

WebGPU Unleashed: A Practical Tutorial

https://shi-yan.github.io/webgpuunleashed/
22•ibobev•2h ago•1 comments

Codeberg Divides

https://lucumr.pocoo.org/2026/7/24/codeberg-divides/
35•ashdnazg•1h ago•21 comments

Micro-SaaS Is Dead. Service With A Software Replaces It

https://adriengonin.com/writing/service-with-a-software/
4•Adrig•33m ago•1 comments

Must have tool for agentic workspace and Mac users

https://github.com/rohankc69/clickit
3•rohankc_01•15m ago•0 comments

Em dashes are fucking amazing

https://psychotechnology.substack.com/p/em-dashes-are-fucking-amazing
231•surprisetalk•4h ago•210 comments

Co-Opting Linux Processes for High-Performance Network Simulation (2022)

https://www.usenix.org/conference/atc22/presentation/jansen
15•teleforce•2h ago•0 comments

Making Xen's dom0 I/O path NUMA aware

https://edera.dev/stories/numa-part-4-closing-the-xen-dom0-i-o-gap
8•virtio_vixen•2d ago•0 comments

My Emacs Configuration (Dired)

https://eugene-andrienko.com/2026-07-05-my-emacs-configuration-dired.html
18•meysamazad•3h ago•2 comments

Proving a Human Wrote Something

https://gjtorikian.online/posts/proving-a-human-wrote-something/
5•gjtorikian•27m ago•3 comments

Unitree As2-W

https://www.unitree.com/As2-W/
5•MehrdadKhnzd•28m ago•1 comments

Be skeptical of OpenAI's rogue hacker agent story

https://www.theguardian.com/technology/2026/jul/24/openai-rogue-hacker
20•rwmj•27m ago•5 comments

Claude Cookbook

https://platform.claude.com/cookbook/
256•saikatsg•11h ago•130 comments

Writing a Debugger from Scratch

https://www.timdbg.com/posts/writing-a-debugger-from-scratch-part-1/
23•ibobev•2h ago•4 comments

Buz – A fork of Bun using modern Zig, with sub-1s incremental builds

https://ziggit.dev/t/buz-a-drop-in-replacement-for-bun-using-modern-zig-with-sub-1s-incremental-b...
182•kristoff_it•7h ago•133 comments

The IBM PC, Part 1: Arrival

https://technicshistory.com/2026/07/24/the-ibm-pc-part-1-arrival/
57•cfmcdonald•5h ago•19 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.