frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

AWS: Inaccurate Estimated Billing Data – $1.7 billion

761•nprateem•9h ago•430 comments

First atmosphere found on Earth-like planet in habitable zone of distant star

https://www.bbc.com/news/articles/cy4kdd1e0ejo
218•neversaydie•5h ago•152 comments

Kimi K3, and what we can still learn from the pelican benchmark

https://simonwillison.net/2026/Jul/16/kimi-k3/
137•droidjj•4h ago•81 comments

Mozilla: The state of open source AI

https://stateofopensource.ai/
257•rellem•4h ago•175 comments

Frame – the first Linux Assembly X server

https://isene.org/2026/07/Frame.html
64•guybedo•3h ago•38 comments

A Road to Lisp: Which Lisp

https://scotto.me/blog/2026-07-17-which-lisp/
118•silcoon•5h ago•76 comments

Three ways people respond to a problem (other than solving it)

https://improvesomething.today/responses-to-problems/
118•surprisetalk•5h ago•54 comments

Learning a few things about running SQLite

https://jvns.ca/blog/2026/07/17/learning-about-running-sqlite/
18•surprisetalk•1h ago•0 comments

Show HN: Watch bots interact with an SSH honeypot in real time

https://honeypotlive.cc/
102•tusksm•5h ago•38 comments

AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM

https://blog.zksecurity.xyz/posts/openvm-bugs/
59•duha•4h ago•0 comments

Designing emoji for the way we communicate today

https://blog.google/products-and-platforms/platforms/android/world-emoji-day-noto-3d/
26•pentagrama•2h ago•23 comments

Frank Lloyd Wright's First Home

https://www.architecturaldigest.com/story/frank-lloyd-wright-home-and-studio-everything-you-need-...
30•NaOH•4d ago•17 comments

Show HN: Explore the Workspaces of Modern Creators

https://workspaces.xyz/
35•ryangilbert•3h ago•28 comments

More Bounce to the Ounce

https://mceglowski.substack.com/p/more-bounce-to-the-ounce
66•pavel_lishin•5h ago•18 comments

EEG shows brain can simultaneous encode two speech streams

https://journals.plos.org/plosbiology/article?id=10.1371/journal.pbio.3003876
230•giuliomagnifico•13h ago•149 comments

Manufact (YC S25) Is Hiring a Senior infra engineer to build the MCP cloud

https://www.ycombinator.com/companies/manufact/jobs/Dh6PYP5-senior-infrastructure-engineer
1•luigipederzani•5h ago

Apple targets dozens of OpenAI employees with legal letters

https://www.ft.com/content/1b8c9d52-88a9-426b-ba47-f1811f859166
299•merksittich•7h ago•241 comments

Pebble Mega Update – July 2026

https://repebble.com/blog/pebble-mega-update-july-2026
236•crazysaem•15h ago•153 comments

Faster binary search: from compiled code to mechanical sympathy

https://pythonspeed.com/articles/branchless-binary-search/
41•enz•5d ago•11 comments

Short sellers notch $8.7B profit as SpaceX shares dip to IPO price

https://www.reuters.com/business/media-telecom/short-sellers-rack-up-87-bln-profit-spacex-slips-b...
78•1vuio0pswjnm7•3h ago•45 comments

Latent Space as a New Medium

https://kevinkelly.substack.com/p/latent-space-as-a-new-medium
51•thm•4d ago•18 comments

Microsoft Comic Chat is now open source

https://opensource.microsoft.com/blog/2026/07/16/microsoft-comic-chat-is-now-open-source/
779•jervant•1d ago•167 comments

Homomorphically encrypted CIFAR-10 inference in 200ms

https://sofar.belfortlabs.cloud/
11•j2kun•2h ago•6 comments

Camera Chase Vehicle

https://transistor-man.com/gimbal_camera_rover.html
160•geerlingguy•1w ago•18 comments

Decoy Font

https://www.mixfont.com/experiments/decoy-font
668•ray__•1d ago•149 comments

Kimi K3: Open Frontier Intelligence

https://www.kimi.com/blog/kimi-k3
1948•vincent_s•1d ago•1132 comments

VulnHunter: Capital One's agentic AI code security tool

https://www.capitalone.com/tech/open-source/announcing-vulnhunter/
43•medina•6h ago•27 comments

Show HN: Simulator for a custom 8-bit discreet logic computer

https://msap2.mehran.dk
13•mehrant•3d ago•3 comments

How Has Roman Concrete Lasted for Millennia? 1,900-Year-Old Latrine Offers Clues

https://www.smithsonianmag.com/smart-news/how-has-roman-concrete-lasted-for-millennia-a-1900-year...
246•divbzero•15h ago•192 comments

PennyLane is an open-source quantum software platform for quantum

https://github.com/PennyLaneAI/pennylane
35•donutloop•5h ago•5 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.