solidot新版网站常见问题,请点击这里查看。
adv
软件
wanwan(42055)
发表于2021年08月16日 16时36分 星期一
来自棕榈上的霜
语言是一种强大的工具。编程语言难学难懂在很多教师和研究人员眼中似乎成了一种共识。学术论文经常会强调编程的难度,好像这个结论天经地义、不容辩驳。但批评之声已经出现,人们认为这种立场可能导致教学实践缺乏反思、严重影响学生成绩,并很可能对教育的多样性与公平性产生冲击。事实上,一件事物“很困难”的概念会通过多种日常机制被四处传递扩散,进而在不知不觉当中经由我们的教学习惯、教科书语言、术语、教室中肃穆的氛围、工具乃至编程语言的设计特性等被固化为一种事实。最典型的例子之一当数编程错误信息,这类信息在几乎所有语言中都成了混乱、沮丧与恐怖的化身,而且往往在人们眼中既神秘又难以理解。“编程很难”的观念被我们的课堂、工作场所、学术文献乃至媒体资讯所一再强化,但这种基本立场更多反映的只是种意识形态化的判断,缺乏充足的现实证据。更重要的是,编程很难的说法很可能引发明确的直接影响,通过持续传达的间接信息给学生、教育工作者、社区乃至计算学科本身产生难以预料的后果。而这一切,长期以来并没能得到充分关注。
软件
WinterIsComing(31822)
发表于2021年08月16日 09时16分 星期一
来自蒲公英王朝2:风暴之墙
英特尔宣布它的 Intel C/C++ 编译器采用了 LLVM 项目的技术,显著改进了性能。LLVM 是一套编译器基础设施项目,包含一系列模块化的编译器组件和工具链,用来开发编译器前端和后端。英特尔开发者称,原来的 Intel C/C++ 编译器性能比 GCC 高 18%,采用 LLVM 之后优势提高到了 41%。基于 LLVM 的 Intel C/C++ 编译器构建时间更快,测量显示构建时间减少了 14%。
软件
WinterIsComing(31822)
发表于2021年08月04日 23时10分 星期三
来自龙牙
WhatsApp 推出让照片或视频在一次浏览之后就自动删除的功能。WhatsApp 称该功能让用户能更好的控制他们的隐私。儿童保护倡导人士对此功能表达了担忧,认为自动删除信息的功能可能有助于隐藏儿童性虐待的证据。该功能与 Snapchat 的阅后即焚类似,能被屏幕截图或屏幕录像等方法绕过。使用该功能之后,信息不能被转发、保存或共享,如果信息在两周内没有打开它将会过期。
软件
WinterIsComing(31822)
发表于2021年07月04日 22时11分 星期日
来自乌鸦从高塔坠落
读者  写道 "非盈利性免费软件推荐网站 Gizmo’s Freeware 暂定于本月15日关闭。声明感谢用户的一路陪伴。多年来,Gizmo 依靠站长自掏腰包,读者捐赠和广告收入艰难维持。网站编辑均为无偿的志愿者。随着世界从台式机转向移动设备,站点流量和广告收入下降,以致无法再支付运营网站的成本。Gizmo’s Freeware 的运行 始于 2008 年 5 月。"
人工智能
WinterIsComing(31822)
发表于2021年06月30日 10时25分 星期三
来自图夫航行记
Github 开始公测它的 AI 结对程序员 Copilot。这个 AI 助手在开发者写某个函数时能根据上下文补充完剩余代码,就像是一起结对编程。GitHub Copilot 使用了数十亿行代码进行训练,支持广泛的框架和编程语言,其中包括 Python、JavaScript、TypeScript、 Ruby 和 Go 等,。有 alpha 测试者 Copilot 十次有一次能正确补充开发者想要写的代码,AI 好像真的能读心一样。
软件
WinterIsComing(31822)
发表于2021年06月26日 16时52分 星期六
来自守夜者
Tor 项目开发者宣布 Tor Browser 10.5 将移除 Tor Launcher,连接到 Tor 网络节点的过程将整合到浏览器内而不是在启动时连接。开发者称,它的调查发现用户对输入网桥地址的方法感到困惑,对 Tor Launcher 的启动和浏览器窗口打开之间的时间间隔感到迷茫。为了改善用户体验它决定移除 Tor Launcher UI,将 Tor 网络连接嵌入到主浏览器屏幕。本月晚些时候释出的 Tor Browser 10.5 将包含这一变动。
软件
matrix(791)
发表于2021年06月24日 08时53分 星期四
来自遥远地球之歌
sadhen 写道 "2013年年底,GNU TeXmacs发布了1.99.1,从此进入了1.99.x的修行之旅。

八年过去了,总计将近6000次代码提交,1.99.x终于结束了,GNU TeXmacs 2.1发布了。

Welcome to GNU TeXmacs (FSF GNU project)

点击上面的链接,下载并安装GNU TeXmacs。

从今天起,做一个GNU TeXmacs 2.x的用户吧!"

