互站网    35人浏览/7人投稿    184天前    待托管赏金

1.内核为https://ourcms.cn/，我自己买了商业版，可以提供插件开发手册（https://doc.ourcms.cn/show/news-150.html）后台演示地址： 2.目前发帖模式（需前往后台演示登陆后以下链接才生效）2.1网站后台发帖 https://demo.ourcms.cn/myadmin/index.php?t=open&n=comsite&c=index&a=edit&action=news2.1通过网站自带的api接口发帖 https://demo.ourcms.cn/myadmin/index.php?t=open&n=comsite&c=collect&a=jianshu3.具体需求 3.1发布内容的时候可选生成pdf、word到指定目录3.2生成的内容为当前文章字段的内容（代码） 如文章内容为：你好 你好我好大家好那生成的内容就是以上代码字段，不讲求排版格式，生成就好。 3.3.生成的文件标题为随机数字加文章名（文章名不能有特殊字符和标点符号）

电鸭    31人浏览/7人投稿    184天前    待托管赏金

【工作内容】 1、使用Lean4形式化数学竞赛题目的解题过程，确保形式化结果清晰易懂、符合逻辑并通过Lean验证 2、学习最新形式化方法和工具，提升技能，协作解决形式化中的技术难题。 薪资面议，可谈 【岗位要求】 1、数学/理科相关专业优先，参加过数学竞赛且获奖者优先;精通初高中数学竞赛知识和相关运算，成绩优异; 2、熟练应用Lean数据编程语言，能依据国际奥赛的解题步骤答案，输出Lean语言的推理步骤，并验证无误; 3、扎实的数学基础，精通形式化定理证明语言Lean4，具备出色的Lean4编程能力，能够熟练运用Lean4进行数学定理的形式化工作; 4、优先考虑具有以下经验者:参与过形式化证明项目对Mathlib有commit经历，熟悉Lean语言元编程，具备训练或部署LLM辅助自动定理证明的经验。

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

招聘: 数学，计算机相关专业或懂lean语言的高、精、专兼职 学历: 本科、研究生 工作: 使用Lean4形式化数学竞赛题目的解题过程 待遇: 日薪300+提成（计件多劳多得），日均500+ 时间: 自由，自己安排 周期: 有数据包可持续做

实现网    48人浏览/3人投稿    184天前    待托管赏金

招聘: 数学，计算机相关专业或懂lean语言的高、精、专兼职 学历: 本科，研究生 工作: 使用Lean4形式化数学竞赛题目的解题过程 待遇: 日薪300+提成（计件多劳多得），日均500+ 时间: 自由，自己安排 周期: 有数据包可持续做

软件商务网    22人浏览/4人投稿    184天前    待托管赏金

网课今晚必须刷完，需要开倍速，但是老师规定不让开，如何快速刷完，有能实现的请联系我。

软件商务网    32人浏览/3人投稿    184天前    待托管赏金

发次世代场景，找个人和工作室，无作品不回复。

软件商务网    14人浏览/8人投稿    184天前    待托管赏金

需要开发一个批量上传工具，能做的大佬请联系我。

软件商务网    52人浏览/2人投稿    184天前    待托管赏金

有制作次世代枪械及坦克模型的个人，请联系我一下。

软件商务网    65人浏览/0人投稿    184天前    待托管赏金

会C4d渲染的个人，有兄弟加我，小物件量比较大，有档期的兄弟请联系我。

互站网    50人浏览/8人投稿    184天前    待托管赏金

想做一款自己想要的app主要卖一款单一软件，大概自己画了画草图，想找个UI设计出来，然后开发，会做的联系QQ1606578885，资金可走互站担保