
0:00-35:33
Streams straight from the publisher. podnod never proxies or re-hosts episode audio.
- Thomas Kahle
- Christian Krause
Heute ist Christian Krause zu Gast und wir sprechen über die LODA-Programmiersprache. Diese einfach gehaltene Assembly-Sprache dient dazu, kurze und effiziente Programme zu finden, die Zahlenfolgen erzeugen können, bspw. solche in der OEIS. Eine Besonderheit an LODA ist, dass die Programme automatisch gesucht werden können. Man nennt das „Mining“. Die Suche nach den besten Programmen hat Christian über die BOINC Infrastruktur als distributed computing Projekt aufgesetzt.
- LODA auf github
- LODA im Web
- LODA Programme für OEIS Folgen
- BOINC distributed computing
- Beatty Sequence
- Christian P erfindet eine neue OEIS Folge — als Rätsel
- Sequence Machine (formerly SequenceDB)
- A365605 – Characteristic function of numbers without an inferior odd divisor > 1
Ein automatisch generiertes Transkript (also den Volltext) dieser Folge gibt es auf der Episodenseite.
Website
thomas-kahle.deBluesky
bsky.appYouTube (Channel)
youtube.comORCiD
orcid.orgPatreon
patreon.com@tomkalei (Mastodon)
machteburch.socialSpende (Paypal)
paypal.meMastodon
mathstodon.xyzLinkedIn
linkedin.comLODA auf github
github.comLODA im Web
loda-lang.orgLODA Programme für OEIS Folgen
programs.loda-lang.orgBOINC distributed computing
boinc.berkeley.eduBeatty Sequence
en.wikipedia.orgChristian P erfindet eine neue OEIS Folge — als Rätsel
mathstodon.xyzSequence Machine (formerly SequenceDB)
sequencedb.net@Eigenraum@podcasts.social
podcasts.socialEpisodenseite
eigenpod.de
- 0:00Intro
- 0:17Hallo Christian
- 5:18LODA
- 18:37LODA auf Boinc
- 27:11Komplexität von Programmen
- 30:11Rückwirkung der Ergebnisse