Sublime
An inspiration engine for ideas
IKI AI – Intelligent Knowledge Interface
iki.ai
Lovable - The last piece of software
lovable.dev
AI Project and Task Management | Plan Your Work Automatically (Try for Free)
usemotion.com




Kimi 数学版今晚上线!
o1 出来之后, 强化学习的范式已经成为业界共识。最近有三家公司都推出了自己的对标 o1 的模型,分别是月之暗面的 k0-math,Deepseek 的 R1 Lite,阿里巴巴的 Macro o1.
其中 k0-math 是最早发布的,重点优化了数学方面,在多项考试类测试集中都超过了 o1-preview。
很多人听到数学模型的第一反应是做高考题之类的,其实生活中很多地方都需要用到数学,购物算价格、健身算卡路里、产品经理算增长数据,等等。
接下来为大家分享几个我测试的例子。这部分问题之前大模型的数学能力难以解决,但是在今天学会数学后能去做更多的事情
第一道题,首先我们还是从最经典的题目开始,9.8和9.11谁更大?
第二道题,我们来算一个强迫症购物的问题
... See more
Pick emojis and symbols without recalling the exact name
getmumu.com
HoneyHive is a collaboration platform to test and evaluate, monitor and debug your LLM apps, from prototype to production. It enables you to continuously improve LLM apps in production with human feedback, quantitative rigour and safety best-practices.
Carlos • Data Machina #222

This weekend falling deeper into the rabbit hole of contaminants exposure in daily life...
I am a bit surprised how weak the U.S. regulations are compared to other countries around industrial chemical use. E.g. the lab @plasticlistorg recommended for testing had this infographic on their website. There are thousands of pesticides, herbicides and v... See more
Aww Inc. A Virtual Human AI Company
aww.tokyo
🌳 Galileo LLM Studio
Algorithm-powered LLMOps Platform
Find the best prompt, inspect data errors while fine-tuning, monitor LLM outputs in real-time. All in one powerful, collaborative platform.