Haskell

Haskell 中文群 

u-jjibbdii 2 years ago
客气客气
u-hb 2 years ago
有大佬想收留个机器学习博后吗,之前一直做图像与视觉的,哈工大本硕,法国里昂博士,博后快出站了
u-dig 2 years ago
有简历吗
u-dig 2 years ago
我问问我经理
u-gfj 2 years ago
肯定先拿简历啊
u-dcdjdcdj 2 years ago
这种job hunting方法很聪明的[ThumbsUp]
u-dcdjdcdj 2 years ago
大家添加到浏览器收藏夹 haskell.foundation
u-hb 2 years ago
@coco @余乐🍊 老婆同办公室的同事
u-hb 2 years ago
应该是91年的
u-gfj 2 years ago
打算在哪里工作啊
u-gfj 2 years ago
有联系方式吗
u-fecd 2 years ago
Categorical semantics
u-ffeagdj 2 years ago
一堆人天天炼丹~
u-bebfg 2 years ago
先来后到
u-ffeagdj 2 years ago
然后机器不要关。很多金融企业都是这种简单粗暴的做法
u-bebfg 2 years ago
全家桶也没谁成功吧
u-jjchehadbhca 2 years ago
上海懂hs的,题叶老师应该都认识吧
u-jhafjh 2 years ago
其实真的不知道看什么。
u-chehbefifh 2 years ago
有接触过bluespec这些吗
u-chehbefifh 2 years ago
是的,不仅指这些
u-ffeagdj 2 years ago
VM、容器化、编译器这些才是技术高地,而不是聊天服务器、支付、记账服务器
u-chehbefifh 2 years ago
学的东西没有被现实抽打的话都是不靠谱的
u-chehbefifh 2 years ago
ARM架构是Risc的一种,Risc-V也是Risc的一种。
u-chehbefifh 2 years ago
bluespec原来是商用,要花钱才可以拿到,今年才开始免费和开源的。
u-chehbefifh 2 years ago
文档很齐全
u-beh 2 years ago
我感觉比haskell设计跟范畴论有关这种说法更加牵强附会[吃瓜]
u-agfgb 2 years ago
台积电牛批
u-ffeagdj 2 years ago
我周末可以见下他~
u-jhafjh 2 years ago
docker 算是linux的一层封装? k8s 算是一个调度器 + 一堆组件生态?
u-jhafjh 2 years ago
GC 那部分虽然书里没实现,但是你自己实现一遍也不复杂,简陋但是能用
u-bebfg 2 years ago
算法姑且可以算切的多学的多吧
u-jhafjh 2 years ago
国内现在就很刚需数据库,没办法,电商体量大
u-ffeagdj 2 years ago
@题叶 让他check一下邮件[Facepalm]
u-bebfg 2 years ago
就像csapp初学惊艳,现在回去看就是几本书凑起来的
u-fj 2 years ago
那你给我搞个qq出来?
u-ffeagdj 2 years ago
国内互联网公司主要的技术在数据库上,所以投的人和经费都很多。
u-ffeagdj 2 years ago
IM工具其实技术不多
u-fdibfjib 2 years ago
还有高全家桶野蛮成长的
u-gfhad 2 years ago
请教一下,rust 的 ownership 机制和 linear type 是什么关系
u-chehbefifh 2 years ago
bluespec是Haskell实现的硬件设计语言,这语言的语法也是Haskell的。
u-fj 2 years ago
实现一个极简的就叫做出来,就跟指着51单片机叫志强一样……
u-jigfaehah 2 years ago
上海Haskell大佬必须喻老师啊 @Yù Chāngyuǎn
u-dcdjdcdj 2 years ago
所以我说了那样话题
u-chehbefifh 2 years ago
比如图像处理的,AI(NPU)的这些
u-jebabbad 2 years ago
他说下次 [Facepalm]