F*: A proof oriented general purpose programming language

Article URL: https://www.theguardian.com/global-development/

Hey Everybody! Hope you had a merry christmas

Today I had a bit of fun with Claude.

Started by scraping YC's startups list, then ran them through OpenAI's embedding service, then UMAP'd the em

Article URL: https://danielmangum.com/posts/vpr-nordic-risc-v-processor/

Comments URL:

Article URL: https://www.os2museum.com/wp/i-thought-i-found-a-bug/

Comments URL:

Article URL: https://www.euronews.com/2024/12/25/azerbaijani-passenger-plane-crashes-nea

Article URL: https://igorstechnoclub.com/server-sent-events-sse-are-underrated/

Comments URL: