Posts by ckrause

1) Questions and Answers : Bugs : Process exited with code 195 (0xc3, -61) (Message 1103) Posted 18 Apr 2026 by ckrause Post: Version 260314 was build with GLIBC 2.31. Can you please try to run this loda binary manually and share error messages?
2) Questions and Answers : Bugs : *.ASM files (Message 1100) Posted 11 Apr 2026 by ckrause Post: LODA needs a local copy of all known programs to be able to compare mined programs to the existing versions and decide if the new version is better.
3) Questions and Answers : Bugs : Process exited with code 195 (0xc3, -61) (Message 1076) Posted 14 Mar 2026 by ckrause Post: Please try the latest app version (260314)
4) Questions and Answers : Bugs : Process exited with code 195 (0xc3, -61) (Message 1075) Posted 14 Mar 2026 by ckrause Post: Conan: which OS and version are you running on? Can you plese try to test executing the loda binary in the project folder? I suspect a missing library.
5) Questions and Answers : Bugs : Process exited with code 195 (0xc3, -61) (Message 1070) Posted 10 Mar 2026 by ckrause Post: Dr Who Fan: Please try resetting the project.
6) Message boards : News : 150,000 Programs Milestone Reached (Message 1058) Posted 14 Feb 2026 by ckrause Post: We are thrilled to announce that the LODA BOINC project has reached another remarkable milestone: over 150,000 programs discovered! This represents a 10,000 program increase since our last announcement in October 2025, and we couldn't have achieved this without your dedicated support and computing power. Major Developments Since October 2025 LEAN Theorem Prover Integration The most significant advancement has been our comprehensive LEAN formula generation capability. LODA can now automatically export programs to LEAN format, enabling formal verification of integer sequence formulas. This groundbreaking feature includes: * Support for simple recursive functions and multiple mutually recursive functions * Support for factorial (fac), power (pow), binomial coefficients (bin), and bitwise operations * LEAN project support for automated testing and validation This integration bridges the gap between automated program discovery and formal mathematical proof, opening new possibilities for verified mathematics in the OEIS community. Formula Generation Enhancements We've dramatically improved formula generation capabilities, supporting more LODA operations including memory operations (fil, rol, ror), conditional division (dif), digital root (dir), and largest exponent (lex). Performance optimizations have made formula generation significantly faster. Infrastructure Modernization We've integrated libcurl and zlib libraries directly into LODA, eliminating dependencies on external curl/wget and gzip/gunzip tools. This makes LODA more self-contained and reliable across all platforms. We've also migrated to v2 API endpoints and added automatic detection and reporting of broken b-files for improved data quality. Platform Support LODA now supports Windows ARM64 architecture, expanding our reach to newer Windows devices with ARM processors. Performance Improvements Numerous optimizations have been implemented, including improved operation merging in the optimizer, better handling of pow and nrt operations, and increased default maximum physical memory for handling larger computation tasks. Looking Forward With over 150,000 programs now in our database, LODA continues to expand the boundaries of automated mathematical discovery. The LEAN integration represents a major step toward formally verified programs, and we're excited to see how this capability will be used by the mathematical community. Thank you for your unwavering support and for contributing your computing resources to advance mathematical knowledge. Every program you help discover brings us closer to understanding the beautiful patterns hidden within integer sequences!
7) Questions and Answers : Bugs : All tasks resulting in computation error (Message 1057) Posted 14 Feb 2026 by ckrause Post: Please try the latest version 260214.
8) Questions and Answers : Bugs : All task aborting (Message 1056) Posted 14 Feb 2026 by ckrause Post: Thanks for reporting and analyzing this issue. The incorrect DLL names should be fixed in version 260214. Please try...
9) Questions and Answers : Bugs : All task aborting (Message 1047) Posted 31 Jan 2026 by ckrause Post: Are you using an ARM64 version of Windows?
10) Questions and Answers : Bugs : All task aborting (Message 1035) Posted 24 Jan 2026 by ckrause Post: @Golinchen[DSKAG]: your Linux OS is too old. Please upgrade to a recent version.
11) Questions and Answers : Bugs : All task aborting (Message 1034) Posted 24 Jan 2026 by ckrause Post: @Dingo: Can you check if you have git installed?
12) Questions and Answers : Bugs : All task aborting (Message 1024) Posted 17 Jan 2026 by ckrause Post: Can you please share the exact error message? It seems to affect only some Windows versions.
13) Questions and Answers : Bugs : All task aborting (Message 1021) Posted 15 Jan 2026 by ckrause Post: Please try the latest version: 260115
14) Questions and Answers : Bugs : All tasks resulting in computation error (Message 1014) Posted 20 Dec 2025 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/
15) 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"
16) 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.
17) 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'
18) 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.
19) 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
20) 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

Next 20