Certified State Reductions and Semantics of Conjecture-Checking Turing Machinesgithub.com·1 pts·lairv·1
Ex-DeepMind's David Silver Eyes $1B Fundraise for Ineffable Intelligencetechfundingnews.com·3 pts·lairv·0
MTEB v2: Evaluation of embedding and retrieval systems for more than just texthuggingface.co·3 pts·lairv·0