电鸭    19人浏览/9人投稿    338天前    待托管赏金

我们现在在做使用Lean形式化证明IMO题目，目前情况是我们实现了大部分框架的证明，但技术细节处理耗费了太多时间，所以想找个小伙伴一起做，绝对真诚，欢迎联系，希望对mathlib熟悉，环境我这边可以提供，题量很大，可以做一段时间

电鸭    34人浏览/8人投稿    338天前    待托管赏金

武汉优家生活 招募c++/phtyon小伙伴一名，可选择性坐班 工作内容： 利用现有AI平台，开发一个商品介绍桌面软件，并且形成语音输出，用户无人直播使用； 多少钱 在武汉，全职还是兼职，待遇情况？ 请问一下是可以全程远程吗？还是项目期间一周必须安排几天到线下对接？

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

描述：页面不多，照搬已完成的国内小程序，接口都已经开发完毕。 工作周期：时间比较紧，到月底 8 月 31 号前需要上架 要求： 1.根据需求完成 ios 和 android 应用程序开发，调试，维护及适配 2.3 年以上开发经验，熟悉海外谷歌上架和 appstore 3.有过在海外上架的项目 4.能够独立解决技术问题，保证应用的稳定性和性能 工作模式：外包，需要每天都出结果 联系方式：MTE1MTkwNzYyMUBxcS5jb20= （简单介绍下自己，并最好携带下自己的作品，顺利的话可以长期合作）

实现网    23人浏览/2人投稿    338天前    待托管赏金

用户可以通过自然语言输入复杂问题或多维需求，而搜索引擎则会根据语境、个性化偏好以及语义关系进行精准匹配和推荐。基于RAG（检索增强生成）搭建本地搜索系统，参考Google Cloud的Agent Builder方案； 使用向量数据库（如ChromaDB）+ BGE-M3嵌入模型，实现语义搜索。

YesPMP    58人浏览/2人投稿    338天前    待托管赏金

嵌入式硬件自动测试工装项目，具体内容如下，工期7-10天左右，费用大概5K吧，可以谈。有经验的服务商可报价沟通详情。

软件项目交易网    49人浏览/0人投稿    338天前    待托管赏金

已有仪表电路板上芯片程序开发改进，或硬件开发，上位机软件开发。北京的

智城外包网    59人浏览/6人投稿    338天前    待托管赏金

一个用于特定行业的多商家商城的微信小程序应用，大概需求如下: 1. 商家注册入驻，审核后，可发布服务或商品信息；商家分为三类，免费（普通商铺），保证金（商品优先展示），充值（优先匹配需求用户），申请提现等。 2．用户注册浏览，根据需求，选择合适的服务...

我爱方案网    21人浏览/4人投稿    338天前    待托管赏金

操作系统：Linux或armbian 主控：AK3760D（或同类型同价格成熟方案） 400MHz以上 闪存/内存：32MB/128MB 供电方式：5V/1A,microUSB 通讯协议： TCP/IP、WiFi 作为网关使用；成本要低 服务商最好是深圳的，交期要2个月内。

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

我在做公司宣传的时候，需要转发我的小视频，每次转发到我自己的群或我在的群里，合规的产品宣传，所以需要根据微信转发规则，可以搜索出来我要定向转发的群或微信好友，然后定向推我的产品宣传。目前手动一次可以转9个群，如果是系统可以根据条件进行筛选，如选择生产制造的群，然后一次最多发9个，其他再按次数转发，得根据微信的转发规则进行。可以查询，可以统计发了多少，转发了多少，如果能知道谁看了，谁留言了，就更加完美。 要求有微信二次开发经验。有成功案例，如果有现成的产品就更完美了。 含源码，定制开发，功能简单好用。

YesPMP    56人浏览/0人投稿    338天前    待托管赏金

线上商城+后台WMS+TMS系统的源码购买不，轮胎行业，仓库管理，java源码，有的竞标沟通。