CodeAid:平衡学生和教育者需求的课堂LLM编程助手

2024-06-08
CodeAid:平衡学生和教育者需求的课堂LLM编程助手

本文介绍了CodeAid,一个在课堂上部署的基于LLM的编程助手。CodeAid旨在为学生提供帮助,同时避免直接给出代码答案,以解决教育工作者对学术诚信和学生过度依赖AI的担忧。研究人员在一个700名学生的C语言编程课程中部署了CodeAid,并收集了学生使用数据、调查和访谈。结果显示,CodeAid在提供编程帮助方面取得了成功,学生们赞赏它的全天候可用性和个性化帮助。研究人员还提出了未来教育AI助手的四个主要设计注意事项:利用AI的独特优势、设计AI查询界面、平衡AI响应的直接性以及支持信任、透明度和控制。

阅读更多
未分类 教育技术

Batfish:一款强大的网络配置分析工具

2024-06-08
Batfish:一款强大的网络配置分析工具

Batfish是一款开源网络验证工具,通过分析网络设备配置,确保网络安全、可靠和合规。它可以识别配置错误、验证网络策略以及分析变更影响。Batfish支持多种网络设备和操作系统,并提供详细的分析结果。它可以集成到自动化流程中,帮助网络工程师在部署前验证配置更改,防止故障和安全漏洞。

阅读更多
74

再生城市花园 I:免耕园艺

2024-06-08
再生城市花园 I:免耕园艺

这篇文章介绍了免耕园艺的益处和具体操作方法。作者倡导再生农业,并将其运用到自家花园。免耕园艺指不翻耕土壤,而是通过使用宽叉松土、铺设“千层面覆盖物”来抑制杂草、增加肥力。作者详细介绍了“千层面覆盖物”的构成,并推荐了相关视频资源。

阅读更多
未分类 免耕 再生农业

绿叶蔬菜中发现轮胎添加剂

2024-06-08

一项新研究表明,在瑞士、西班牙和意大利种植并在瑞士超市销售的绿叶蔬菜中发现了用于防止汽车轮胎老化和腐蚀的几种化学物质的痕迹。研究人员在从瑞士超市收集的15个样本中,有11个样本发现了轮胎成分,在从以色列田间收集的13个样本中,有9个样本发现了轮胎成分。其中发现的化学物质包括6PPD,这是一种用于防止轮胎 cracking 的添加剂,它可以转化为一种对银大马哈鱼具有致命性的化合物。

阅读更多
未分类 轮胎添加剂

Promptframes:人工智能时代线框图的演变

2024-06-08
Promptframes:人工智能时代线框图的演变

Promptframes 是一种新的设计交付物,它将经典的 UX 线框图与生成式 AI 的提示编写相结合,以提高内容保真度并加速用户测试。Promptframes 通过在现有线框图中定位地组织和记录提示来补充传统的线框图。UX 设计人员可以在设计过程的早期创建 promptframes,因为他们开始着手设计界面以满足需求。

阅读更多

高度连通的网络中总是存在循环

2024-06-08
高度连通的网络中总是存在循环

文章主要介绍了数学家证明了一类被称为扩展图的图形一定包含哈密顿循环。哈密顿循环是指在图中访问每个点恰好一次并返回起点的路径。长期以来,数学家一直试图解开保证哈密顿循环存在的条件。2002年,Michael Krivelevich和Benny Sudakov猜想,所有扩展图都包含哈密顿循环。经过20多年的努力,Sudakov与其他数学家终于在2024年2月证明了这一猜想。他们利用了Pósa旋转和排序网络等技术,成功地将一组长路径连接成一个哈密顿循环。这一发现对数学和计算机科学具有重要意义,因为它建立了两个核心概念之间的基本联系,并可能在未来带来重要的应用。

阅读更多

在我脑海中免费运行了 30 年的代码

2024-06-08

