小島みなこの競プロ日常
@algorithm_daily_of_minako
484
subscribers
4.8K
photos
247
videos
280
files
6.43K
links
Download Telegram
Join
小島みなこの競プロ日常
484 subscribers
小島みなこの競プロ日常
。。这个怎么感觉好像以前有人出过?。。。
小島みなこの競プロ日常
(I mean 在不能应用高斯消元的情况下。。用 euclid 算法做消元。。)
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/42hA4Ggzu_p4Iqk8yr4VAQ
Weixin Official Accounts Platform
百万tokens低至1元!大模型越来越卷了
大模型的入门价格越来越便宜了。
小島みなこの競プロ日常
https://en.wikipedia.org/wiki/Turnstile_(symbol)
Wikipedia
Turnstile (symbol)
mathematical symbol
小島みなこの競プロ日常
Not to be confused with ㅏ, ト, or 卜.
小島みなこの競プロ日常
CJK 全家桶闹麻了。。
小島みなこの競プロ日常
现代语言好像即是编译语言也是解释语言= =
小島みなこの競プロ日常
问一个语言是解释语言还是编译语言好像已经意义不大。。。。
小島みなこの競プロ日常
感觉不用mathlib这语言没法玩啊
小島みなこの競プロ日常
这也难怪 不用 std 我也不会 cpp
小島みなこの競プロ日常
(但是用mathlib就好卡…)
小島みなこの競プロ日常
优化不行…..(x
小島みなこの競プロ日常
https://www.shuizilong.com/house/archives/lean-the-proof-assistant/
某岛
Lean 相关
学习 Lean (proof assistant), Wikipedia Lean Focused Research Organization Theorem Proving in Lean Mathematics in Lean 研究 Solving (some) formal math olympiad problems LeanDojo: Theorem Proving in Lean…
小島みなこの競プロ日常
不幸的是,Desai 不能让设备发出低于 2000Hz 的声音,因此《一闪一闪亮晶晶》音符都向上移动了好几个八度。
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/jX3_sRqcr9WyyZLXECXl3A
Weixin Official Accounts Platform
坏了,我的RTX 3090 GPU在对我唱歌!
唱起经典儿歌《一闪一闪亮晶晶》
小島みなこの競プロ日常
dissy dissy
小島みなこの競プロ日常
https://www.bilibili.com/video/BV1Ns421N7EP
Bilibili
【明日方舟 AI翻唱】特雷西娅 - Daisy Bell_哔哩哔哩_bilibili
数据集:《明日方舟》特蕾西娅(CV:南里侑香)算法:RVC本作品仅供个人兴趣研究使用,声音及曲目属于版权方。原曲:DaisY BelL -AlphA --- 涼貴涼, 视频播放量 128、弹幕量 0、点赞数 6、投硬币枚数 6、收藏人数 1、转发人数 0, 视频作者 Peter_XL, 作者简介 ,相关视频:【明日方舟】小学生特蕾西娅,【One Last Kiss | AI“魔王”特蕾西娅】属于我的蒙娜丽莎,我早已遇见,因为你 我会记住这一天,兄弟放心,罗德岛促融共竟绝不坑你,【双人H8-4】逻各斯:你…
小島みなこの競プロ日常
哭了。
小島みなこの競プロ日常
Forwarded from
Hacker News
Immersive Math
(
🔥
Score: 151+ in 2 hours)
Link:
https://readhacker.news/s/67E9E
Comments:
https://readhacker.news/c/67E9E
Read
18+ Comments
小島みなこの競プロ日常
赞