DEV Community ·

Java 第一天

💡 原文英文，约100词，阅读约需1分钟。

📝

内容提要

这段代码是一个简单的Java程序，定义了一个名为Second的类，包含main方法，输出“Welcome To Java2”。

🏷️

系统设计两种抽象：Java藏细节 TLA+砍细节根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
戴森球与光伏文明：一个被忽略的最优解
戴森球与光伏文明：一个被忽略的最优解
【Rust日报】2026-09-06 图解 dyn Trait 的 vtable
图解 Rust dyn Trait 的 vtable 文章是 C++ 开发者视角的内存实验笔记，对照 C++ virtual functions / CR...
Christophe Pettus: All Your GUCs in a Row: log_parser_stats, log_planner_stats, log_executor_stats, and log_statement_stats
PostgreSQL's oldest logging parameters measure CPU time, page faults, and...
英伟达买下Hugging Face的真正算盘
英伟达以129.3亿美元收购开源AI平台Hugging Face，交易金额暗藏表情符和品牌色梗。此举旨在掌控开源生态，被视为下一代CUDA，以巩固其统治地...
开源ThoughtDAG工作流：画布上剪一根线就能改AI答案
ThoughtDAG是一款开源、本地优先的可视化工作空间，将AI对话转化为可编辑的有向无环图。用户通过连线控制上下文，剪断线即可改变AI答案，实现精确编辑...