本文讲述了作者在 12-13 岁时学习 Pascal 编程语言的经历。作者回忆起一段处理磁盘停放的 Pascal 代码,这段代码困扰了他 30 年之久。由于当时作者对计算机底层知识了解有限,无法理解代码中出现的寄存器、BIOS 调用等概念,因此这段代码在他脑海中留下了深刻的印象。最终,作者通过查阅资料和分析,成功理解了这段代码的含义。

阅读更多
45
未分类

微小蕨类植物拥有地球上最大的基因组

2024-06-08
微小蕨类植物拥有地球上最大的基因组

新喀里多尼亚的一种小型蕨类植物Tmesipteris oblanceolata被发现拥有地球上所有生物体中最大的基因组。其每个细胞中的DNA含量是人类的50倍以上,基因组大小为160.45千兆碱基对,超过了此前记录保持者日本Paris japonica植物。这一发现为生物的基因组大小极限和植物多样性提供了新的视角。

阅读更多
53
未分类 蕨类植物

互联网档案馆的后台

2024-06-08

这篇文章讲述了互联网上一个名为“后台”的都市传说,其核心是一张拍摄于2002年、展示了一系列空旷房间的图片。这张图片在2010年代开始流传,并于2019年被赋予了都市传说的色彩。人们围绕这张图片创作了恐怖故事、视频和游戏,并对“阈限空间”产生了兴趣。然而,互联网档案馆的爬虫在2003年就已抓取并保存了这张图片的原始来源。这一发现揭示了“后台”照片的来源,也引发了人们对互联网记忆、传说与真相之间关系的思考。

阅读更多
未分类 都市传说

LSP-AI: 为软件工程师赋能的开源语言服务器

2024-06-08
LSP-AI: 为软件工程师赋能的开源语言服务器

LSP-AI 是一款开源语言服务器,为软件工程师提供 AI 驱动的功能,旨在协助和增强工程师的能力,而非取代他们。它支持多种编辑器,例如 VS Code、NeoVim 和 Emacs,并提供自动补全等功能。LSP-AI 的目标是通过与工程师熟悉和喜爱的工具集成,简化 AI 功能的使用。它支持多种 LLM 后端,包括 llama.cpp、OpenAI 和 Anthropic API,并计划在未来支持更多功能,例如语义搜索驱动的上下文构建和基于代理的系统。

阅读更多
68
未分类 语言服务器

穷人的3D相机

2024-06-08

本文讲述了作者在开发游戏《Deceiver》过程中,花费数年时间不断迭代和试错,最终解决第三人称相机问题的经历。作者最初尝试了多种方法,包括强制移动相机、剔除几何体、使用着色器等,但都遇到了各种问题。最终,作者通过不断简化设计、借鉴他人建议以及巧妙运用技术手段,成功打造了令人满意的第三人称相机效果。

阅读更多
51
未分类 3D相机

美国太阳能发电量激增,风能发展受阻

2024-06-08
美国太阳能发电量激增,风能发展受阻

尽管美国政府出台了旨在推动可再生能源发展的政策,但效果并不均衡。太阳能发电量创历史新高,而风能发展却陷入停滞。文章分析了造成这种差异的原因,包括风力发电对地理位置的依赖性、输电线路不足、审批流程漫长以及社区反对等。文章还强调了风能在实现减排目标中的重要性,并指出如果风能发展持续受阻,美国将更加依赖其他清洁能源技术,这将增加实现净零排放目标的难度。

阅读更多
未分类

巨型蚯蚓如何改变了拉姆岛的地貌

2024-06-08
巨型蚯蚓如何改变了拉姆岛的地貌

