其实本苏什么都知道了，我知道本频道很菜，知道隔壁冰封群已经高到 PLT 在肝 dependent type unification-based type inference, type-directed variable resolution 的程度了，还 HIT introduction principle，还，而且还会 Red-black tree, 还编辑器底层数据结构技术，piece table 什么的搞基优化支持 multiply-cursor（text editors）... 不等式推导... （我这周设计了个 GalScript 支持反向计算 — 支持的技术被称为『反向模式匹配』（我设计了几天... 尤其是我考虑了实际模式匹配的时候需要怎么做），可是不等式推导只是实验性特性，我打算过几天放一周假期的时候对一堆东西写点标准什么的）

不过的话，建议各位 editor，虽然目前好像还只有 Rime，在分享的时候能不能多一点东西.... 我希望对于这个 case，至少有一点读后感什么的...
毕竟做事情要一心一意、努力下去是最好的... 再说，如果你有一个读后感，这样别人理解的时候有一个 简单的 background / abstract 也会轻松很多。不管是对自己还是对他人，这都是一件很有意义的事情
虽然 很空洞 但是希望大家能理解。


好吧，本频道说了只是发技术无关的东西了... 算了吧

什么时候才能做出让冰封哥能够看一眼的东西呢... 如果我最后能够解决 GalScript 实现时可能的技术困难，并且做出设计的那个新语言出来，是不是 就会被认可了呢？ 🤔
不像星野野大佬，我不是很常用 Haskell，没用过什么 Monad 也写过很少（虽然我现在有理解了），我甚至不知道有 BangPattern 和 Strict evaluation 这一回事，更没用过 Haskell 的 Data._ 模块们....
路径 不一样 最大高度 不一样 但是依然想要得到认可的说....

考虑 bluetooth 本身呢... 是一个近距离通信, IoT 的解决方案
它的徽标好像是从丹麦一位口舌伶俐的国王哪里受到启发，是由拉丁还是希腊... 字母 'B' 和 'H' 组成的
最新的 Bluetooth 4.0 技术提供了低能耗等新特性，不过应用编程模型貌似没有区别
虽然功耗 和速度什么的 应该都是问题，但它的支持相当广泛

https://www.bluetooth.org/en-us/specification/adopted-specifications

如果只是应用的话，过程大概是这样：
这个模型从『自己的设备』有三个对象：

1. BluetoothAdapter，这是你设备的蓝牙适配器，它代表了你的设备（不过是『主语』），它可以有一个外部设备可见的名字
蓝牙是低频无线电通讯的方式，适配器是可以『扫描』和『建立连接』其他设备的东西
2. BluetoothDevice，这是有蓝牙能力的设备，以 Client/Server 方式抽象
你的设备可以通过『pair』配对的方式，和另一个设备连接起来（利用蓝牙的指纹 footprint 标记，地址被称为 address），连接是安全加密的，第三人很难截取窃听。
3. Connection，一般被抽象为 socket (BluetoothSocket, BluetoothServerSocket)
Socket 是计算机网络传输层的一个抽象，可以发送和接受数据

蓝牙有两种模式 -- Server 和 Client (关系 1:N)
Server 可以处理 『accept』 client 的请求，并且请求之间在应用层各自独立，不会出现新请求打断老请求，使得服务无法正常运行的情况

== 一般的应用工作模式 (getDefaultAdapter)

1. 打开（enable）你的蓝牙适配器 (boolean enable, disable, isEnabled; int getState)
.5 你可以选择给设备设置一个名称

Intent enableBh = new Intent(BluetoothAdapter.ACTION_REQUEST_ENABLE);
startActivityForResult(enableBh, REQUEST_ENABLE_BT);

2. 开始扫描（discover）附近的蓝牙设备 (startDiscovery)，你可以定时，等一会后继续（这里推荐 Kotlin 使用 await coroutine）
3. 你扫描能得到一个蓝牙的设备集合，他们使用 footprint 作为自己的唯一标识 (Set<BluetoothDevice> getBondedDevices)
4. 你可以对未配对的设备请求配对，只有配对设备之间可以传输用户数据
5. 主控设备可以进入 server 模式，监听连接（listenRFCommWithServiceRecord），客户机可以连接到 paired device 并且发送请求（平等关系判断主从也可以比较随便，知道 ID 即可）

adapter.listenUsingRfcommWithServiceRecord(PROTOCOL_SCHEME_RFCOMM, uuid);

6. 使用 blocking accept (queue 队列) 模式（ServerSocket）串行地对每个请求打开 socket 进行处理（accept 到 client request 后获取 input stream 来 read），注意这不会导致任何请求因为资源被占用而被遗忘
7. 客户机找到服务器后发送数据请求，服务器接收

#Java #Android #unconfirmed

类似这样对应用开发者有用的资料，还是要分享的。
需要一些不常见的，比如解析器 DSL 解释器 翻译器 新语言设计什么的 编写，请去隔壁的 @dsuse_tmp

#Math #Phys 隔壁的两力(不算 Gravity)一点问题

https://github.com/bloc97/Anime4K #recommended #CG #ACG

你们听说过计算机视觉吗？要不要试着利用卷积权重做一个二维码识别器？

#China #Low #CS 可惜啊可惜

“某种原因”
CCF关于暂停NOIP竞赛的公告

『某种原因』真的是一个很计算机科学的表述 🌝👍

你们做了什么？开了这么久，到现在连一门自己的语言都没有写，连算法可视化都没做过 为什么要这么死板地做 还是在使用的角度看 作为描述的直觉的编程语言
没有区分 过程式 函数式 面向对象 对程序和数据的处理方式 照搬照抄、模板，没有直觉和对缘由的感知 生搬硬套 应试教育的翻版
为什么 这对国内水准的提高 有帮助吗？ 很多人只是为了考试 用用就忘掉了，到头来 抛弃 Dynamic programming 抛弃图算法 抛弃 继承和传递的优化思路 抛弃了所学到的所有 用回手写的辣鸡排序算法 用回暴力搜索

一个美妙的名字 『中国』 的 计算机『学会』 本来应该承载着多少希望，担负着提升国名计算机应用素质的责任重担，现在这样，还不如『同人』的 OJ
这么多年了，为什么不能有点改变呢？

有一个 IDE，不过很老了 而且也没什么特色 可能最多的功能就是调用外部工具了（笑

真的是中国最『称职』的计算机『学』会了，如果要知道为什么我这么夸赞的话 — 是因为『某种极其特殊的原因』

#life #school 这周的 Telegram 消息已经阅读完了

#Java 希望能够重写 SuicideBot 并且为之加上启动 / 退出的 Autosave (user -> time map) 功能，同时，也打算记录退出时间，来自动释放一些用户
那就加一个自杀排行榜吧（啊啊啊啊
啊，才发现定时是 Telegram 自己管理的 直播请在 tmp 观看

#statement #dev