电鸭    15人浏览/10人投稿    99天前    待托管赏金

职位描述：我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做 岗位要求:熟悉Lean4语言，可以很好的使用mathlib解决问题，可以远程情况下高效解决问题 业务产品:IMO题目的lean形式化证明 薪资范围:技术细节实现单题目600 根据实现难度可浮动，题量很大，长期合作 公司介绍：太和软件开发工作室 面试方式:微信沟通 欢迎大家，我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，欢迎沟通

实现网    47人浏览/5人投稿    99天前    待托管赏金

一、需求描述 基于UDP协议的底层单向数据传输程序，包括2部分：发送端、接收端。因为受网络物理通信限制，信息只能从发送端至接收端，而发送端无法接收来自接收端的任何信息，因此需要在无接收端响应的情况下完成文件传输。 1） 发送端功能： 读取指定路径的文件，按照设定的网络速度发送给接收端，需确保文件的完整性及传输性能，可满足千兆、万兆网络带宽。同时发送端需具备接口被其它程序调用，为程序指定需要发送的文件、发送速度等，发送端程序还需具备完整的日志信息，以实现对发送进度及状态的监控。 2） 接收端功能： 接收端程序作为底层程序运行，接收来自发送端的数据包并解析、组成为文件，将文件进行完整性校验并写入磁盘，需具备完整的日志信息，并记录接收进度及状态进行监控。 二、环境 网络环境：千兆点对点连接，网络结构简单，不存在干扰、扰动等情况； 运行环境：windows、linux 单个文件大小：20GB 三、开发语言 C、C++ 四、个人要求： 1.掌握C/C++编程语言，熟悉C++设计模式。 2.精通计算机网络，深入理解TCP/IP协议和4层网络模型。 3.熟悉HTTP协议，了解网络通信的技术细节。 4.熟悉Socket网络编程，深入理解同步/异步I0模型、I0多路复用及底层调用的原理及使用。 5.熟悉操作系统，了解CPU、寄存器、多级缓存架构及内存的调用机制及调优。

互站网    40人浏览/9人投稿    99天前    待托管赏金

首先要懂怎么往pos机（百富A920）里面安装软件，其次里面的具体需求就很简单，可以细聊，有pos机开发技术的联系我

互站网    14人浏览/4人投稿    99天前    待托管赏金

需要协议可登录多账号，按需关注后，发送私信 能跑通最基本的登录和发私信的优先，详细需求QQ/微信联系

互站网    58人浏览/1人投稿    99天前    待托管赏金

前端注册改成列表模式，如会员套餐样式修改；数椐显示加个统计；审核版权信息修改；对接visa卡支付通道

YesPMP    22人浏览/8人投稿    99天前    待托管赏金

码头船舶舶位防止碰撞提醒：测量货船靠码头的1.距离；2.速度；3.偏角；在100米以内码头安保人员对船舶驾驶员进行提醒减速靠码头！

YesPMP    65人浏览/0人投稿    99天前    待托管赏金

3D拉框20帧连续帧，无属性，实时验收次月结算，只要有经验，新手小白个人勿扰！我要有经验的标注团队承接标注 可以接的竞标联系。

YesPMP    56人浏览/2人投稿    99天前    待托管赏金

需要做一款AI智能体辅助投标决策软件，我公司主要是从事建筑工程，正常在江苏省内各大城市公共资源中心投标。我们现在主要分析每一个标下浮率靠拍脑袋，是否有通过量化分析或历史数据判断下一下标的下浮率寻求研究这方面的软件，据说杭州已经有人研究出来了。有相关经验的服务商可联系沟通。

YesPMP    62人浏览/6人投稿    99天前    待托管赏金

做一个包粽子的 场景     一个做腊肠 的场景 1 包粽子流程：在一个走廊里面包粽子场景，从第一步 泡米  拌料 （粽子叶在桌面上，五花肉  几个人物在制作场景）包好后， 2   把包好的粽子挂在 架子上   3 煮粽子  （有几个蒸粽子的，有参考图片）结束。   注意事项：走廊是当地的实物，人物可以大概不一定是一模一样，只是表达以制作的场景过程   2 做腊肠流程    1 第一步 杀猪场景（一定是黑猪） 2 分猪肉场景   3 灌腊肠场景   4 挂腊肠（放几个架子有图片参考） 5 晒腊肠

YesPMP    44人浏览/3人投稿    99天前    待托管赏金

效果图上继续修改，所以你要看你需要有个能改动的文件。然后，还有另一个的话就是沙盘那边，他会根据这里头的建筑去做沙盘嘛。所以比如说你如果出示是效果图，它里头，比如说建筑分成几个类，有十几二十个建筑类型，每一个单个的那个建筑。需要给他一个模型，他才能做，可能会方便一点。 因为它这里头的建筑很多是重复的，但是每个单个可能要有一个模型，它才能到时生产的时候生产出来。 然后应对应着你里头的大小去制作。 这个是三 DMAX 做的，你看能不能先把那个里头主体的建筑做一下？然后明天我把原文件给你。你可以直接用它的数啊，或者说一些别的能用上的，你就先用上。 我先把平面改好    有 cad 文件  可以做的和实物沙盘一样