Topic
Replies
Views
Activity
-
远程工作方法论？ 问答 现向门友求助一个略微低级的问题，有没有好用的远程工作的软件。 背景 本人有一台 ubuntu 22.04 的主机，其一般情况下会在路由器 A 的子网下，路由器 A 在校园网下有着 ipv4 地址，现在 lz 想使用 windows 11 在校园网下直接访问到 ubuntu 主机，并且需要是能够在 win PC 上以图形界面显示 ubuntu。可能需要将 ubuntu 穿透到校园网叭。 lz 看到有一些师兄师姐远程办公的情形，电脑的显示屏… 807
-
DDIA 作者：预测 人工智能将使形式化验证走向主流 深入交流 预测：人工智能将使形式化验证走向主流 作者：马丁·克勒普曼（Martin Kleppmann） 发布日期：2025 年 12 月 8 日 人们已经广泛讨论过人工智能（AI）对软件开发的影响，但有一个角度我还没怎么见到有人提及：我相信，AI 将使形式化验证（formal verification）——这一数十年来一直被视为小众甚至边缘领域的技术——真正进入软件工程的主流。 像 Rocq、Isabelle、Lean、F* 和 Agda 这样… 973
-
1.7k
-
编译器 谈笑风生 有做编译器的兄弟嘛，想相互交流一下，最近做 MLIR 这块属实有点吃力了，还望交流啊 330
-
【记录】这是什么？算法（第 4 版）？速通一下 学术专区 小红书刚刚到货，虽然一打开就看到了 Java 代码有点呃呃，但用的都是基本语法能看懂 ✌️😓。作业习题什么的就用 C/C++ 写一下好了。 看介绍说这是一本给低年级学生的一学期课程教材，那就是标准的学习时间为 4 个月。但是既然是自己啃，没有规定的课程节奏，那还是希望早一点结束为好。所以我定的目标是 Nov 21, 2023, 11:59:00 PM (Asia/Shanghai)，也就是我的生日前夜。 虽然不一定能做到，可能中途还会… 2k
-
图形学实验框架 Dandelion 始末（二）：最初原型实现 深入交流 转载自我的博客 图形学实验框架 Dandelion 始末（二）：最初原型实现 ，按 CC BY-NC-SA 4.0 协议发布。 当我有了初步的需求分析结果，下一步就可以开始写代码了。虽然当初动手实现之前已经有了一些思考和设计，但后来写出的代码还是有不少问题。这一篇文章回顾最初对代码结构的设计，其中有很多粗糙的地方后来被大幅度重构，但事件循环和交互处理的部分还是大致留存下来了。 上一篇回顾： 图形学实验框架 Dandelion 始末（一）… 426
-
434
-
688
-
539