FreeBSD 对 ARM 架构的支持升级为 Tier 1-低调大师

FreeBSD 对 ARM 架构的支持升级为 Tier 1

2021-04-13 624

FreeBSD 项目通过开发者邮件列表宣布，从 FreeBSD 13 起，FreeBSD 对 arm64 架构（也称作 AArch64）的支持级别将升级为 Tier 1。这就意味着 FreeBSD 会面向 arm64 设备提供发布镜像、二进制包、安全和勘误更新。当然，支持新架构的变更不可避免地会存在小瑕疵，不过 FreeBSD 团队认为目前的端口已足够成熟，并且他们会在 FreeBSD 13 的生命周期内解决问题。

FreeBSD 团队还在公告提到，他们最早于2014年启动了对 FreeBSD/arm64 的开发，Arm、Cavium 和 FreeBSD 基金会提供了财务和技术支持。2016年10月发布的 FreeBSD 11.0 是支持该架构的首个版本，此版本改进了内核、工具链、用户界面和端口。软件包基础架构自此也一直在优化和改进。

AArch64 生态的成熟确保了其产品的多样性及硬件的后续发展。FreeBSD 团队认为，AArch64 将是未来几年市场的重要组成部分，FreeBSD 增加对该架构平台的支持以及将支持级别升级为 Tier 1 可从中获益。

微信关注我们

原文链接：https://www.oschina.net/news/137175/arm64-becoming-tier1-in-freebsd13

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Google 工程师谈论开源逻辑编程语言 Logica

近日，Google 工程师在其开源博客中介绍了 Logica，一种新的开源逻辑编程语言。 Logica 是 Yedalog（Google 早期开发的一种语言）的继承者，是一种类似于 Datalog 的逻辑编程语言。其代码会编译成 SQL，并在 Google BigQuery 上运行（实验性地支持 PostgreSQL 和 SQLite）。此外，Logica 支持 SQL 所缺乏的干净和可重用的抽象机制，支持模块和导入，可以在交互式的 Python 笔记本上使用。文中提到，尽管 SQL 是处理数据的首选语言，但其并不是完美无瑕的，比如查询语句过长 —— 一个查询跨越数百行是经常发生的事情。然而，更关键的缺陷在于它对抽象的支持非常有限。好的编程通常是创建小的、可理解的、可重用的逻辑片段，这些逻辑片段可以被测试，被赋予名称，并被组织成包，这些包以后可以用来构建更有用的逻辑片段。但 SQL 抵制这种工作流程。 Google 工程师们认为 Logica 可以解决这些问题。其表示，逻辑编程语言通过使用数学命题逻辑的语法而不是自然英语语言来解决 SQL 的问题，形式逻辑的语言更是数学家专门为了使复...

2021-04-13

589

作者：吴小龙同学 1 今天是左小白入职新公司的第一天，这是左小白第二家公司，第一家公司工作 2 年，左小白后面已经能独立做整个项目，本想毕业就来这家公司，现在能力自我感觉也不错，是该涨波工资了，于是他找到领导，希望能涨 2 K，领导巴拉巴拉说了很多，就是没说涨工资，左小白心寒，这是宁愿再招人也不愿意给老员工涨薪！第二天，左小白就开始进入项目，他发现新公司版本控制是用的 Git，之前是 SVN，问了旁边的同事，跟他说，Git 和 SVN 没什么区别的，会 git add和git commit就够了，左小白心想，SVN 他已经用的很溜，Git 那岂不是信手拈来，拿起键盘就干起来了。 2 左小白首先安装 Git，git config好了邮箱和姓名，然后git clone项目，就看起了代码，熟悉项目。可能因为左小白是新人，组长先分给他简单的任务，登录页面实现，这对于左小白完全是杀鸡用牛刀，不到两个小时，他就完成了，自测也 OK，可以提交代码了。修改涉及到页面 login_activity.xml、LoginActivity.java、LoginModel.java、ApiStores.ja...

2021-04-11

481

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。