FrankHB 最近的时间轴更新 FrankHB 最近的时间轴更新 ↓挽…… 2022-04-15 12:27:47 +08:00
FrankHB's repos on GitHub
554 人关注
pl-docs Programming Language Documentations C++ 96 人关注
YSLib The YSLib Project (main hg-git mirror) (NOTE: The README document in the repository is missing by design. Please go to the main repository for documentation, issues and pull requests.) C++ 23 人关注
YEGE Yet another EGE library C++ 20 人关注
CppTemplateTutorial 中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中) 4 人关注
Crash-Course-Computer-Science-Chinese :computer: 计算机速成课 | Crash Course 字幕组 (全40集 2018-5-1 精校完成) C++ 4 人关注
nano-signal-slot Pure C++11 Signals and Slots C++ 3 人关注
NPLC NPL console (main test repository for NPLA1 implementation of YSLib) C++ 1 人关注
Basilisk The Basilisk web browser TeX 1 人关注
draft C++ standards drafts Python 1 人关注
english-please Offer for repositories whose README are written in Chinese. 1 人关注
feel An open source cross-platform programming language focused on efficiency. C++ 1 人关注
function2 Improved and configurable drop-in replacement to std::function that supports move only types, multiple overloads and more TeX 1 人关注
resume :pencil: My resume / 我的简历 Javascript 0 人关注
.github The github tools C++ 0 人关注
Baka-MPlayer The libmpv based media player 0 人关注
co An elegant and efficient C++ basic library for Linux, Windows and Mac. C++ 0 人关注
ConEmu Customizable Windows terminal with tabs, splits, quake-style, hotkeys and more C++ 0 人关注
Corecat Corecat: Core of The Cats Project 0 人关注
cxx-abi C++ ABI Summary C++ 0 人关注
CxxFunctionBenchmark benchmark for various C++ function implementations C++ 0 人关注
fancy2d 0 人关注
general-tools 0 人关注
google-group-docs Public text for Google groups discussion HTML 0 人关注
itoa-benchmark C++ integer-to-string conversion benchmark C 0 人关注
LCUI A simple graphical interface library C 0 人关注
libfat FAT library for GBA, DS, Gamecube & Wii C 0 人关注
libnds C library for Nintendo DS 0 人关注
llama.cpp Port of Facebook's LLaMA model in C/C++ C 0 人关注
llmd 如果将markdown视作一门编程语言可以做哪些有趣的事情? 0 人关注
mdBook Create book from markdown files. Like Gitbook but implemented in Rust C++ 0 人关注
MdCharm MdCharm Source Code C++ 0 人关注
mingw-std-threads Standard threads implementation currently still missing on MinGW GCC on Windows C++ 0 人关注
minicodecvt C++上的简单编解码实现 C++ 0 人关注
modern-cpp-tutorial C++11/14/17 On the Fly 0 人关注
msys2.github.io The MSYS2 homepage C 0 人关注
newlib C++ 0 人关注
nix Nix, the purely functional package manager C 0 人关注
opensgx OpenSGX 0 人关注
osdt-weekly 开源开发工具周刊 0 人关注
paru Feature packed AUR helper 0 人关注
psicash-lib-core PsiCash client library, in C++, used directly and as the core for other platforms 0 人关注
racket The Racket repository C++ 0 人关注
rapidjson A fast JSON parser/generator for C++ with both SAX/DOM style API 0 人关注
rquickjs High level bindings to the quickjs Javascript engine Python 0 人关注
SIF-TeamExport Export your LLSIF team members via screenshots. Rust 0 人关注
swapview Print swap usage per process. Implemented in various programming languages C++ 0 人关注
Textcat Textcat: Text data formats library 0 人关注
UXP Unified XUL Platform C 0 人关注
vcxsrv-wsl A personal patch for VcXsrv to improve its integration with WSL. See upstream wiki in https://github.com/Martin1994/vcxsrv-wsl for details. C 0 人关注
xege xege C 0 人关注
xmake A cross-platform build utility based on Lua 0 人关注
YSLib-book YSLib documentation generated by mdBook Python 0 人关注
yutto :ice_cube: 一个可爱且任性的 B 站视频下载器（bilili V2）  | FrankHBV2EX 第 34994 号会员，加入于 2013-02-28 10:06:28 +08:00 |
FrankHB
| 换了个红魔 P7，一些高级折腾问题 Android FrankHB 2022-10-21 15:50:59 PM 最后回复来自 kernelt4sk | 8 |
FrankHB 最近回复了
2024-09-13 01:34:41 +08:00 回复了 programdogs251 创建的主题 教育 你假如有钱 还会让孩子上公立学校吗？ |
有条件的版本 T0 就是直接跳过学校，比如郑亚旗那种，当然要保证脱离学校环境也能不长歪就意味着要有替代学校的实力。
至于去学校，不管是不是做题路线，那相对自律学习会损失更多时间精力是肯定的，就看想短期破财还是长期破财了。
因为说到底学校教育在普惠意义上，都是抓提升统计意义的学力（比如原始意义的识字率）这种和可变现的个人素质相距甚远的指标，足够当教育行政官员的 KPI ，但对服务的对象（学生和家长）来说从不能保证效果，所以和学校绑定利益来谈教育实际是相当愚蠢的，素质越偏离平均亏得越大。反过来，学得再菜，只要打得过同期多数人待遇也不会差。所以讨论学校教育是不是值，首先要摸清楚学生到底个性泯灭到多平均了没法用已有资源铺路也没法摸清楚兴趣规划，才不得不靠学校来垫底（其实户籍身份职称之类的外部评价也是如此，本该只是结果的东西要作为经验的主要部分，对比同等卷卷人就已经输了）。然后按现在的趋势学校教育基本就是牛马大道，这条路走得多成功最后都会被拉回到社会平均线上，越来越不值得讨论收益。于是，剩下的不就是看破费成本了嘛。
注意，只要还是在和平环境不会三天两头挨炸挨饿那种，就不要说什么图书馆之类的硬件差距，这点外部次要差距都抹不平的自然没什么资格计较（硬件条件在一些理工科高等教育中后期才能真正明显拉开差距），而习惯应试体制的师资统计上也几乎可以无视（后期也就是导师制会在人脉上拉开差距，也看专业，但一样更看脸）反思一下新数学运动是怎么失败的。推论：学区房自始至终都是智商税，就算排除房（上升期反而不见得算）。
至于去学校，不管是不是做题路线，那相对自律学习会损失更多时间精力是肯定的，就看想短期破财还是长期破财了。
因为说到底学校教育在普惠意义上，都是抓提升统计意义的学力（比如原始意义的识字率）这种和可变现的个人素质相距甚远的指标，足够当教育行政官员的 KPI ，但对服务的对象（学生和家长）来说从不能保证效果，所以和学校绑定利益来谈教育实际是相当愚蠢的，素质越偏离平均亏得越大。反过来，学得再菜，只要打得过同期多数人待遇也不会差。所以讨论学校教育是不是值，首先要摸清楚学生到底个性泯灭到多平均了没法用已有资源铺路也没法摸清楚兴趣规划，才不得不靠学校来垫底（其实户籍身份职称之类的外部评价也是如此，本该只是结果的东西要作为经验的主要部分，对比同等卷卷人就已经输了）。然后按现在的趋势学校教育基本就是牛马大道，这条路走得多成功最后都会被拉回到社会平均线上，越来越不值得讨论收益。于是，剩下的不就是看破费成本了嘛。
注意，只要还是在和平环境不会三天两头挨炸挨饿那种，就不要说什么图书馆之类的硬件差距，这点外部次要差距都抹不平的自然没什么资格计较（硬件条件在一些理工科高等教育中后期才能真正明显拉开差距），而习惯应试体制的师资统计上也几乎可以无视（后期也就是导师制会在人脉上拉开差距，也看专业，但一样更看脸）反思一下新数学运动是怎么失败的。推论：学区房自始至终都是智商税，就算排除房（上升期反而不见得算）。
2023-10-29 11:59:40 +08:00 回复了 anson2017 创建的主题 健康 北漂五年程序员｜颈椎病、腰突康复指南 |
@anson2017 绝对卧床休息时作死活动加重了……
2023-10-25 07:17:37 +08:00 回复了 shanhuse 创建的主题 程序员 计算机专业最重要一门课程是哪个？ |
扯什么算法甚至什么数据结构的，叉出去：
https://www.bilibili.com/read/cv26671044
至于什么编译原理，只配在评论区里被黑：
https://space.bilibili.com/2816/search/dynamic?keyword=%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86
纠结组成原理的，麻烦选会教育清楚你 1 字节不一定等于 8 位的（ byte 不是 octet ）。
别的大都应该没存在感和有被提起的必要。
https://www.bilibili.com/read/cv26671044
至于什么编译原理，只配在评论区里被黑：
https://space.bilibili.com/2816/search/dynamic?keyword=%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86
纠结组成原理的，麻烦选会教育清楚你 1 字节不一定等于 8 位的（ byte 不是 octet ）。
别的大都应该没存在感和有被提起的必要。
2023-10-25 07:10:30 +08:00 回复了 shanhuse 创建的主题 程序员 计算机专业最重要一门课程是哪个？ |
限定一门课，只可能是 MIT6.001 ，不过早就绝版了。后继课程完全不是一个档次可以直接无视。
基本上任何别的课程，合格自学者应该都能脑补出来并且可替代课程很多，要是纠结了基本得反省一下是不是自学能力有待改进。
说英语的，反省一下入学前的基础。
基本上任何别的课程，合格自学者应该都能脑补出来并且可替代课程很多，要是纠结了基本得反省一下是不是自学能力有待改进。
说英语的，反省一下入学前的基础。
2023-10-25 07:04:42 +08:00 回复了 yagamil 创建的主题 程序员 轻薄笔记本是不是都无法自己加装内存? 顺带求一款码农笔记本, 双十一入 |
看你管啥叫轻薄。
我初代 ROG G14 当年直接天猫旗舰店里 8+32GB 加满的，顶配带灯 1.5W 。这个比上面有提到的加到 40G 的无畏应该还轻点。不过日常还是 SB2 远程过去，屏幕和键盘/触摸板手感还是有差距。
……这货最坑的是 CPU 风扇坏了巨响，最近消停了没管，会有概率降频。
我初代 ROG G14 当年直接天猫旗舰店里 8+32GB 加满的，顶配带灯 1.5W 。这个比上面有提到的加到 40G 的无畏应该还轻点。不过日常还是 SB2 远程过去，屏幕和键盘/触摸板手感还是有差距。
……这货最坑的是 CPU 风扇坏了巨响，最近消停了没管，会有概率降频。
2023-10-25 06:57:28 +08:00 回复了 anson2017 创建的主题 健康 北漂五年程序员｜颈椎病、腰突康复指南 |
躺了 3 年+，不积极锻炼，一样明显改善。
（本来就是因为锻炼太狠躺的
（本来就是因为锻炼太狠躺的
2023-10-25 06:55:09 +08:00 回复了 xbird 创建的主题 程序员 关于看到《鉴于昨天的语雀，有啥推荐的笔记软件么》有感而发这件事 |
2006 年 Windows Mobile 上用 OneNote(.pwi)，之后就没特意用过什么笔记软件。基本都是过度设计，功能需求实现不直接，残，麻烦。
对我来说大多数时候纯文本编辑器够用。自用一版 Markdown 编辑器（ https://github.com/FrankHB/MdCharm ），不过最近懒了，写 md 都直接拖进 VS 甚至 Kate （只看源码）。
要同步就 git/rsync 。
对我来说大多数时候纯文本编辑器够用。自用一版 Markdown 编辑器（ https://github.com/FrankHB/MdCharm ），不过最近懒了，写 md 都直接拖进 VS 甚至 Kate （只看源码）。
要同步就 git/rsync 。
2023-08-27 15:51:35 +08:00 回复了 iorilu 创建的主题 程序员 无意中学了点 powershell ，惊了， 这东西是不是低估了 |
@dcsuibian @idealhs 想简单了，powershell 和 pwsh 微妙不兼容，测试版本都烦。而且在 Windows 上 COMSPEC 默认仍然是 cmd ，用 native 语言互操作几乎不可能可靠测试（就算无视 cmd 这玩意儿 UCRT fallback 都是写死的问题）。虽然其它 shell 也有版本和兼容性问题，但测试起来明显简单。
这还不说得多学不同的东西。虽然学语言不难，但受限还是个性价比问题：没能明显更好地满足需求为什么非得学不同的？凭空多出兼容性包袱。
更糟糕的问题我上面早就提过：跨平台项目同时用多种 shell ，凭空多出来 powershell 特供的 bug ，还得用户倒霉。
@iorilu 相信我，至少目前 bash 跨平台总体成本比 powershell 低得多，无非 Windows/macOS 用户得多安装个运行时而已，这是只有一次性的部署代价。而且你 powershell 想要用不过时的特性就是 Windows 都一样得另外装 pwsh ，明显比 bash 吃亏。虽然传统 shell 写起来确实更恶心但就算 pwsh 也不是都省事，要干活比 powershell 熟练工好找多了，怕翻车至少也有 ShellCheck 。
这还不说得多学不同的东西。虽然学语言不难，但受限还是个性价比问题：没能明显更好地满足需求为什么非得学不同的？凭空多出兼容性包袱。
更糟糕的问题我上面早就提过：跨平台项目同时用多种 shell ，凭空多出来 powershell 特供的 bug ，还得用户倒霉。
@iorilu 相信我，至少目前 bash 跨平台总体成本比 powershell 低得多，无非 Windows/macOS 用户得多安装个运行时而已，这是只有一次性的部署代价。而且你 powershell 想要用不过时的特性就是 Windows 都一样得另外装 pwsh ，明显比 bash 吃亏。虽然传统 shell 写起来确实更恶心但就算 pwsh 也不是都省事，要干活比 powershell 熟练工好找多了，怕翻车至少也有 ShellCheck 。
2023-08-27 15:34:54 +08:00 回复了 baolinliu442k 创建的主题 Java Java 中的 Optional 应该什么时候用呢，总感觉这样不如直接 if 判断 |
@PTLin 多几种其实不是直接问题。上古的 cons pair 限制个别元素就能造出 list monad ，用比较现代一点的说法，决定限制的 unit predicate 是 null?；中古一点的 string 同样也是个 monad ，unit pred 是 string-null? 。其实吧，传统数学上 list 和 string 可以就是一回事。那为什么不嫌弃 string 和 list 共存冗余呢？因为 string 好歹有复杂度 hint 表明适合不同场景（激进一点的还有 encoding 甚至 SSO 之类的假设，但把本属于 text 的东西混同 string 有过度设计的问题，这又是另一回事了）。这个意义上 string 是具有更多实现假设的 list 又确实不都能替代 string ，这种不同层次上的冗余适应新的需求，其实不难接受。
问题是引入的目的和过程。新增的抽象如果没有提供更详细的假设提升到接口的含义，而仅仅是为了给不完善的旧有抽象擦屁股，但被擦屁股的东西又因为兼容性之类的原因没法被彻底替代而只能共存，这样缝合的下场自然不会让用户舒服了。
为什么说 null 是多余的呢？因为 nullable type 历史上本来就是实现偷懒（ null pointer ）的结果上反向臆造的抽象。要从需求侧讲，没什么和 Maybe 区分的必要，反倒是传统实现习惯（比如死板的错误处理）导致使用者体验很尴尬。相比之下，C++一样也有 optional<T&>不能随便和 T*等价的历史包袱，这里思想包袱就体现得更明显，因为 nullptr 并没有 Java 一样被迫弄得到处都是的存在感，兼容性问题本该不是借口。
问题是引入的目的和过程。新增的抽象如果没有提供更详细的假设提升到接口的含义，而仅仅是为了给不完善的旧有抽象擦屁股，但被擦屁股的东西又因为兼容性之类的原因没法被彻底替代而只能共存，这样缝合的下场自然不会让用户舒服了。
为什么说 null 是多余的呢？因为 nullable type 历史上本来就是实现偷懒（ null pointer ）的结果上反向臆造的抽象。要从需求侧讲，没什么和 Maybe 区分的必要，反倒是传统实现习惯（比如死板的错误处理）导致使用者体验很尴尬。相比之下，C++一样也有 optional<T&>不能随便和 T*等价的历史包袱，这里思想包袱就体现得更明显，因为 nullptr 并没有 Java 一样被迫弄得到处都是的存在感，兼容性问题本该不是借口。
Select Language