Posts by ckrause

1) Questions and Answers : Bugs : All tasks resulting in computation error (Message 1014) Posted 25 days ago by ckrause Post: If I understand correctly, this is on Debian 11 a.k.a. Bullseye. This is the current "oldoldstable" release. You should upgrade your OS to the current stable version. https://www.debian.org/releases/
2) Questions and Answers : Bugs : All tasks resulting in computation error (Message 1011) Posted 12 Dec 2025 by ckrause Post: On Linux, you can check for missing libraries using "ldd loda"
3) Questions and Answers : Bugs : All tasks resulting in computation error (Message 1002) Posted 4 Nov 2025 by ckrause Post: There were two general issues: corrupt data and an API server outage. Both are fixed now.
4) Questions and Answers : Bugs : All tasks resulting in computation error (Message 999) Posted 2 Nov 2025 by ckrause Post: @Jerome: Did you install a new BOINC version? Try resetting the probject. Your error is: 2025-11-02 04:00:43\|INFO \|Checking environment fatal : propriétaire douteux détecté dans le dépôt à '/Library/Application Support/BOINC Data/projects/boinc.loda-lang.org_loda/programs'
5) Questions and Answers : Bugs : All tasks resulting in computation error (Message 995) Posted 1 Nov 2025 by ckrause Post: I deleted some corrupt data from the API server.
6) Questions and Answers : Bugs : All tasks resulting in computation error (Message 990) Posted 21 Oct 2025 by ckrause Post: The wrapper app is provided by BOINC. You can open an issue at https://github.com/BOINC/boinc/issues
7) Questions and Answers : Bugs : All tasks resulting in computation error (Message 984) Posted 19 Oct 2025 by ckrause Post: @LM: On your windows machine I found the following error. That indicates that your root certificates are outdated. Which windows version are you using? Do you have all updates installed? 2025-10-18 16:20:59\|INFO \|Starting LODA v25.10.16. See https://loda-lang.org/ 2025-10-18 16:20:59\|INFO \|Found environment variable: PROJECT_DIR=.\ 2025-10-18 16:20:59\|INFO \|Loading init data from file: .\init_data.xml 2025-10-18 16:20:59\|INFO \|Platform: windows, system memory: 32642 MiB 2025-10-18 16:20:59\|INFO \|User name: LM, host ID: 2441 2025-10-18 16:20:59\|INFO \|Using LODA home directory "C:\prg\BOINC\data/projects/boinc.loda-lang.org_loda\" 2025-10-18 16:20:59\|INFO \|Checking environment 2025-10-18 16:20:59\|WARN \|Setting environment variable: COMSPEC=C:\WINDOWS\system32\cmd.exe 2025-10-18 16:20:59\|WARN \|Setting environment variable: SYSTEMROOT=C:\WINDOWS 2025-10-18 16:20:59\|WARN \|Setting environment variable: PATH=C:\WINDOWS\system32;C:\WINDOWS\system32\WindowsPowerShell\v1.0;C:\Program Files\Git\cmd;C:\prg\BOINC\data/projects/boinc.loda-lang.org_loda\git\cmd;C:\Program Files\Git\usr\bin;C:\prg\BOINC\data/projects/boinc.loda-lang.org_loda\git\usr\bin curl: (77) schannel: next InitializeSecurityContext failed: SEC_E_UNTRUSTED_ROOT (0x80090325) - Die Zertifikatkette wurde von einer nicht vertrauensw?rdigen Zertifizierungsstelle ausgestellt. 2025-10-18 16:20:59\|WARN \|Setting environment variable: TMP=C:\prg\BOINC\data/projects/boinc.loda-lang.org_loda\ 2025-10-18 16:20:59\|WARN \|Setting environment variable: TEMP=C:\prg\BOINC\data/projects/boinc.loda-lang.org_loda\ Updating files: 100% (142770/142770), done. 2025-10-18 16:22:59\|INFO \|Fetched https://raw.githubusercontent.com/loda-lang/loda-cpp/main/miners.default.json 2025-10-18 16:22:59\|INFO \|Migrating "invalid_matches.txt" from lists to cache folder 2025-10-18 16:22:59\|INFO \|Moving folder "oeis" to "seqs" 2025-10-18 16:22:59\|INFO \|Updating OEIS index (last update 1109 days ago) curl: (77) schannel: next InitializeSecurityContext failed: SEC_E_UNTRUSTED_ROOT (0x80090325) - Die Zertifikatkette wurde von einer nicht vertrauensw?rdigen Zertifizierungsstelle ausgestellt. 2025-10-18 16:23:10\|WARN \|Retrying fetch of https://api.loda-lang.org/miner/v1/oeis/stripped.gz curl: (77) schannel: next InitializeSecurityContext failed: SEC_E_UNTRUSTED_ROOT (0x80090325) - Die Zertifikatkette wurde von einer nicht vertrauensw?rdigen Zertifizierungsstelle ausgestellt. 2025-10-18 16:23:30\|WARN \|Retrying fetch of https://api.loda-lang.org/miner/v1/oeis/stripped.gz curl: (77) schannel: next InitializeSecurityContext failed: SEC_E_UNTRUSTED_ROOT (0x80090325) - Die Zertifikatkette wurde von einer nicht vertrauensw?rdigen Zertifizierungsstelle ausgestellt. 2025-10-18 16:24:11\|WARN \|Retrying fetch of https://api.loda-lang.org/miner/v1/oeis/stripped.gz curl: (77) schannel: next InitializeSecurityContext failed: SEC_E_UNTRUSTED_ROOT (0x80090325) - Die Zertifikatkette wurde von einer nicht vertrauensw?rdigen Zertifizierungsstelle ausgestellt. 2025-10-18 16:25:33\|WARN \|Retrying fetch of https://api.loda-lang.org/miner/v1/oeis/stripped.gz curl: (77) schannel: next InitializeSecurityContext failed: SEC_E_UNTRUSTED_ROOT (0x80090325) - Die Zertifikatkette wurde von einer nicht vertrauensw?rdigen Zertifizierungsstelle ausgestellt. 2025-10-18 16:28:17\|ERROR\|Error fetching https://api.loda-lang.org/miner/v1/oeis/stripped.gz 2025-10-18 16:28:17\|ERROR\|Error during initialization or mining: Error fetching https://api.loda-lang.org/miner/v1/oeis/stripped.gz 2025-10-18 16:28:17\|INFO \|Signaling shutdown 2025-10-18 16:28:30\|ERROR\|Exiting due to error
8) Questions and Answers : Bugs : Computation Errors (Message 983) Posted 19 Oct 2025 by ckrause Post: @LM: Did you try resetting the project?
9) Questions and Answers : Feature requests : WIndows 11 ARM support (Message 982) Posted 19 Oct 2025 by ckrause Post: Windows ARM64 app is now available: https://boinc.loda-lang.org/loda/apps.php
10) Questions and Answers : Feature requests : WIndows 11 ARM support (Message 979) Posted 18 Oct 2025 by ckrause Post: We added a Windows ARM64 version of the main LODA executable, but we still need support from the BOINC team to provide a wrapper app. I filed a request here: https://github.com/BOINC/boinc/issues/6610
11) Message boards : News : 140,000 Programs Milestone Reached (Message 969) Posted 3 Oct 2025 by ckrause Post: We are excited to announce that the LODA BOINC project has reached an significant milestone: over 140,000 programs discovered! This marks a major advancement in our mission to automatically generate programs for integer sequences from the OEIS. Thanks to your support, we now have program coverage for entire classes of sequences that previously had no program coverage at all. We have launched a public API that enables programmatic access to the LODA database, allowing developers and researchers to query, analyze, and work with LODA programs at scale. Our new Model Context Protocol (MCP) server integration now allows AI chatbots to interact directly with LODA. Users can analyze integer sequences, execute LODA programs, and even submit new programs using conversational AI interfaces. The Top Users page has been improved to better highlight your contributions, now featuring an additional column showing the number of programs mined by each user. Thank you for your continued support, and for contributing your computing power and expertise to the project!
12) Questions and Answers : Bugs : All tasks resulting in computation error (Message 968) Posted 3 Oct 2025 by ckrause Post: @Conan: we have reverted a suspicious change that might have caused your timeout errors. Please check if it still occurs in the latest version.
13) Questions and Answers : Bugs : All tasks resulting in computation error (Message 967) Posted 2 Oct 2025 by ckrause Post: @DukeBox: please try resetting the project. Looks like corrupt data.
14) Questions and Answers : Bugs : All tasks resulting in computation error (Message 964) Posted 30 Sep 2025 by ckrause Post: Does it still occur? There were temporary API server issues which have been resolved already.
15) Questions and Answers : Bugs : Computation Errors (Message 959) Posted 2 Sep 2025 by ckrause Post: There were some problems today due to corrupt data. It should be ok now.
16) Questions and Answers : Bugs : Computation Errors (Message 957) Posted 1 Sep 2025 by ckrause Post: MJKelleher: there is a root certificate problem on your Windows machine which prevents LODA from fetching data from the Internet: 2025-08-30 00:18:29\|INFO \|Updating OEIS index (last update 240 days ago) curl: (35) schannel: next InitializeSecurityContext failed: CRYPT_E_NO_REVOCATION_CHECK (0x80092012) - The revocation function was unable to check revocation for the certificate.
17) Questions and Answers : Bugs : Cannot submit program to API server (Message 956) Posted 1 Sep 2025 by ckrause Post: Thanks for reporting. We recently restarted some of the backend services including the one for program submissions. If it was only one occurence, that it was likely caused by the restart. From our logs it looks ok now.
18) Questions and Answers : Bugs : Computation Errors (Message 953) Posted 28 Aug 2025 by ckrause Post: We found a bug and fixed it in v2508.28. Please try again.
19) Questions and Answers : Bugs : Tasks Exceeding Time Limits (Message 951) Posted 4 Aug 2025 by ckrause Post: We found and fixed the issue. The fix is included in the new app version is 250804. Thanks for reporting it.
20) Questions and Answers : Bugs : Tasks Exceeding Time Limits (Message 950) Posted 4 Aug 2025 by ckrause Post: We are looking into the problem

Next 20