拉姆岛不仅以其繁衍的红鹿种群而闻名,其蚯蚓也非同寻常。这些无脊椎动物充当着“生态系统工程师”的角色,积极地塑造着景观,而这种塑造往往是在人类在这座偏远岛屿上留下印记之后发生的。文章作者通过30多年的调查,揭示了人类是如何影响这个国家自然保护区蚯蚓目前零散分布、多样性和数量的。蚯蚓的分布与人类活动息息相关,无论是早期人类的森林砍伐和耕种,还是近代富裕地主从外地运来的土壤,都改变了土壤的肥力,从而影响了蚯蚓的种类和数量。此外,海鸟的筑巢也为土壤带来了丰富的养分,使得某些地区的蚯蚓数量大幅增加。

阅读更多
未分类 蚯蚓 拉姆岛

汽车颜色:过去20年越来越单调

2024-06-08
汽车颜色:过去20年越来越单调

根据iSeeCars的数据,与20年前相比,如今的汽车颜色变得更加单调,黑色、白色、灰色和银色占据了新车市场的80%,这比2004年增加了20%。尽管汽车制造商提供了多种颜色选择,但消费者似乎更倾向于购买灰阶色系的汽车,导致非灰阶色系汽车的市场份额在过去20年里减少了一半。

阅读更多
未分类 市场趋势

志愿参加一战的“十字军”骑士

2024-06-08
志愿参加一战的“十字军”骑士

这篇文章讲述了一群格鲁吉亚山民,被称为克赫维尔斯人,在1915年响应号召参加一战的故事。他们被认为是十字军骑士的后裔,居住在高加索山区,保留着传统的生活方式。当第一次世界大战的消息传到他们耳中时,他们身披盔甲,手持剑盾,骑马前往首都,询问战争的发生地。尽管他们的装备已经过时,但他们的行为展现了格鲁吉亚人保家卫国的决心。

阅读更多

西方湿地面临困境,一些甚至被完全忽视

2024-06-08
西方湿地面临困境,一些甚至被完全忽视

文章报道了美国西部湿地现状堪忧,许多富含碳的森林湿地未被标注在地图上。研究人员利用激光雷达技术发现了这些隐藏的湿地,并强调了湿地对碳储存、生物多样性、水净化和防洪的重要性。文章还指出了湿地面临的威胁,包括干旱、过度放牧和气候变化,以及美国最高法院对湿地保护的削弱。

阅读更多
未分类 湿地

Asahi Linux 安装程序

2024-06-08
Asahi Linux 安装程序

这篇文档介绍了 Asahi Linux 安装程序,这是一个用于在 Apple Silicon Mac 设备上安装 Asahi Linux 发行版的工具。该程序提供了一个简单易用的图形界面,允许用户选择安装选项并完成安装过程。

阅读更多
51
未分类 Apple Silicon

提升思维的工具 | Untools

2024-06-08

Untools 网站提供一系列思维工具和框架,帮助用户解决问题、做出决策和理解系统。网站上的工具涵盖了系统思考、决策、问题解决和沟通等多个领域,例如:OODA循环、概念图、石川图、Cynefin框架等等。用户可以通过使用这些工具,更有效地进行思考和解决问题。

阅读更多
44
未分类 思维工具

在Linux上启用USB串口控制台

2024-06-08

这篇文章介绍了如何在Linux系统上启用USB串口控制台,以便在没有屏幕、键盘或网络的情况下与设备进行通信。文章详细介绍了配置ttyUSB0的方法,包括使用systemd服务管理和在不同Linux版本上的操作步骤。此外,文章还推荐了使用CoolTerm串口终端应用程序连接USB串口控制台,并提供了详细的操作步骤和配置建议。

阅读更多
未分类 USB串口 CoolTerm

比亚迪推出续航644公里电动巴士,剑指伦敦公交系统

2024-06-08
比亚迪推出续航644公里电动巴士,剑指伦敦公交系统

比亚迪发布全新电动双层巴士BD11,续航里程超过644公里,目标取代伦敦现有的Routemaster巴士。BD11搭载532kWh电池,采用比亚迪自主研发的刀片电池技术,预计使用寿命长达12至20年。该巴士将于2024年第三季度在伦敦投入运营,比亚迪希望借此助力伦敦在2030年前实现公交系统全面电动化。

