首页
AI Coding
NEW
沸点
课程
直播
活动
AI刷题
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
会员
登录
注册
旭伦
掘友等级
算法工程师
获得徽章 8
动态
文章
专栏
沸点
收藏集
关注
作品
赞
0
文章 0
沸点 0
赞
0
返回
|
搜索文章
旭伦
算法工程师
·
6月前
关注
面向程序员的Lean 4教程(5) - 从三段论说起
这一节我们复习一下离散数学中的命题逻辑。 如果读者大大没有学过命题逻辑也不要紧,我们从更简单的三段论说起。...
0
评论
分享
旭伦
算法工程师
·
7月前
关注
面向程序员的Lean 4教程(4) - 结构体
结构体也是程序员们的老朋友了,它的作用是定义一个数据类型,并给这个数据类型定义一些字段。 结构体 在Lean中,结构体使用structure关键字定义。...
0
评论
分享
旭伦
算法工程师
·
7月前
关注
面向程序员的Lean 4教程(3) - 类型是一等公民
类型是一等公民 有了前面像传统编程语言一样使用Lean 4的经验后,我们引入一点Lean 4中与传统语言不太一样的东西:类型。...
0
评论
分享
旭伦
算法工程师
·
7月前
关注
面向程序员的Lean4教程(2) - 数组和列表
上一节我们介绍了Lean4的基本语法,因为大部分程序员都有一定的编程基础,所以并没有介绍过细。这一节我们介绍Lean4中的线性表结构:数组和列表....
0
评论
分享
旭伦
算法工程师
·
7月前
关注
面向程序员的Lean4教程(1) - 像传统编程语言一样使用Lean
完全可以像结构化编程语言一样使用Lean 4。Lean 4支持if-then-else、while、for等基本流程控制,支持def来定义函数,支持structure来定义...
0
评论
分享
旭伦
算法工程师
·
1年前
举报
文心一言、通义千问和百川模型用于处理文言文。文心一言加戏最多,通义千问比较中庸,百川对古文的理解需要加强。
大模型生态圈
等人赞过
分享
4
7
旭伦
算法工程师
·
1年前
关注
强化学习环境升级 - 从gym到Gymnasium
作为强化学习最常用的工具,gym一直在不停地升级和折腾,2021年接口从gym库变成了gymnasium库。让大量的讲强化学习的书中介绍环境的部分变得需要跟进升级了...
1
评论
分享
旭伦
关注了
美团技术团队
算法工程师
旭伦
关注了
网易云音乐技术团队
算法工程师
旭伦
关注了
字节跳动技术团队
算法工程师
旭伦
关注了
新智元
算法工程师
旭伦
算法工程师
·
1年前
关注
PMP的智慧(2) - 系统性思考及复杂性
在2021年推出的第七版《管理专业知识体系指南》中,PMI在传统的过程和ITTO的基础上,重新增加了12大项目管理原则。我们先来说说系统性思考和驾驭复杂性...
0
评论
分享
旭伦
关注了
机器之心
算法工程师
旭伦
算法工程师
·
1年前
关注
2023年的深度学习入门指南(27) - CUDA的汇编语言PTX与SASS
这一节,我们将勇敢地走进了PTX和SASS的世界。我们将学习看PTX代码和SASS反汇编的工具cuobjdump和nvdisasm,并且观看普通计算和数学函数在GPU上是怎...
0
评论
分享
旭伦
算法工程师
·
2年前
关注
2023年的深度学习入门指南(26) - 在自己电脑上运行通义千问7b模型
这节我们将介绍完了千问7b的模型的代码。凡是讲源码的肯定会遇到大量细节,这些细节也未必是值得花太多精力去抠的,但是原汁原味的代码还是能更精确地表达功能的真实含义。...
1
2
分享
旭伦
算法工程师
·
2年前
关注
2023年的深度学习入门指南(25) - 通义千问7b
最近发生的两件事情都比较有意思,一个是连续开源了7b和13b模型的百川,对其53b闭源了;另一个是闭源项目通义千问开源了自己的7b模型。 下面我们来看一下千问7b是如何实现...
2
评论
分享
旭伦
算法工程师
·
2年前
举报
试了下阿里的通义7b, 刚好让16GB显存不够用。有没有考虑过自家仓库里那一堆16G显存的V100和T4们的感受
收起
查看大图
向左旋转
向右旋转
AGI交流圈
分享
2
点赞
旭伦
算法工程师
·
2年前
举报
现在搞大模型也得懂rust了
github.com
AGI交流圈
分享
评论
点赞
旭伦
关注了
掘金酱
算法工程师
旭伦
关注了
茶老板的小跟班
算法工程师
下一页
个人成就
文章被点赞
39
文章被阅读
51,574
掘力值
1,389
关注了
14
关注者
90
收藏集
0
关注标签
10
加入于
2021-03-10