𝚝𝚑𝚒𝚜 𝚒𝚜 𝚝𝚑𝚎 𝚑𝚘𝚖𝚎 𝚏𝚘𝚛 𝚖𝚢 𝙰𝙸-𝚍𝚛𝚒𝚟𝚎𝚗 𝚜𝚌𝚒𝚎𝚗𝚝𝚒𝚏𝚒𝚌 && 𝚙𝚑𝚢𝚜𝚒𝚌𝚜 𝚎𝚡𝚙𝚎𝚛𝚒𝚖𝚎𝚗𝚝𝚜.
𝚒𝚏 𝚢𝚘𝚞 𝚎𝚗𝚓𝚘𝚢 𝚝𝚑𝚎 𝚝𝚑𝚒𝚗𝚐𝚜 𝚒 𝚋𝚞𝚒𝚕𝚍 && 𝚠𝚊𝚗𝚝 𝚝𝚘 𝚑𝚎𝚕𝚙 𝚖𝚎 𝚔𝚎𝚎𝚙 𝚍𝚎𝚟𝚎𝚕𝚘𝚙𝚒𝚗𝚐,
𝚢𝚘𝚞 𝚌𝚊𝚗 𝚜𝚞𝚙𝚙𝚘𝚛𝚝 𝚖𝚢 𝚠𝚘𝚛𝚔 𝚠𝚒𝚝𝚑 𝚊 𝚍𝚘𝚗𝚊𝚝𝚒𝚘𝚗,
𝚋𝚢 𝚜𝚙𝚘𝚗𝚜𝚘𝚛𝚒𝚗𝚐 𝚖𝚎, 𝚘𝚛
𝚋𝚢 𝚓𝚘𝚒𝚗𝚒𝚗𝚐 𝚖𝚢 𝚑𝚎𝚊𝚛𝚝-𝚝𝚘-𝚑𝚎𝚊𝚛𝚝 𝚜𝚎𝚜𝚜𝚒𝚘𝚗𝚜.
𝚝𝚑𝚒𝚜 𝚒𝚜 𝚝𝚑𝚎 𝚑𝚘𝚖𝚎 𝚏𝚘𝚛 𝚖𝚢 𝙰𝙸-𝚍𝚛𝚒𝚟𝚎𝚗 𝚜𝚌𝚒𝚎𝚗𝚝𝚒𝚏𝚒𝚌 && 𝚙𝚑𝚢𝚜𝚒𝚌𝚜 𝚎𝚡𝚙𝚎𝚛𝚒𝚖𝚎𝚗𝚝𝚜.
𝚒𝚏 𝚢𝚘𝚞 𝚎𝚗𝚓𝚘𝚢 𝚝𝚑𝚎 𝚝𝚑𝚒𝚗𝚐𝚜 𝚒 𝚋𝚞𝚒𝚕𝚍 && 𝚠𝚊𝚗𝚝 𝚝𝚘 𝚑𝚎𝚕𝚙 𝚖𝚎 𝚔𝚎𝚎𝚙 𝚍𝚎𝚟𝚎𝚕𝚘𝚙𝚒𝚗𝚐,
𝚢𝚘𝚞 𝚌𝚊𝚗 𝚜𝚞𝚙𝚙𝚘𝚛𝚝 𝚖𝚢 𝚠𝚘𝚛𝚔 𝚠𝚒𝚝𝚑 𝚊 𝚍𝚘𝚗𝚊𝚝𝚒𝚘𝚗,
𝚋𝚢 𝚜𝚙𝚘𝚗𝚜𝚘𝚛𝚒𝚗𝚐 𝚖𝚎, 𝚘𝚛
𝚋𝚢 𝚓𝚘𝚒𝚗𝚒𝚗𝚐 𝚖𝚢 𝚑𝚎𝚊𝚛𝚝-𝚝𝚘-𝚑𝚎𝚊𝚛𝚝 𝚜𝚎𝚜𝚜𝚒𝚘𝚗𝚜.
👾 my personal implementation of classical machine learning algorithms from first principles (as a phd student at stony brook university)
👾 zero 2 hero studies on lean 4, a powerful theorem prover and programming language for the AI age
👾 formerly lilit.ai: a prototype for for astronomical pattern research and predictions
👾 awesome curated resources for decentralized AI and LLMs, with a focus on agents, blockchains, and privacy
👾 resources for DeSci + AI experiments: notes, ml, agents, llms, energy based models...
👾 notes and resources on quantum computing (e.g., quantum information, post-quantum cryptography, implications on post-quantum and blockchains)
👾 microservice serving quick && simple astronomical calculations for the non-advanced part of the platform
Loading…
Loading…