frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

China’s open-weights AI strategy is winning

https://werd.io/american-ai-is-locked-down-and-proprietary-its-losing/
945•benwerd•10h ago•765 comments

Who's Afraid of Chinese Models?

https://stratechery.com/2026/whos-afraid-of-chinese-models/
163•mfiguiere•13h ago•121 comments

Kimi Work

https://www.kimi.com/products/kimi-work
361•ms7892•7h ago•170 comments

Human mathematicians are being outcounterexampled

https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
177•artninja1988•5h ago•62 comments

Jelly UI: Soft-body physics for native HTML form controls

https://jelly-ui.com/
313•baldvinmar•7h ago•128 comments

Hacker wipes Romania's land registry database

https://news.risky.biz/risky-bulletin-hacker-wipes-romanias-entire-land-registry-database/
560•speckx•11h ago•312 comments

Nativ: Run frontier open models locally on your Mac

https://blaizzy.github.io/nativ/
159•aratahikaru5•6h ago•66 comments

I wrote an bash enumerator because I was sick of xargs

https://numerlab.org/2025/07/20/bashumerate-enumerator/
41•wallach-game•4h ago•39 comments

Airport Simulator

https://airport.apunen.com/
679•apunen•13h ago•136 comments

Show HN: Immersive Gaussian Splat tour of grace cathedral, San Francisco

https://vincentwoo.com/3d/grace_cathedral/
53•akanet•4h ago•7 comments

Agent swarms and the new model economics

https://cursor.com/blog/agent-swarm-model-economics
99•jlaneve•6h ago•43 comments

Launch HN: Bloomy (YC S26) – AI-powered mastery learning for K-12

55•alexsouthmayd•7h ago•73 comments

LEDs’ potential to save our night skies

https://spectrum.ieee.org/led-light-pollution
203•defrost•11h ago•155 comments

How we measured AI writing across arXiv, and where the measurement breaks

https://unslop.run/blog/measuring-ai-writing-on-arxiv
190•dopamine_daddy•7h ago•138 comments

You only need the frontier model for one single edit

https://stencil.so/blog/prewalk
60•jxmorris12•5d ago•14 comments

Corners Don't Look Like That: Regarding Screenspace Ambient Occlusion (2012)

https://nothings.org/gamedev/ssao/
144•firephox•9h ago•62 comments

The Power of Awareness: Overcoming Surveillance Capitalism

https://www.scottrlarson.com/presentations/overcoming-surveillance-capitalism-with-awareness/
42•trinsic2•4h ago•5 comments

Perfection is not over-engineering

https://var0.xyz/posts/perfection-is-not-over-engineering.html
187•var0xyz•10h ago•85 comments

My two year old taught me constraint solving

https://thecomputersciencebook.com/posts/how-my-2yo-taught-me-constraint-solving/
20•bambataa•1w ago•9 comments

Shinjuku Station in 3D

https://satoshi7190.github.io/Shinjuku-indoor-threejs-demo/
140•Gecko4072•10h ago•27 comments

85.3 GFlops: Optimizing FP32 Matrix Multiplication on a Single AMD Zen 3 Core

https://github.com/houslast3/85.30-GFLOPS-Single-Core-FP32-Matrix-Multiplication-on-AMD-Zen-3
39•houslast•3d ago•15 comments

The Psychology of Software Teams

https://www.routledge.com/The-Psychology-of-Software-Teams/Hicks/p/book/9781032963389
7•dcre•5d ago•2 comments

Exploit brokers pay $500k for WordPress RCEs. I found one with GPT5.6 and $25

https://slcyber.io/research-center/exploit-brokers-pay-500000-for-a-wordpress-rce-i-found-one-wit...
381•infosecau•16h ago•209 comments

Hyprland 0.55 announced the switch to Lua for its config files

https://hypr.land/news/update55/
121•matesz•6h ago•103 comments

Show HN: OTP Inspired actor supervisor based full stack templates

https://shipstacks.tech
8•annrap1d•10h ago•1 comments

The drivers behind software delivery inefficiency

https://dl.acm.org/doi/10.1145/3800646.3800650
54•qaprof•6h ago•28 comments

Kimi K3, Qwen 3.8, and Anthropic's (Potential) Unravelling

https://www.emergingtrajectories.com/lh/frontier-lab-economics/
271•cl42•9h ago•286 comments

The Voice of Google

https://www.newyorker.com/culture/the-weekend-essay/the-voice-of-google
163•littlexsparkee•9h ago•81 comments

Cross sectioning insects in an electron microscope with a femtosecond laser [video]

https://www.youtube.com/watch?v=NwhVJ7cv9B4
74•surprisetalk•8h ago•4 comments

Claude Fable produced a counterexample to the Jacobian Conjecture

https://xcancel.com/__alpoge__/status/2079028340955197566
652•loubbrad•21h ago•419 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.