技术,生活,随看 \随转
Spring Startup Ananlyzer 这个项目可以采集Spring应用启动过程数据,生成交互式分析报告(HTML),用于分析Spring应用启动卡点,支持Spring Bean异步初始化,减少优化Spring应用启动时间。

采集报告包括Spring Bean初始化详情信息,支持初始化耗时/beanName搜索、Spring Bean初始化时序图、方法调用次数及耗时统计(支持自定义方法)、应用未加载的jar包(帮助fatjar瘦身)及应用启动过程线程wall clock火焰图,帮助开发者快速分析定位应用启动卡点
清华用ChatGPT打造了个「零人工含量」的「游戏公司」,从老板到员工都是AI。只要你提出想法,从设计到测试的完整流程,都由AI帮忙搞定。整个过程走下来,只要七分钟就能完成,成本不到0.3美元(人民币两块多一点)!

公司叫ChatDev,顾名思义,就是通过聊天来进行开发。十多个聊天机器人分别扮演着不同的角色,串联在一起完成开发工作。整个过程用ChatGPT就能完成,无需为每个环节专门训练相应的模型。

这个「公司」开发一款游戏的平均时间是409.84秒,最快的甚至不到三分钟,最慢的也不过17分钟。| 详文
一个将写 Prompt 门槛降低到地板以下的工具网站。

只要给出最初始的需求,结合AI进行调试,最终可以获得一个符合预期的 Prompt。在确保 AI 回答质量不下降的情况下,还可以利用这个工具对 Prompt 做精简,增加道德约束、法律约束等。

你可以直接在网站上完成多个 AI 模型的效果测试,直观地观测上面拿到的 Prompt 在所有流行的大模型中,效果是不是都符合预期。

它还提供了一个 Prompt as a Service 的服务,提示词即服务,这可以帮助开发者(和非开发者)构建一个立马可用的 Agent 服务,例如设计一个翻译接口、数据转换接口、业务建模服务、学生助教服务、互动游戏设计服务等。

PromptPerfect | #工具
韩国天才儿童金雄鎔,1962年出生,3个月就会说话,4岁时即能使用四种语言(韩、日、英、德),并在日本电视上现场表演作诗及演算微积分。

1966年,4岁的金雄鎔进入韩国汉阳大学物理系特别班学习。1969年,7岁的他被编入韩国建国大学4年级。 1970年,8岁的他进入科罗拉多州立大学进行热物理学和核物理学的研究生研修,并在15岁前获得了科罗拉多州立大学物理学博士学位。

金雄鎔7岁时还被邀请至NASA进行研究,在大学毕业后并继续在NASA工作,1978年,16岁的金雄鎔回到韩国,转攻土木工程领域。他从2007年开始在忠北大学工作。

回顾往事,金雄鎔对采访他的记者说,虽然大家都说他是“神童”,但他其实只是记忆力和学习能力比普通人好一些而已,他并不喜欢做一个“神童”,在美国求学的日子,是他生命中最痛苦的日子,也让他对学术圈萌生退意,选择回国做一个普通人。

很多韩国民众和媒体都不理解,常常对他说,你明明可以当上一名一流学者,为什么还要成为一个非常普通的教授?他立马给出了当面回应,他说他儿时学习超前知识的那一点能力没有什么值得羡慕和赞赏,要想长久的在学术圈就必须得打好扎实的基础。

对于媒体上对他的报道,他说他不希望小孩子们都当神童,只希望他们健健康康的长大,成为一个有品德的人就行,面对媒体,他只说了一句话:我再重申一遍,我现在过得很幸福! source
超级重商主义的系统性设置下,想让他们对居民部门让利,并真正刺激居民消费,实在太难了,此外21世纪特色秦制也决定了彼此的对手盘关系,扩大居民消费所需要的所有政策都相当于他们在自己身上割肉,削弱自己,夯实对手,而目前的加速保守化进程下,这种利益再分配面临的阻力极大,不等到经济恶化到一定程度,出不来,而那时候再出来基本上也晚了。
Back to Top