[DENIS@Home] We haven’t forgotten about you // No nos hemos olvidado de vosotros

Dear volunteers,
First of all, please accept my apologies for this long period without any news from us. At the end of last academic year, two events occurred that blocked us from moving forward with the work we were doing in DENIS: on the one hand, Iván finished his grant and started working at a company; and on the other hand, the Rector of the University asked me to take on a Vice-Rector position for this academic year. This latter responsibility has meant that, since the beginning of the year, all my working time has been completely overtaken by this new role. Yesterday in a meeting, someone made me realize that I have already been in the position for six months! In this new situation, time goes by incredibly fast, and I am sometimes unaware that, from the outside, it must seem like a very long period.

My sincere apologies for not having shared any updates earlier. For quite some time I have had several tasks on my list of things to post here, and I kept saying nothing with the intention of completing them before reporting back… but as you can see, so much time has passed.

Marta Gómez has published an article which, although it has not been counted within DENIS, she uses the same simulator that we know is robust and reliable thanks to the large battery of tests we conducted with you. We still have to complete a few more simulations from Iván’s work, but what we already have looks very promising, and we would like to submit it to a conference at some point. I also need to finish some aspects of the model optimization work, and I have pending simulations that I want to resume when possible. I hope to stabilize myself in the new position and manage my administrative duties alongside my research, but for now, it seems we will have to take a break here for a while. I hope to resume this project as soon as possible.

Thank you very much to all of you for still being here. Even if I don’t show it often, I never forget about you (which is impossible, given all the good things you have contributed).

Kind regards,
Jesús

===================================================================

Estimados voluntarios:
Lo primero de todo disculpad este largo período sin que hayáis tenido noticias nuestras. A final del curso pasado tuvimos dos hechos que han marcado el no poder avanzar con el trabajo que estábamos haciendo en DENIS: por un lado Iván terminó la beca y comenzó a trabajar en una empresa, y por otro lado, la Rectora de la Universidad me solicitó que asumiera este curso un puesto de Vicerrector. Esto último ha hecho que, desde principio de curso, todo mi tiempo de trabajo se haya visto desbordado por esta nueva responsabilidad. Ayer en una reunión, una persona me hizo darme cuenta de que ¡ya son 6 meses en el cargo! En esta nueva situación el tiempo se me pasa rapidísimo y no soy consciente, a veces, de que visto desde fuera es un período enorme.

Mil disculpas por no haber dado noticias antes. Llevo bastante tiempo con varias tareas en mi lista de cosas a poner por aquí y no decía nada con la intención de hacerlas y comunicarlas... pero ya veis cuánto ha pasado.

Marta Gómez ha publicado un artículo, que aunque no se ha computado en DENIS, sí que ha utilizado el mismo simulador que sabemos que es robusto y fiable gracias a la gran batería de pruebas que hemos hecho con vosotros. Tenemos que terminar alguna simulación más del trabajo de Iván, pero lo que ya tenemos tiene muy buena pinta y querríamos enviarlo en algún momento a una conferencia. Tengo que terminar alguna cosa de la optimización de los modelos y tengo simulaciones pendientes, quiero retomarlas en algún momento.

Espero poder estabilizarme en el nuevo puesto y compatibilizar mejor la gestión con mi investigación, pero de momento, creo que va a tocar una temporada de parón por aquí. Espero volver lo antes posible a reactivar este proyecto.

Muchas gracias a todos por seguir aquí, aunque no lo demuestre muchas veces, no me olvido nunca de vosotros (es imposible con todo lo bueno que nos habéis dado).

Un saludo,
Jesús.

View article · Thu, 19 Mar 2026 06:42:21 +0000

[Einstein@home] Einstein@Home's most sensitive continuous gravitational-wave search

The results of Einstein@Home's deepest search yet for elusive continuous gravitational waves were recently published in The Astrophysical Journal.

read more

View article · Mon, 23 Feb 2026 18:46:42 +0000

[LODA] 150,000 Programs Milestone Reached

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!

View article · Sat, 14 Feb 2026 18:39:44 +0000

Learn
Science projects
Science publications
User manual
Add-ons
Web resources

Communicate
Message boards
Help
Email lists
Report bugs

Help
Translate
Test
Publicize

Computing power · Certificate · Poll · Teams

• Create and maintain a BOINC project.
  
• Run Docker and Autodock jobs with BOINC Central.

Programmers:

• Visit the BOINC github repo

Recent publications
Check out recent papers from Einstein@Home and SETI@home.
17 Jan 2026, 21:51:13 UTC · Discuss

BOINC client 8.2.8 released
Version 8.2.8 of the BOINC client has been released for all platforms. Download it here. Release notes are here.
26 Nov 2025, 3:24:09 UTC · Discuss

BOINC client 8.2.4 released
The 8.2.4 version of the BOINC client has been released for all platforms. Download it here. Release notes are here. The new version supports Docker apps - an important step for BOINC.
10 Jul 2025, 21:46:02 UTC · Discuss

News is available as an RSS feed