news newest ask show jobs

Open Source @Github

fp.

Sharing AI progress in mathematics

https://openai.com/index/sharing-ai-progress-in-mathematics/

512•OfficialTurkey•4h ago•430 comments

Strands Decider 2B: a small, open-source, decision model

https://strandsagents.com/blog/introducing-strands-decider/

34•gmays•1h ago•4 comments

Mistral Large 4

https://mistral.ai/news/mistral-large-4/\

1620•Philpax•13h ago•972 comments

Decisions API is in public beta

https://developers.openai.com/api/docs/guides/decisions

172•chiefstorm•6h ago•72 comments

The cost of lies: A Mineserver story

https://www.jeremyreimer.com/rockets-item.lsp?f=true&p=272

20•luu•2d ago•4 comments

Penguin Mail – open-source Rust email client for Linux with AI

https://penguin-mail.com/

88•kavourias•5h ago•36 comments

EmbeddingGemma 2: An open, lightweight multimodal embedding model

https://blog.google/innovation-and-ai/technology/developers-tools/embeddinggemma-2/

239•ilreb•11h ago•30 comments

AnyPS5: Port PS5 binaries to PC without emulation (87% system libraries mapped)

https://github.com/boykopovar/AnyPS5

127•Fe2O3•3h ago•98 comments

Claude Code’s suggested message feature: I think the real customer is the model

https://www.zohaib.cc/blog/smartest-claude-code-feature

120•zed_labs_dev•9h ago•62 comments

OpenTPU – An open-source AI accelerator, developed by AI

https://github.com/FeSens/openTPU

247•fsbonetto•10h ago•304 comments

LLMs may have helped my RSI

https://vaughanhilts.me/2026/10/05/llms-immensely-helped-my-rsi.html

50•vaughands•1d ago•28 comments

State of Devs 2026

https://2026.stateofdevs.com/en-US/

86•sgdesign•3h ago•26 comments

Jev-Driven SRE Diagnosis: What Worked and What Failed

https://www.sregym.com/blog/jev-driven-sre-diagnosis

8•matt_d•1h ago•1 comments

Utah to let AI examine patients and prescribe medication without human oversight

https://www.techspot.com/news/114111-utah-become-first-state-ai-examine-patients-prescribe.html

91•healsdata•10h ago•104 comments

Paramount Skydance has completed its $111B merger with Warner Bros. Discovery

https://arstechnica.com/tech-policy/2026/10/paramount-completes-111b-warner-merger-creating-skyda...

189•Mgtyalx•6h ago•312 comments

When random is not actually random enough

https://ersc.io/blog/when-random-isnt-random-enough

35•steveklabnik•7h ago•8 comments

Integer multiplication below n log n

https://github.com/openai/math/tree/main/preprints/Integer-multiplication-below-n-log-n-September...

71•E-Reverance•3h ago•52 comments

What's Earth's dominant species by mass?

https://signoregalilei.com/2026/09/27/whats-earths-dominant-species-by-mass/

166•surprisetalk•14h ago•111 comments

ESP32-C3 Adblock

https://github.com/M-Abozaid/esp32-c3-adblock

9•jayhoon•1h ago•2 comments

How Fast is Python 3.15?

https://blog.miguelgrinberg.com/post/how-fast-is-python-3-15

34•Qem•5h ago•24 comments

UniEvo-VL: Self-Distillation Training for Multimodal Model Self-Improvement

https://arxiv.org/abs/2609.38721

12•gmays•4h ago•3 comments

California closed the Montana license plate loophole

https://www.thedrive.com/news/heres-how-california-closed-the-montana-license-plate-loophole

72•speckx•10h ago•157 comments

Benchmark in Milliseconds

https://matklad.github.io/2026/10/05/benchmark-milliseconds.html

130•surprisetalk•1d ago•38 comments

The Query Transformation Pipeline

https://readyset.io/blog/how-readyset-rewrites-your-sql-inside-the-query-transformation-pipeline

14•gvsg-rs•5h ago•0 comments

Xbox has secured exclusive GTA 6 streaming rights

https://www.theverge.com/report/1005859/microsoft-xbox-gta-6-streaming-rights

6•thm•51m ago•1 comments

Nobel Prize in Physics 2026: Francis Halzen

https://www.nobelprize.org/prizes/physics/2026/

537•solarist•17h ago•184 comments

South Korea says AI agents appear to have been used to hack the country's banks

https://www.reuters.com/world/south-koreas-lee-says-ai-appears-have-been-used-bank-hacks-2026-10-06/

37•thoughtpeddler•3h ago•9 comments

Couple was swatted 55 times in 2 years over a post about Norm Macdonald

https://www.cbc.ca/radio/asithappens/milwaukee-swatting-couple-9.7370118

83•colinprince•1h ago•85 comments

OpenSSH 10.6

https://www.openssh.org/releasenotes.html#10.6

91•torcete•6h ago•22 comments

Show HN: I turned my iPhone and a $20 smart plug into an f-stop timer

https://peterszentkiralyi.eu/darkplug/

73•pentakkusu•13h ago•23 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.