frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

DeepSeek V4 Pro 0813

https://openrouter.ai/deepseek/deepseek-v4-pro-0813
807•explosion-s•12h ago•315 comments

Delta

https://zed.dev/blog/introducing-delta
455•khy•9h ago•152 comments

Tailscale Traces Database Corruption to 16y/o SQLite WAL-Reset Bug

https://tailscale.com/blog/sqlite-wal-reset-bug
875•ropbear•13h ago•168 comments

Qwen3.8-2.4T

https://huggingface.co/Qwen/Qwen3.8-2.4T-A95B
534•Philpax•13h ago•117 comments

Principia Mathematica is modern and insightful

https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html
84•matt_d•4h ago•35 comments

Happy 45th Birthday to the IBM PC and Model F/XT

https://sharktastica.co.uk/articles/pc-fxt-45
45•tart-lemonade•4h ago•15 comments

Antiqua–Fraktur Dispute

https://en.wikipedia.org/wiki/Antiqua%E2%80%93Fraktur_dispute
12•buzzy_hacker•2d ago•1 comments

Build Wide, Ship Narrow

https://adapt.com/blog/build-wide-ship-narrow
53•ashumz•4h ago•7 comments

2026 Eclipse Webcams

https://jonty.github.io/2026_eclipse_webcams/
461•zoenolan•16h ago•124 comments

Tim King, AmigaDOS developer, has died

https://amiga-news.de/en/news/AN-2026-08-00070-EN.html
246•doener•14h ago•30 comments

Why Target Common Lisp for Code Generation?

http://funcall.blogspot.com/2026/08/why-vibe-code-in-lisp.html
53•oumua_don17•19h ago•47 comments

Probabilistic Estimation for Localizing a Radioactive Source in an Urban Setting

https://repository.lib.ncsu.edu/items/451b001d-e63a-4968-866d-3fb3a599b1e7
15•toomuchtodo•4d ago•14 comments

HTML over WebSockets: real-time SPAs with barely any JavaScript

https://en.andros.dev/blog/ef4968f5/html-over-websockets-real-time-spas-with-barely-any-javascript/
161•redbell•11h ago•112 comments

Grok 4.6

https://x.ai/news/grok-4-6
454•iLuddite•12h ago•434 comments

uBlock Origin Is Giving Up the Fight to Keep Ads Off Facebook

https://digitalescapetools.com/2026/08/ublock-origin-stops-chasing-facebook-ads.html
349•Markoff•16h ago•468 comments

Launch HN: Discovered Materials (YC P26) – AI agents to discover new materials

https://discoveredmaterials.com/research/
124•advaith08•20h ago•28 comments

Why tiny JPEGs look different in Chrome

https://guillaumetech.github.io/posts/jpg-scaling-chrome/
273•gutechh•14h ago•61 comments

Show HN: Ballet – Workflow automation that writes integrations against any API

https://www.ballet.dev/
20•danielkimber•4h ago•3 comments

Thanks to social media, canned sardines are a scarcity on the supermarket shelf

https://corneroffifth.studio/why-cant-you-find-canned-sardines-right-now/
71•carabiner•6h ago•91 comments

Someone is running mass vulnerability scans, spoofing AI bots like ClaudeBot

https://knownagents.com/insights
246•gavinhking•14h ago•186 comments

Pixel Watch 5

https://blog.google/products-and-platforms/devices/pixel/pixel-watch-5/
116•ortusdux•12h ago•225 comments

Breaking the WAL

https://antithesis.com/blog/2026/wal-reset-bug/
76•wwilson•8h ago•38 comments

Shade Map

https://shademap.app
162•fredley•15h ago•43 comments

Process as a Proxy for Motivation

https://bengodfrey.dev/blog/process/
34•sudo-bendg•6h ago•12 comments

A Tale of Dynamic Programming (2022)

https://iagoleal.com/posts/dynamic-programming/
77•Brajeshwar•3d ago•6 comments

Lovable raises $400M Series C

https://lovable.dev/blog/series-c
105•thoughtpeddler•11h ago•104 comments

AI is removing the middle class of software engineering?

https://blog.florianherrengt.com/ai-removing-middle-class-software-engineering.html
779•florianherrengt•14h ago•723 comments

Reflex (YC W23) Is hiring Growth and GTM Roles

https://www.ycombinator.com/companies/reflex/jobs/71x5GFb-growth-engineer
1•apetuskey•11h ago

What sort of maths are LLMs good at?

https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at/
242•ColinWright•18h ago•137 comments

Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation

https://woxi.ad-si.com
265•adius•18h ago•40 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.