Ihr kennt ja alle meine Lieblingswebseite OEIS, ja?
Also, zu einer gegebenen Folge, sagen wir “A378768: Squares of powerful numbers that are not prime powers” ( https://oeis.org/A378768 ) stellt sich natürlich sofort die Frage:
Was ist das effizienteste Computerprogramm, welches die Folge ausgibt?
Enter LODA. 🧵
=> More informations about this toot | More toots from Eigenraum@podcasts.social
LODA ist eine low-level Programmiersprache (Assembler) die für die Zahlentheorie entwickelt wurde. Sie wird z.B. dazu genutzt möglichst einfache Programme zu finden, die die OEIS Folgen berechnen.
Eine wichtige Eigenschaft ist, dass diese Programme automatisch gefunden können durch eine Technik die “Mining” genannt wird. Dies wird hoch-automatisiert über die BOINC Infrastruktur als distributed computing Projekt abgewickelt:
https://boinc.loda-lang.org/loda/
=> More informations about this toot | More toots from Eigenraum@podcasts.social
Da habe ich jedenfalls mal 2 Wochen mitgemacht und siehe da, 3 OEIS Folgen haben nun bereits ihr effizientestes Programm gefunden durch meine Rechenknechte:
https://github.com/search?q=repo%3Aloda-lang%2Floda-programs%20tomkalei&type=code
Und dass ich es in 2 Wochen mit 2 Rechnern (die nicht immer an sind) auf Platz 40 der aktivsten Teilnehmer bringen konnte zeigt, dass das Projekt zwar aktiv ist, aber immer noch neue Mitstreiter:innen gewinnen kann. ⛏️
=> More informations about this toot | More toots from Eigenraum@podcasts.social This content has been proxied by September (ba2dc).Proxy Information
text/gemini