Search results

mortn @mortn@mastodon.social
Public

@itsfossIt's FOSS Ambivalence, is the one word describing my first week with Linux slightly more than 20 years ago 🥹 It was quite the humbling experience with the immense freedom to build and break everything, and the difference between the two was sometimes just a semicolon 😅 Thank you , , and for all the fun, the sleepless nights, and mostly for all the awesome work.

0
0
0
0
0
0
남정현 @rkttu@hackers.pub
Public

닷넷은 8.0이후로 Microsoft만이 아니라, Canonical, RedHat 등 각 리눅스 배포판 관리자들이 Microsoft를 대신하여 본인들의 배포판 OS에서 잘 작동할 수 있도록 검증 과정을 거쳐 독자적으로 빌드하여 패키징을 하고 있습니다.

그 덕분에 매우 유의미한 발전이 하나 있었는데, IBM 메인프레임 (s390x)과 IBM PowerPC (ppc64el)에서도 우분투 리눅스를 사용하면 이제 닷넷 10을 아주 손쉽게 apt install dotnet-sdk-10.0 명령어 하나로 바로 설치해서 쓸 수 있게 됩니다.

https://forum.dotnetdev.kr/t/ibm-s390x-ibm-powerpc-ppc64el-10/14096

IBM 메인프레임 (s390x), IBM PowerPC (ppc64el) 용 우분투 리눅스에서 쓰는 닷넷 10

지속적으로 주요 OS 별 .NET 10 패키지 채택 현황 (수시 업데이트 예정) 페이지를 업데이트하고 있는 중입니다. 그리고 Canonical에서 예고한대로, s390x와 ppc64el 아키텍처용 .NET 10 Runtime, SDK 패키지를 정식으로 제공하고 있습니다. 덕분에 IBM 메인프레임 (s390x), IBM PowerPC (ppc64el) 용 우분투 리눅스에서 닷넷 10 SDK까지 모두 사용할 수 있게 되었습니다. 현재 Questing Quokka (25.10)부터 배포를 진행 중인데, 최신 LTS인 24.04 버전으로도 순차적으로 배포가 이루어질 예정입니다.

forum.dotnetdev.kr · 닷넷데브

2
0
0
GripNews @GripNews@mastodon.social
Public

🌗 Canonical 擴展 Ubuntu LTS 支援至 15 年，新增 Legacy add-on
➤ 為企業級應用注入更長久的生命力：Ubuntu LTS 支援年限延長解析
✤ canonical.com/blog/canonical-e
Canonical 宣佈將長期支援 (LTS) 版 Ubuntu 的總體支援時間延長至 15 年，此舉透過新增的「Legacy add-on」得以實現。此項延長的支援服務旨在滿足特定企業和組織的需求，確保其關鍵系統能夠獲得更長時間的安全更新和技術支援。Canonical 藉此鞏固其在企業級 Linux 市場的地位，並為用戶提供更靈活的部署選項。
+ 這真是個好消息！對於那些需要長期穩定性的企業來說，15 年的支援期能省下多少重構和遷移的成本啊。
+ Legacy add-on 聽起來像是
add-on

Canonical expands total coverage for Ubuntu LTS releases to 15 years with Legacy add-on | Canonical

Ubuntu Pro now supports LTS releases for up to 15 years through the Legacy add-on. More security, more stability, and greater control over upgrade timelines for enterprises.

canonical.com · Canonical

0
0
0
Terence Tao @tao@mathstodon.xyz
Public

I recently set myself the exercise of using modern automated tools - in particular, a combination of the large language model and the dependent type matching tactic - to try to semi-automatically formalize in a one-page proof provided by a collaborator of the (Bruno Le Floch). With these tools, I was able to more or less blindly do the formalization in 33 minutes, withou any real high level conception of how the proof proceeded. It was a very different style to how I usually formalize results, but was workable for this type of technical, non-conceptual argument where the main issue is to get the details correct rather than the "big picture".

I recorded my attempt at youtube.com/watch?v=cyyR7j2ChC . See also additional discussion at leanprover.zulipchat.com/#narr . The final proof (which is far from optimized, but got the job done) can be found at github.com/teorth/estimate_too

Formalizing a proof in Lean using Github copilot and canonical

In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one...

www.youtube.com · YouTube

1
0
0
Raven @raven@mastodon.bsd.cafe
Public

Ubuntu 25.04 "Plucky Puffin" released with GNOME 48, Linux Kernel 6.14, enhanced installer and boot experience, new ARM64 desktop ISO

canonical.com/blog/canonical-r

Canonical Releases Ubuntu 25.04 Plucky Puffin | Canonical

The latest interim release of Ubuntu introduces “devpacks” for popular frameworks like Spring, along with performance enhancements across a broad range of hardware. 17 April 2025 Today Canonical announced the release of Ubuntu 25.04, codenamed “Plucky Puffin,” available to download and install from ubuntu.com/download.   Ubuntu 25.04 deli […]

canonical.com · Canonical

0
0
0