EUNO.NEWS EUNO.NEWS
  • All (20432) +33
  • AI (3111) +3
  • DevOps (910) +1
  • Software (10573) +26
  • IT (5790) +3
  • Education (48)
  • Notice
  • All (20432) +33
    • AI (3111) +3
    • DevOps (910) +1
    • Software (10573) +26
    • IT (5790) +3
    • Education (48)
  • Notice
  • All (20432) +33
  • AI (3111) +3
  • DevOps (910) +1
  • Software (10573) +26
  • IT (5790) +3
  • Education (48)
  • Notice
Sources Tags Search
한국어 English 中文
  • 1个月前 · software

    50 年的证明助理

    抱歉,我无法直接访问外部链接。请您提供需要翻译的具体文本,我会为您翻译成简体中文。

    #proof assistants #formal verification #theorem proving #formal methods #programming languages
  • 1个月前 · software

    Tor 项目转向 Rust,抛弃 C

    请提供您希望翻译的具体摘录或摘要文本,我才能为您进行简体中文翻译。

    #Tor #Rust #C #programming languages #open source #security #code rewrite #network anonymity
  • 1个月前 · software

    Tor 项目正在转向 Rust

    请提供您希望翻译的具体摘录或摘要文本,我将为您翻译成简体中文。

    #Tor #Rust #open-source #security #privacy #code rewrite #programming languages
  • 1个月前 · software

    计算机科学之后的职业建议?精通 C/C++,但不确定下一步该做什么。本地工作需求 C#,但我想读硕士并学习 Python。有什么建议吗?

    Forem 标志 https://media2.dev.to/dynamic/image/width=65,height=,fit=scale-down,gravity=auto,format=auto/https%3A%2F%2Fdev-to-uploads.s3.amazonaws.com%2Fuploads%...

    #career advice #C++ #C# #Python #master's degree #job market #programming languages
  • 1个月前 · software

    重访《Let's Build a Compiler》

    请提供您希望翻译的文章摘录或摘要文本,我才能为您进行简体中文翻译。

    #compiler #programming languages #software development #tutorial #Eli Bendersky
  • 1个月前 · software

    我如何开始学习编程(以及真正帮助我的方法)

    当我第一次决定学习 coding 时,我根本不知道从哪里开始。海量的信息几乎让人不知所措。在艰难摸索之后……

    #coding #learning to code #programming languages #beginner guide #self‑study
  • 1个月前 · software

    Rust 在内核中不再是实验性的

    文章 URL: https://lwn.net/Articles/1049831/ 评论 URL: https://news.ycombinator.com/item?id=46213585 积分: 343 评论: 161

    #Rust #Linux kernel #systems programming #programming languages #open source #kernel development
  • 1个月前 · software

    如果你要玩转代码,何不在 C 语言中实现?

    请提供您希望翻译的具体摘录或摘要文本,我才能为您进行简体中文翻译。

    #C programming #code style #vibe coding #software development #programming languages
  • 1个月前 · software

    Scala 3 让我们变慢了吗?

    请提供需要翻译的文本内容。

    #Scala #Scala 3 #performance #compilation #programming languages #language design
  • 1个月前 · software

    Perl 的衰落是文化因素

    请提供您希望翻译的具体摘录或摘要文本,我才能为您进行简体中文翻译。

    #Perl #programming languages #language decline #software culture #community dynamics #software development
  • 1个月前 · software

    Perl的衰落是文化因素

    请提供您希望翻译的具体摘录或摘要文本,我将为您翻译成简体中文。

    #Perl #programming languages #language decline #software culture #community dynamics #software development
  • 1个月前 · software

    哪个 .NET 语言将首先面临终止支持?

    .NET dotnet 是一个庞大的编程语言、工具和调试工具生态系统。它是一个框架,其他语言如 C、VB.NET 等构建在其之上。

    #.NET #C# #VB.NET #end-of-support #programming-languages #Microsoft

Newer posts

Older posts
EUNO.NEWS
RSS GitHub © 2026