ProjectEuler+ 2025-10-14
As mentioned at euler.stephan-brumme.com these tend to be harder, as they have their own judge system that actually runs programs, and therefore can test input multiple test cases against their reference implementation rather than just hard testing the result for a single input.
Goes only up to Project Euler problem 254 as of 2025, which had been published much much earlier, in 2009, so presumably they've stopped there.
Project Euler problem 2025-10-14
Infleqtion 2025-10-14
British tech headhunter boutique 2025-10-14
Cool deeptech ones:
- ic-resources.com/en IC Resources. Offices in various countries, perhaps Reading is the original/HQ?
- www.understandingrecruitment.com Understanding Recruitment
- www.socode.co.uk SoCode. Cambridge-based.
- www.client-server.com Client Server. St. Albans-based.
- Oxford-based:
- corriculo.co.uk Corriculo.
- humand.co.uk/ Humand
Boring ones:
- www.oho.co.uk/ OHO Group. London-based.
International ones with a British presence:
- russelltobin.com/ Russel Tobin
Collatz n-cycle 2025-10-14
ARC-AGI implementation Created 2025-10-14 Updated 2025-10-18
Bibliography:
ARC-AGI visualization Created 2025-10-14 Updated 2025-12-13
www.kaggle.com/code/allegich/arc-agi-2025-visualization-all-1000-120-tasks contains plots of all questions and answers. It is truly very convenient.
Sakana.AI Created 2025-10-14 Updated 2025-12-01
Poetry (Python package manager) 2025-10-14
ParityQC 2025-10-14
Boaty McBoatface 2025-10-14
International Collegiate Programming Contest 2025-10-14
LeanAgent 2025-10-14
Putnam-AXIOM Created 2025-10-14 Updated 2025-12-02
We introduce Putnam-AXIOM, a benchmark of 522 university-level competition problems drawn from the prestigious William Lowell Putnam Mathematical Competition, and Putnam-AXIOM Variation, an unseen companion set of 100 functional variants generated by programmatically perturbing variables and constants.
MathArena Created 2025-10-14 Updated 2025-12-13
How they "ensure" that models are not contaminated:
Most of their problems come from high school knowledge olympiads and they are therefore completely irrelevant for 2025 LLMs.
Mother's love 2025-10-14
The Power of a Mother's Love by Alan Watts
. Source. Headhunter boutique 2025-10-14
LIGO 2025-10-14
- youtu.be/dX4vCNi544w?t=1866 this section about numerical simulation is quite interesting. They don't know how to solve the inverse problem, so they just simulated a bunch of different mass combinations
- youtu.be/dX4vCNi544w?t=2290 they use Ubuntu everywhere, default purple desktop. God bless. It's good enough for gravitational wave detection, just not good enough for some shitty enterprise application. Lol.
Hulse-Taylor pulsar 2025-10-14
Unlisted articles are being shown, click here to show only listed articles.