软件
WinterIsComing(31822)
发表于2021年06月19日 18时48分 星期六
来自第一日
芯片短缺对汽车行业的巨大冲击让很多人意识到今天的汽车使用了大量的微芯片,运行了惊人的代码。软件已经成为了汽车不可缺少的一部分。10 年前仅有高档车才会使用 100 个基于微处理器的微控制单元(ECU),运行大约一亿行代码。今天像 BMW 7 系列这类配备先进辅助驾驶系统的高档汽车可能使用了 150 个以上的 ECU,皮卡如福特 F-150 运行的代码行数高达 150 亿。甚至低端汽车使用的 ECU 都接近 100 个,代码行数 1 亿以上。咨询公司 Deloitte Touche Tohmatsu Limited 估计,2017 年新汽车四成的成本与基于半导体的电子系统相关,到 2030 年电子系统所占的成本比重将达到五成。Deloitte 估计,汽车四成以上的开发预算与系统集成、测试和验证相关。
软件
WinterIsComing(31822)
发表于2021年06月07日 22时55分 星期一
来自时间的折皱
文本编辑器 Notepad++ 释出了 v8。主要新特性包括:深色模式(Dark Mode)、ARM64 构建版本,工具栏 Fluent UI 图标,免干扰模式,深色模式 API NPPM_ADDTOOLBARICON_FORDARKMODE,一次点击操作关闭所有标签,移除 Microsoft Bing 搜索,多个 bug 修正等等。
Android
WinterIsComing(31822)
发表于2021年06月05日 23时11分 星期六
来自平格尔的奇遇
孟加拉国技术工程大学和 UCLA 的研究人员开发出一种框架,能从文本描述创造 Android 应用。研究报告(PDF)发表在预印本网站 arXiv 上。这项研究在人类语言和编程语言之间架起桥梁,让编程变得更容易。大部分此类的技术是基于端对端的神经网络机器翻译,类似 Google 翻译使用的技术。但绝大部分它们都无法生成包含数百行代码的应用。为了克服这一限制,研究人员创造了一种形式语言,能抓住应用代码中的复杂性。他们开发的框架被称为 Text2App,其演示发布在 GitHub 上。
软件
WinterIsComing(31822)
发表于2021年05月21日 18时47分 星期五
来自即临之族
跨平台源码编辑器 Sublime Text 释出了 4 系列的首个稳定版本,Sublime Text 4 的一大改变是许可证不再只绑定一个大版本,而是对购买三年内的所有更新都有效。之后用户仍然可以访问三年内 Sublime Text 释出的每一个版本,但较新的构建版本将需要许可证升级。新版的主要变化包括:文件标签多选;原生支持 Apple Silicon,Linux ARM64 版本支持 Raspberry Pi,更新了 UI,重写了内容感知自动完成,支持 TypeScript、JSX 和 TSX,改进了语法高亮引擎,能利用 GPU 渲染,更新到 Python 3.8,兼容 Sublime Text 3,等等。其它变化可浏览 Changelog。
软件
WinterIsComing(31822)
发表于2021年05月19日 16时07分 星期三
来自星髓
Adobe 在 1980 年代设计的数字排版字体 PostScript Type 1 即将走进历史。Adobe Photoshop 在今年停止支持 PostScript Type 1,到 2023 年 Adobe 的其它产品也将停止支持该字体。PostScript 字体是 Adobe 为专业数字排版开发的大纲字体规范编码的字体文件。该系统使用 PostScript 文件格式来编码字体信息。Adobe 在 1984 年的 PostScript 页面描述语言中定义了 Type 1 和 Type 3 字体格式。但在 1985 年 3 月支持 PostScript 的激光打印机 Apple LaserWriter 面世,它才真正流行起来。在当时,轮廓字体只在打印机中使用,屏幕上依旧用位图字体。
软件
1
WinterIsComing(31822)
发表于2021年04月29日 18时26分 星期四
来自诺比与错乱的时间线
微软宣布 Microsoft Office 办公软件的默认字体 Calibri 将退役。微软设计团队称,Calibri 做的很好,但现在是时候前进了。Calibri 是从 2007 年开始取代 Times New Roman 作为默认字体。那么谁将替代 Calibri?微软正在评估五种新字体:Tenorite、Bierstadt、Skeena、Seaford 和 Grandview,都是无衬线字体,而 Microsoft 365 订阅用户现在就可以试用,微软欢迎递交使用后的反馈。
软件
WinterIsComing(31822)
发表于2021年04月22日 23时18分 星期四
来自穿越黑暗之门
无损数据压缩有点像魔术。有损压缩更容易理解,它通过选择性的移除部分比特降低容量。而在无损压缩中,比特消失了,但在解压之后它们又出现了。就像表演魔术。魔术界有 Houdini,而数据压缩领域有 Jacob Ziv。IEEE Spectrum 发表文章介绍了获得今年 IEEE 勋章的计算机科学家 Jacob Ziv。Ziv 和 Abraham Lempel 分别在 1977 年和 1978 年开发了两种无损数据压缩算法 Lempel-Ziv 77(LZ77) 和 LZ78,为 GIF、PNG 和 ZIP 文件的开发奠定了基础。LZ77 不是第一种无损压缩算法,但因为其易用性而获得巨大成功。Ziv 开创了通用源编码,一系列无需知道固有信息压缩数据的算法,减少了从不失真和失真数据重建图像所需的数据率。Ziv 于 1931 年出生在当时由英国统治的巴勒斯坦城市 Tiberias(现属于以色列),父母是俄罗斯移民,第一次阿以战争爆发时他在读高中,他曾短暂在前线服役,由于一群母亲的抗议他从前线回到了后方,在空军受训担任雷达技师。战争结束后到以色列理工学院读电机工程,获得硕士学位后加入了国防研究实验室,1959 年被选择去美国深造,1960 年在 MIT 读博,返回以色列后进入了国防部担任通信部门主管,1968 年进入了贝尔实验室,1970 年加入以色列理工学院。
安全
WinterIsComing(31822)
发表于2021年04月20日 21时16分 星期二
来自人猿泰山之米甸探险
OpenSSH 项目释出了 8.6。因 SHA-1 哈希算法的构造前缀碰撞攻击成本不到 5 万美元,OpenSSH 项目将默认禁用 ssh-rsa 公钥签名算法,但这并不意味着要停止使用 RSA 公钥,它仍然能配合不同算法用于签名,如 ssh-rsa 可以用 rsa-sha2-256(RSA/SHA256)、rsa-sha2-512(RSA/SHA512) 和 ssh-rsa(RSA/SHA1)签名,只有最后一个将被默认禁用。
软件
WinterIsComing(31822)
发表于2021年04月09日 18时53分 星期五
来自最后的守护者
微软预装在 Windows 10 操作系统中的云储存和同步软件 OneDrive 终于发布首个 64 位版本。该版本目前还是预览版本非正式版本。微软称,如果用户使用 64 位操作系统,计划使用到大文件或者文件数量很多,那么 64 位版本是正确的选择。但 64 位版本只支持 x86 不支持 ARM,如果使用的是 Windows 10 on ARM 电脑如 Surface,那么现阶段还是只能选择用 32 位版本。
软件
WinterIsComing(31822)
发表于2021年02月11日 20时27分 星期四
来自失落之心
一位得州律师使用猫咪滤镜出席法庭听证会时否认他是猫咪的视频迅速火爆互联网,以至于许多人都在寻找相同的猫咪滤镜,结果人们发现这个猫咪滤镜有十年历史了,曾预装在部分戴尔电脑上。被称为 Live Cam Avatar 的软件曾是戴尔电脑上默认的用户虚拟头像软件,这不是用户第一次使用猫咪滤镜后不知道如何关闭。早在 2013 年,有用户报告通过 Skype 进行求职面试时发现头像是一只看起来悲伤的猫咪,反复搜索 Skype 菜单却找不到选项关闭滤镜。开发这款软件的公司 Reallusion 形容这个滤镜是一种可定制的面部表情动画,让你在视频聊天时候更有趣。Reallusion 公司现在已经不再提供猫咪滤镜。
软件
2
WinterIsComing(31822)
发表于2021年02月09日 22时46分 星期二
来自图书馆员与黄金锅
亚马逊 AWS、微软、Google、华为和 Mozilla 宣布成立了 Rust 语言基金会,承诺两年内投入 100 万美元预算,支持 Rust 项目维护者开发 Rust。Rust 语言始于 Mozilla 研究院,由 Graydon Hore 设计,作为 C/C++ 语言的一种替代,之后被 Mozilla 用于开发 Firefox 浏览器及其 Gecko 引擎的基础性功能,是最受程序员欢迎的新语言之一。去年 Mozilla 宣布了大规模裁员,Rust 团队被裁掉,Rust 语言的未来似乎悬而未决,基金会的成立解决了这一隐忧。
软件
WinterIsComing(31822)
发表于2021年02月04日 13时06分 星期四
来自少年地球护卫队:地球人觉醒
The Document Foundation 基金会宣布释出 LibreOffice 7.1 Community 社区版。社区版顾名思义和企业版的支持是不同的,基金会建议企业用户选择企业版本。LibreOffice 7.1 的主要新特性包括:改进 DOCX/XLSX/PPTX 文件格式的互操作性,改进 Writer 的表格,大幅改进 Writer 搜索和替换操作的速度,更好的管理 Writer 的缓存字段结果,等等。
软件
WinterIsComing(31822)
发表于2021年01月20日 21时29分 星期三
来自2061:太空漫游
由 Mozilla 联合创始人 Brendan Eich 所创公司开发的 Brave 成为首个支持 IPFS 点对点协议的浏览器。IPFS 代表 InterPlanetary File System,类似 BitTorrent 的点对点协议,设计作为去中心化储存系统,允许用户在数百甚至数千个节点之间共享不受审查的内容。当 Brave 探测到用户试图访问 IPFS 内容或使用原生地址如 ipfs:// 或 ipns://,浏览器会提示用户安装和启用 IPFS 节点,或使用一个 HTTP 网关。