阅读更多

R 还是 Python 更适合生物信息学?

2024-06-08

文章探讨了 R 和 Python 在生物信息学领域的优缺点。作者认为,对于快速分析和使用预构建包,R 更胜一筹,因为它对数据框有很好的支持,并且拥有丰富的 Bioconductor 生态系统。而 Python 作为一种通用编程语言,在深度学习方面更有优势,但预构建的生物信息学包较少。对于需要处理大型数据集的情况,Python 的内存管理机制优于 R,但 R 也提供了 DelayedArray 来解决这个问题。总的来说,两种语言各有优劣,建议学习者根据实际需求选择合适的语言。

阅读更多
未分类 生物信息学

计算机编年史回顾:Lotus 1-2-3 的宏

2024-06-08

本文回顾了 1986 年 11 月播出的一集 PBS 节目《计算机编年史》,主题是讲解 Lotus 1-2-3 电子表格软件的宏功能。 节目嘉宾包括宏编程专家和普通用户,他们展示了如何使用宏来自动执行任务、创建自定义菜单系统以及节省时间。 文章还介绍了宏在其他软件中的应用,例如 Symphony,以及宏是如何改变人们使用计算机的方式。

阅读更多
未分类 Lotus 1-2-3

惠普CEO:疫情以来打印页数下降20%

2024-06-08
惠普CEO:疫情以来打印页数下降20%

惠普CEO恩里克·洛雷斯近日表示,自疫情以来,打印页数下降了20%。居家办公和企业减少资本投资是导致打印量下降的主要原因。尽管惠普试图通过订阅服务和预装墨盒的打印机来增加利润,但打印硬件收入已连续九个季度下滑,客户使用现有设备的时间也更长。

阅读更多
未分类

Scipress 文档

2024-06-08
Scipress 文档

Scipress 是一个面向程序员、数学家、工程师和科学家的技术内容写作和分享平台。Scipress 使技术内容写作变得轻松有趣,用户可以通过出售受众内容的访问权限来赚钱。Scipress 提供了一套丰富的功能来组织和设计内容,用户可以使用 Scipress 制作菜谱书、私人内部知识库、操作手册和编程挑战集合等。

阅读更多

南极水利基础设施

2024-06-08

本文详细介绍了南极麦克默多站和南极点的供水和废水处理基础设施。麦克默多站利用海水淡化技术,将海水净化为饮用水,并将处理后的废水排放到海洋中。而南极点则依靠融化积雪获取淡水,并将未经处理的废水存储在地下。

阅读更多
54
未分类 水处理

一座桥梁能是不道德的吗?

2024-06-08

本文探讨了设计中伦理与政治的关系,以罗伯特·摩西设计的低矮桥梁为例,探讨了设计如何体现社会不平等。文章认为,设计的意图难以证明,但设计的结果却显而易见,设计师有责任将伦理纳入设计过程,避免产生歧视性和不公正的结果。文章还介绍了价值敏感设计等方法,强调设计不仅要满足用户需求,还要考虑更广泛的社会影响。

阅读更多
51

人类历史上生育最安全的时代:孕产妇死亡率的下降挽救了数百万母亲的生命

2024-06-08
人类历史上生育最安全的时代:孕产妇死亡率的下降挽救了数百万母亲的生命

文章指出,得益于医疗技术的进步和经济的发展,全球孕产妇死亡率大幅下降。自2000年到2017年,全球孕产妇死亡率降低了38%,低收入国家的降幅更是高达46%。这主要得益于抗生素的使用、专业医护人员的增加以及避孕措施的普及。尽管取得了巨大进步,但低收入国家和高收入国家之间仍然存在巨大差距,经济发展是降低孕产妇死亡率的关键。

阅读更多
1 2 920 921 922 924 926 927 928 1084 1085