模型位于Zuidas WTC 1号和2号塔的接待大厅，今天将由市长费姆克·哈尔塞玛接收。这座城市一览无余的模型，与阿姆斯特丹市合作完成。房地产开发商科尔·范·扎德尔霍夫提出了这个想法。“目的是制作整个城市的模型，以便一目了然，并且尽可能地具有辨识度。因此，有二十台3D打印机持续运行，以单独识别每个建筑物。”
每日HackerNews RSS
阿姆斯特丹的一个3D打印模型（比例模型）在Hacker News上分享，引发了关于类似项目以及用于创建它们的数据的讨论。用户指出斯德哥尔摩有一个1:1000比例的可步行城市模型，并强调了公共激光雷达数据的日益普及，这使得个人能够生成并3D打印自己城镇的模型。
阿姆斯特丹模型使用了来自荷兰政府的高度详细的公共数据集，并结合了Netherlands3D.eu等资源。对话涉及了如此大规模项目的成本，专业安装的预估费用高达数十万美元。
一些评论者建议增强现实（AR）可能更适合这些可视化呈现，而另一些人则争论了使用塑料进行打印对环境的影响。一个用于从激光雷达数据生成模型的GitHub项目链接也被分享。最后，发布了一个Y Combinator申请公告。
欧洲各国政府正日益优先考虑数据主权和安全，并逐渐减少对美国科技公司的依赖。奥地利是最新案例，其武装部队以及联邦经济、能源和旅游部（BMWET）都做出了重大改变。
BMWET最近将其1200名员工迁移至Nextcloud，用于安全的数据存储和内部协作，从而摆脱了对外国云服务提供商的依赖。此举是在风险分析揭示了隐私问题后做出的，特别是关于GDPR和即将到来的NIS2指令。该实施在Atos Austria和Nextcloud的支持下，仅用四个月完成，采用了混合方法——保留Microsoft Teams用于*外部*通信，同时在内部使用Nextcloud处理敏感数据。
重要的是，BMWET大力投资于员工培训和逐步推广，从而获得了积极的反馈并最大限度地减少了干扰。此举凸显了欧洲国家寻求对其数据拥有更大控制权，并优先选择符合欧洲法规的解决方案的日益增长的趋势。
## 奥地利放弃微软，转向Nextcloud – 但情况复杂
奥地利政府部门正在从微软产品转向Nextcloud，引发了关于政府IT外包和数字主权的讨论。虽然新闻标题关注的是Nextcloud，但实施工作是由大型IT咨询公司Atos负责。这导致了批评，认为奥地利只是用另一个大型、可能存在问题的供应商来取代旧的，而不是建立国内IT能力。
评论员指出，奥地利政府依赖于像Atos这样与政治关系密切的咨询公司，引发了对腐败和浪费纳税人资金的担忧。许多人认为应该投资于国家IT团队，类似于丹麦和英国的模式，以开发和维护政府基础设施。
这场辩论也涉及政府IT项目的挑战、像LibreOffice（以及通过Collabora Online的Nextcloud办公套件）这样的开源解决方案的可行性，以及与成熟的科技巨头竞争的难度。一些人认为，美国18F和英国GDS等成功模式表明，吸引人才需要具有竞争力的薪资。最终，这一举动被视为朝着更大的数字独立迈出的一个小步骤，但需要更广泛的系统性转变。
微软将获得OpenAI 27%的股份，并可使用其AI模型至2032年。
Microsoft to Get 27% of OpenAI, Access to AI Models Until 2032
2 天前
彭博社 需要帮助？请联系我们 我们检测到您的计算机网络存在异常活动 要继续，请点击下面的框来确认您不是机器人。 为什么会发生这种情况？ 请确保您的浏览器支持 JavaScript 和 cookies，并且没有阻止它们加载。 更多信息请查看我们的服务条款 和 Cookie 政策。 需要帮助？ 关于此消息的咨询，请联系 我们的支持团队并提供以下参考ID。 阻止参考ID：f9a8f3a7-b406-11f0-b4e6-26522956ef5d 通过彭博社订阅，随时掌握最重要的全球市场新闻。 立即订阅
## 微软与 OpenAI 加深合作
近期彭博社的一份报告，在 Hacker News 上讨论，详细说明了微软与 OpenAI 之间加强的合作关系。微软将获得 OpenAI 27% 的股份，并将在 2032 年之前独家访问 OpenAI 的 AI 模型。
此次讨论引发了关于实现通用人工智能 (AGI) 时间线的争论，许多评论员对 OpenAI 反复的预测表示怀疑。一些人认为 AGI 将来自独立研究人员，而不是大型公司，并质疑微软获得 AGI 的“访问”意味着什么。
人们也对高级 AI 的更广泛的社会影响表示担忧，特别是关于劳动力市场中断和民主未来等问题。另一些人指出，驱动 AGI 追求的财务激励，认为这与其说是关于智能，不如说是关于无限且具有成本效益的劳动力。 预测市场目前估计 AGI 将在 2032-2033 年之间到来。
你需要启用 JavaScript 才能运行此应用。
病态：为类JSON数据结构设计的索引去重二进制存储。
Sick: Indexed deduplicated binary storage for JSON-like data structures
2 天前
## SICK：一种用于JSON类似数据的有效二进制格式
SICK是一个系统，用于使用高效、索引的二进制格式（EBA – 高效二进制聚合）存储和处理JSON类似数据。与需要完整文件读取和复杂AST创建的传统JSON解析不同，SICK允许即时访问特定数据、在多个结构中进行去重，以及潜在的流式更新。
核心思想是将JSON结构扁平化为唯一值表，并通过索引进行引用。这使得流式编码和解码成为可能，克服了JSON作为Type-2语法语言的固有局限性。虽然编码过程比标准JSON更复杂，但它避免了解析大型、嵌套JSON文件的性能瓶颈。
SICK扩展了JSON的功能，支持循环引用、多文件去重和自定义数据类型。目前C#和Scala中存在实现，还有一个基本的JavaScript版本，并且已被用于具有大量用户基础的生产应用程序中。未来的开发重点是添加完整的流式传输功能，并通过社区贡献鼓励更广泛的应用。
## Sick：用于JSON类似数据的有效二进制存储
“Sick”是一个新的库，提供索引、去重后的二进制存储，用于JSON类似的数据结构，旨在实现高效的解析，尤其是在处理大型文件时。虽然它被描述为适用于JSON，但其核心优势在于其独特的二进制表示形式，专为速度和紧凑性而设计。
一个关键的限制是对象最多支持65,534个键，这是由于使用了2字节指针造成的。开发者讨论了潜在的解决方案，例如增加指针大小，但承认这会带来效率方面的权衡。 许多评论者分享了在实际应用中需要超过此限制的经验，例如存储Redis数据或本地化映射。
该库优先考虑小型对象的紧凑表示和快速访问，假设较大的结构可以外部分块。它不一定关注通用的JSON流式传输，而是关注在二进制格式*内*高效地访问数据。虽然一些人认为JSON的无序特性使得该项目名称不恰当，但创建者强调这是一种JSON数据的特定*表示形式*。
该项目正在积极开发中，创建者欢迎贡献，并会根据内部需求或客户请求考虑语言绑定。SQLite等替代方案已被考虑过，但由于目标用例的尺寸和性能问题，被认为不太合适。
艾米丽·里尔正在重写更高范畴论的基础 (2021)
Emily Riehl is rewriting the foundations of higher category theory (2020)
2 天前
数学家艾米丽·里尔发现小提琴演奏和她在高等范畴论方面的工作之间存在令人惊讶的平行——两者都充当“粘合剂”，丰富了各自的领域。这项理论源于艾伦伯格和麦克莱恩1945年的一篇论文，挑战了传统的数学相等概念，而是提出关注“等价性”。 起初受到怀疑，范畴论已成为代数几何和物理学等领域的基础，提供了一种描述复杂关系的方式。里尔目前与多米尼克·维里蒂的研究重点是*高等*范畴论，探索的不仅是对象*之间*的等价性，而是等价性*之间*的等价性，由“无穷范畴”表示。 他们即将出版的书籍旨在使这个复杂的领域更易于理解，强调等价性在数学中的力量。里尔的工作获得了2021年AWM-Joan和Joseph Birman研究奖，她还讨论了她作为数学领域中酷儿女性的经历，以及数学家在解决社会公正问题中的作用。
启用 JavaScript 和 Cookie 以继续。
该项目通过重现使用定制“前面板”直接编程微控制器（ATmega88）的体验，来探索软件的起源，模仿早期计算机的方法。作者试图绕过现代软件层，直接将代码输入硬件，追溯软件的血统，回到其手动开始的时代。
该项目未使用依赖现有软件的模拟器，而是利用ATmega88的编程接口手动输入一个闪烁LED的程序。构建过程包括制作带有旋转开关和LED的前面板，仔细连接组件，并考虑微控制器的行为细微之处，例如需要启用闪存写入位。
虽然该界面经过简化，并未提供完整的编程功能（如内存检查），但作者讨论了潜在的扩展，例如添加用于数据显示的LED或实现逻辑芯片以进行更复杂的控制。最终，该项目是一项怀旧且具有教育意义的练习，展示了硬件与最初代码行之间的基本联系。
## ATmega88 前面板启动与引导讨论
一个黑客新闻的讨论围绕一个项目，演示了ATmega88微控制器的前面板启动（链接目前已存档：[https://web.archive.org/web/20251024110521/https://www.linus...](https://web.archive.org/web/20251024110521/https://www.linus...））。核心想法引发了关于“从无”引导计算机的讨论——从最少的硬件开始，逐步构建到可用的操作系统。
用户们争论这种尝试的实用性，指出现代BIOS的要求（需要在存储器上有一个引导扇区）与内置显示器的旧系统之间的挑战。建议范围从使用拨动开关模拟软盘驱动器，到逐步构建功能，例如十六进制键盘和显示器，以促进更快的输入。
几位评论者分享了70年代和80年代使用类似手动编程方法的经验，例如KIM-1和带备用电池的RAM芯片。讨论强调，虽然费力，但*是*有可能使用物理开关直接将二进制数据输入到内存中，并且ATmega88的静态时钟使其适合此目的。最终，该帖子庆祝了一种独特的人工编程挑战，不太可能被人工智能取代。
亚马逊宣布计划裁减约14,000个工作岗位，影响其全球企业员工。尽管该公司最近报告了强劲的季度销售额，但管理层表示需要“精简组织”，以便抓住人工智能（AI）带来的机遇。 此次裁员旨在将资源转移到人工智能创新，并使其能够更快地适应不断变化的客户需求。亚马逊承认，鉴于最近的业绩，此举可能显得不合逻辑，但认为人工智能——一项变革性技术——需要更精简的结构。 此前，亚马逊在2022年已经裁员27,000人，原因是疫情期间过度招聘。受影响的员工将获得遣散费和支持，以寻找新的职位，可能在亚马逊内部。这一决定反映了科技行业的更广泛趋势，即公司正在调整后疫情时代的需求，并大力投资人工智能，预计日常任务将实现自动化。人们仍然担心亚马逊的云业务增长与竞争对手相比。
## 亚马逊确认裁员 14,000 人
亚马逊已确认将裁减 14,000 名公司员工，引发了关于描述这些裁减所用语言的讨论。许多评论员批评使用“裁员”一词，认为“解雇”更准确地反映了公司的有意识决定。
讨论的中心是亚马逊的动机，一些人认为这些裁减与自动化任务和提高效率有关，尽管销售额强劲。另一些人则指出，这可能对股东有利，并受到人工智能繁荣的影响。人们对进一步裁员的可能性以及整体经济状况表示担忧。
许多用户质疑亚马逊庞大的公司员工规模（350,000 人），并猜测可能存在冗员。 还有关于公司是否应该提供较低的工资作为裁员的替代方案，以及这种做法的潜在后果的争论。 最终，这场对话凸显了对企业行为以及对工人影响的更广泛担忧。
## Bash 屏保：为你的终端增添趣味
Bash 屏保是一个有趣的动画 ASCII 艺术屏保集合，全部用纯 Bash 编写 – 不需要显卡！这个项目为你的命令行带来复古风格的视觉效果，选项包括弹跳的球、烟花、矩阵模拟、雨等等。
要开始使用，只需克隆 GitHub 仓库 ([https://github.com/attogram/bash-screensavers.git](https://github.com/attogram/bash-screensavers.git)) 并运行 `./screensaver.sh`。你可以从菜单中选择，按名称或编号指定屏保，甚至随机选择一个。
该项目欢迎贡献，包括来自 AI 助手！它还提供了一个可视化工具“库”和一个 Discord 服务器，用于社区讨论。探索“画廊”以获取精美的屏保，探索“库”以获取实验性选项。这是一种为你的终端增添个性的有趣方式！