openSUSE率先對Nim語言提供最優支持


攜手ArchLinux開源項目,openSUSE不僅宣佈為Nim語言提供最新的軟件包,而且對這個靜態類型、命令式編程語言的支持調整至最優級別。Nim語言不僅大幅提高程序員runtime效率,而且還整合諸如Python、Ada和Modula等成熟語言的概念。

在問及 openSUSE 支持最新的 Nim 的時候,該語言的創作者 Andreas Rumpf 表示:“軟件可以脫離系統運行,不過如果你真的需要一個的話,那麼最好選擇最優支持 Nim 的系統。而 SUSE 就是非常不錯的選擇”。

Nim 於 2005 年創建,Rumpf 在近期發佈的新書《Mastering Nim》中談到這個新興編程語言的諸多方面。

Nim 的核心開發、《Nim in Action》一書的作者 Dominik Picheta 表示:“看到首個最優支持 Nim 的發行版本我感到非常激動。希望在未來會有更多的發行版本跟進”。

除宏系統和高效的 runtime 之外,Nim 的另一個優勢是標準庫。和其它大多數語言一樣,Nim 的庫也覆蓋大部分標準功能,包括腳本處理和格式化、異步代碼開發,網絡和高級別語言功能(例如編輯器本身)和 NimScript。

更為重要的是,Nim 在默認情況下就提供豐富的工具。該編譯器可以在後端支持 C、C++ 和 JavaScript 等等。此外還有一些工具來簡化開發:

● nim compiler

● nimsuggest (支持語言推薦、自動編譯。錯誤/問題檢測等等)

● nimgrep (強大的 grep 替代者,內置 Nim 支持可以找到字符,以及插入 Nim 代碼).

● nim-gdb wrapper (gdb support for Nim types)

● nimble (包管理器)


相關推薦

2022-08-08

使用ReiserFS文件系統。在2006年之後ReiserFS雖然不再是SUSE/openSUSE的默認文件系統,但依然為掛載ReiserFS文件系統保留install-time選項和相關支持,但這種做法可能很快就會結束。由於 Linux Kernel 5.18 正逐漸棄用 ReiserFS 並計劃在 2025 年

2022-09-27

今年早些時候,SUSE/openSUSE開啟下一代SUSELinuxEnterprise的開發。而定於本周晚些時候發佈的“LesDroites”原型版本,將是openSUSE“適應性Linux平臺”(簡稱ALP)的首個公開預覽。除之前披露的細節,周一公告還指出一些重大更改。(

2024-03-19

隨著transformer模型被發明,我們能以驚人的速度擴展大型語言模型,實際上每六個月就能翻一番。而為訓練這些越來越大的模型,我們也需要更強的算力。“非常強大”的Blackwell架構GPU登場老黃現場對比Blackwell架構和Grace Hopper架

2024-02-17

在SUSE/openSUSEAdaptableLinuxPlatform(ALP)推出之前,開發人員一直在開發一種新的基於網絡的操作系統安裝程序。這種新的安裝程序架構最初被稱為"D-Installer",現在被命名為"Agama",它計劃在今年

2024-04-19

來一件大事:Meta正式發佈他們迄今最強的新一代開源大語言模型Llama3。首批發佈的Llama38B和Llama370B包括預訓練和指令微調版本,8K上下文,在兩個24KGPU定制集群上使用15萬億tokens數據訓練而成,Meta稱它們分別是80億和700億參數上

2024-03-19

架構的全新型GPU處理器設計架構在處理支持人工智能的大語言模型訓練/推理方面速度提高數倍,並且正式推出其所向披靡的A100/H100 AI GPU的繼任者——B100。並且黃仁勛告知全球科技股投資者:AI融入萬物的趨勢,比如AI+醫藥、AI+

2023-05-15

個高頻常用泊車場景。未來,ADiGO PILOT相關領先技術也將率先在昊鉑系列車型搭載應用,並持續迭代升級。據解,德國萊茵TUV和SGS通標標準技術服務有限公司是國際公認的測試、檢驗和認證機構,在汽車軟件過程改進及能力評定

2024-03-23

nch 可以將生成式人工智能開發引入任何支持 GPU 的環境,提供統一界面,適用於數億臺現代 NVIDIA RTX 驅動的工作站和個人電腦,也適用於數據中心和雲端。Mac 用戶可以安裝 AI Workbench,並將項目遷移到 NVIDIA 驅動的系統,以便進

2023-04-24

碼的能力終於上線。Google表示,Bard 現在能使用 20 種編程語言,包括 C++、Go、Java、Javascript、Python 和 Typescript 等等,還能幫助用戶 debug 和解釋代碼、優化代碼。隻需要簡單的 prompt,例如“能讓該代碼更快嗎?”,Bard 就能理解

2024-04-19

ma 2 訓練數據集的四倍,其中 5%包含非英語數據(約 30 種語言),以提高非英語語言的性能。Meta 還表示,它使用合成數據(即人工智能生成的數據)來創建較長的文檔,供 Llama 3 模型訓練使用,由於這種方法存在潛在的性能缺

2023-03-10

公司的手中。 這裡的原材料指的是大語言模型(LLM)的處理能力。這些模型支撐著ChatGPT和微軟新必應搜索等服務。運行這些模型原本需要高昂的算力成本,因此可能會嚴重拖累模型的廣泛應用。搜索引擎You.co

2024-03-20

用。在前一年的“The Check Up”活動上,谷歌推出醫療大型語言模型“Med-PaLM 2”。去年,谷歌的雲業務與美國妙佑醫療國際達成合作協議,擴大生成式人工智能在醫療保健領域中的使用。在周二的會議上,谷歌表示正在研究微調

2023-02-13

發人們討論。這其中,一個不常在此類話題出現的領域,率先感受到ChatGPT的影響——教育。“也許這一次,對於知識型工作者來說,這就完全等於工業革命。”微軟CEO納德拉評價。據報道,中國的互聯網企業也在不斷加快類ChatG

2024-08-21

包等合作夥伴緊密協作,在支持入境人士便捷支付方面:率先推出外卡內綁(下載支付寶App後綁定境外銀行卡)以及外包內用(直接使用境外電子錢包掃支付寶二維碼)兩套移動支付服務方案;支持境外遊客使用國際主流卡組的境外