python -m http.server

一个核心建议：要根据自身情况多了解相机的一些基本知识来选择。
一个新手容易犯的错误：认为买相机就是买相机，要把镜头放在相机一样的地位（比如预算分配）
一个时代相关的建议：基于原理和技术的进步，单反是时代的眼泪，除非没钱，不要考虑。

都翻页了，那个名字还没出现，我来吧，耿富有

@ufo5260987423

> 它是一个 prover ，用各种数学证明保证你是正确的。
狭义上，Haskell 并不算 Prover （如 Coq/HOL/Idris 之类的），广义上（根据 CH 同构），任何静态语言都可以是 Prover 。

> (Haskell)不想在写代码之前先读书。
实际上，工程化的很多 Haskell 都写的非常简单，很多人都当作 C 来写，只不过很多人容易被一些“概念”引到另一条路上。

@WOLFRAZOR

> 玩 Xbox 、PS 、Switch 的绝对认可我这个
> 前原神玩家
> 那我说吧，PS3 、PS4 、PSP 、Xbox 、Switch （含 lite ）。我没买，都是借人玩的。我也犹豫过是不是应该买，但最后认为不该买。Steam 也有，买了较少的游戏，玩过，但最后还是放弃了。

哈哈哈哈哈，原*承包了我今天的笑点

一路说等级、LOW 、混得太差啥的，我还琢磨楼主这等级有多高，这往前一翻楼主的帖子： https://v2ex.com/t/857840#reply41 ，你这。。。等级也不咋地啊。。。咋还嘲讽起别人来了。。。

楼主考虑玩格斗游戏（街霸 5 ，GGST 国内联机不愁没人）吗？太适合你了：
* 1v1 ，你想怎么送都行，没人怪你，对手反而还会谢谢你，你想花样玩也行，开局先送 90% 血再逆转也行。
* 一局最多 90 秒，普遍 30-60 秒结束，来得快结束也快，你妈叫你吃饭、女朋友（如果你有的话）给你打电话也不影响。
* 简单，键盘手柄摇杆啪啪按就可以玩

你这种极度自私的人，玩团队游戏真是太恶心了，至于把别人 LOW 不 LOW ，等级高低挂在嘴边，你自己看看自己又算啥啊，说白了一路看下来，挺像一个心智不成熟、缺乏认可的小屁孩。

可以直接说你的项目需求是什么，可能会比你问 HM 和 struct 之类的（因为这个路径可能是错的），别人更能帮助到你

Type Inference 会用到很多 PL 知识，我觉得你应该先系统地补一下 PL 和 类型系统相关的知识（如果你没太多时间的话，可以简单看一下 http://lucacardelli.name/papers/typesystems.pdf ）？没有相关知识的话，感觉会比较吃力 ，你需要看透 Python 那些类型的实质是什么，比如 “struct”, tuple 和 product type 的关系，在 Python 这种语言上做类型系统本来就不是太容易，你可以看看某网红写的 https://github.com/yinwang0/pysonar2 （虽然可能不是你想要的 HM ）

@FrankHB

国内的氛围是差，但没必要玩个 ftg 就这么优越感十足，没必要，人家玩手游能玩得起来，起码开心啊

你说国内 ftg 的氛围，你想叫一个新人玩玩街霸，他得花钱去购买一个完全不了解的游戏（还有 DLC 地狱），买了国内的网络是偶尔就连不上，游戏内还需要更新啥的，也搞不定，进个游戏都费劲，运气好进游戏了，教程垃圾，联机抽风掉线，新人一进去就被暴打，就这一步，就已经劝退大部分新人了，老怪氛围没劲，你这破游戏体验就不行，也别扯什么确认，这玩意你确定普通人愿意削尖了脑袋每天按个下中脚看晕值、声音、火花苦练？你要知道这是一个 996 盛行的国家，大家哪有这多么多时间做这种事情，一昧地宣扬这些游戏的难度只会让这个圈子越来越小，卡普空、snk 、arc 都知道游戏要往简单了搞，咋你们这些粉丝老一幅高高在上的样子呢。看看人家隔壁 Smash ，挂着 party game 的名号卖了多少，你敢说竞技规则下的 smash “简单” 吗？你要氛围首先你得有群众基础啊，门槛得低啊（门槛低不代表深度低），这方面首先传统 ftg 就做的不好

其次国外 ftg 也相对小众啊，CEO 2022 HBox 第 5 名 75$ 的支票名场面还历历在目呢，EVO 作为最大的格斗游戏综合赛事奖金池多少啊？你再看看北美那几个打枪、MOBA 游戏的顶级赛事奖金池？今年 EVO 八强阶段 Twitch 直播最高观看人数也就 20 多万，你有兴趣的话去查查其他游戏有顶级赛事的记录

所以说，小众的东西要么就躲起来自己玩，要么就多骗骗新人入场，别老挂着 ftg 很难的旗帜去给别人留下不好的印象，这只会让这个社群变得越来越小

@stoneabc 每周一的晨会和周五的周会是不是会有点重复？这两个会的重点分别是什么呢？

@coderluan 嗯，这个可以展开说说，比如 xx 行业 xx 方向 xx 规模的公司，担心问的太详细了，可能大家回答的意愿就更低了，主要还是想知道大家的主观感受

@Jooooooooo 是的，先写了标题，然后忘记及时修改了，第一个问题有提小组，然后主要也想了解一下各个公司的一个整体氛围

@Goldilocks 实数又不只有戴德金分割一种定义方式，用有理数柯西序列的“极限”来导出实数也是主流的定义方式，怎么就错了？

我总结了一下吹某某编程语言的人常有的两个特征：1. 其实还不怎么懂这个语言，坑没踩够，还在蜜月期，2. 见识少

clangd 支持 compile_commands.json ，所以你只要在项目根目录生成一个 compile_commands.json 文件就行了，compile_commands.json 的生成方式你可以查一下，cmake 本身就支持导出这个文件，其他的话，bear 之类的也可以生成，不需要自己整这些东西

那个啥，说句中国互联网圈子政治不正确的话，我能推荐一下 Haskell 吗？除了写起来复杂点，其他不比 go 差啊，甚至更强啊。