Forwarded from Rachel 碎碎念 (Rachel Mirai | 🏳️🌈)
好时代,来临吧
Forwarded from /tmp/duangsuse.sock
Deleted Account
(请允许我下面以一个长者的身份,好玩一些,抱歉) 🌚 『江泽民语录』 没有任何(看瞎眼、改手软)的意思。还是按照 AST Visitor 的…… 按照混淆模式、按照递归 product 状态机 visit 处理重构的法——去反混…… > 但是你们那么…… 你……刚才你问我啊,我可以回答你一句“无可奉告”,那你们又不高兴,那怎么办? >那 JavaScript 混淆没缩进没标识符一大堆三目…… 我讲的意思不是我是说处理起来很麻烦。你问我困难不……困难不困难,是有点麻烦的。我就明确地给你告诉这一点。 >主席………
@duangsuse 最后 naïve 的 ï 是不是因为编码转换丢失调了啊
duangsuse::Echo
@duangsuse 最后 naïve 的 ï 是不是因为编码转换丢失调了啊
This media is not supported in your browser
VIEW IN TELEGRAM
其实本苏什么都知道了,我知道本频道很菜,知道隔壁冰封群已经高到 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 也会轻松很多。不管是对自己还是对他人,这都是一件很有意义的事情
虽然 很空洞 但是希望大家能理解。
好吧,本频道说了只是发技术无关的东西了... 算了吧
不过的话,建议各位 editor,虽然目前好像还只有 Rime,在分享的时候能不能多一点东西.... 我希望对于这个 case,至少有一点读后感什么的...
毕竟做事情要一心一意、努力下去是最好的... 再说,如果你有一个读后感,这样别人理解的时候有一个 简单的 background / abstract 也会轻松很多。不管是对自己还是对他人,这都是一件很有意义的事情
虽然 很空洞 但是希望大家能理解。
好吧,本频道说了只是发技术无关的东西了... 算了吧
duangsuse::Echo
其实本苏什么都知道了,我知道本频道很菜,知道隔壁冰封群已经高到 PLT 在肝 dependent type unification-based type inference, type-directed variable resolution 的程度了,还 HIT introduction principle,还,而且还会 Red-black tree, 还编辑器底层数据结构技术,piece table 什么的搞基优化支持 multiply-cursor(text editors)... 不等式推导...…
什么时候才能做出让冰封哥能够看一眼的东西呢... 如果我最后能够解决 GalScript 实现时可能的技术困难,并且做出设计的那个新语言出来,是不是 就会被认可了呢? 🤔
不像星野野大佬,我不是很常用 Haskell,没用过什么 Monad 也写过很少(虽然我现在有理解了),我甚至不知道有 BangPattern 和 Strict evaluation 这一回事,更没用过 Haskell 的
路径 不一样 最大高度 不一样 但是依然想要得到认可的说....
不像星野野大佬,我不是很常用 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 即可)
7. 客户机找到服务器后发送数据请求,服务器接收
#Java #Android #unconfirmed
它的徽标好像是从丹麦一位口舌伶俐的国王哪里受到启发,是由拉丁还是希腊... 字母 '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
Bluetooth® Technology Website
Core Specification | Bluetooth® Technology Website
This specification defines the technologies required to create interoperable Bluetooth devices. Related Resource(s): Bluetooth® Core 6.2…
duangsuse::Echo
考虑 bluetooth 本身呢... 是一个近距离通信, IoT 的解决方案 它的徽标好像是从丹麦一位口舌伶俐的国王哪里受到启发,是由拉丁还是希腊... 字母 'B' 和 'H' 组成的 最新的 Bluetooth 4.0 技术提供了低能耗等新特性,不过应用编程模型貌似没有区别 虽然功耗 和速度什么的 应该都是问题,但它的支持相当广泛 https://www.bluetooth.org/en-us/specification/adopted-specifications 如果只是应用的话,过程大概是这样:…
类似这样对应用开发者有用的资料,还是要分享的。
需要一些不常见的,比如解析器 DSL 解释器 翻译器 新语言设计什么的 编写,请去隔壁的 @dsuse_tmp
需要一些不常见的,比如解析器 DSL 解释器 翻译器 新语言设计什么的 编写,请去隔壁的 @dsuse_tmp
你们做了什么?开了这么久,到现在连一门自己的语言都没有写,连算法可视化都没做过 为什么要这么死板地做 还是在使用的角度看 作为描述的直觉的编程语言
没有区分 过程式 函数式 面向对象 对程序和数据的处理方式 照搬照抄、模板,没有直觉和对缘由的感知 生搬硬套 应试教育的翻版
为什么 这对国内水准的提高 有帮助吗? 很多人只是为了考试 用用就忘掉了,到头来 抛弃 Dynamic programming 抛弃图算法 抛弃 继承和传递的优化思路 抛弃了所学到的所有 用回手写的辣鸡排序算法 用回暴力搜索
一个美妙的名字 『中国』 的 计算机『学会』 本来应该承载着多少希望,担负着提升国名计算机应用素质的责任重担,现在这样,还不如『同人』的 OJ
这么多年了,为什么不能有点改变呢?
没有区分 过程式 函数式 面向对象 对程序和数据的处理方式 照搬照抄、模板,没有直觉和对缘由的感知 生搬硬套 应试教育的翻版
为什么 这对国内水准的提高 有帮助吗? 很多人只是为了考试 用用就忘掉了,到头来 抛弃 Dynamic programming 抛弃图算法 抛弃 继承和传递的优化思路 抛弃了所学到的所有 用回手写的辣鸡排序算法 用回暴力搜索
一个美妙的名字 『中国』 的 计算机『学会』 本来应该承载着多少希望,担负着提升国名计算机应用素质的责任重担,现在这样,还不如『同人』的 OJ
这么多年了,为什么不能有点改变呢?
有一个 IDE,不过很老了 而且也没什么特色 可能最多的功能就是调用外部工具了(笑
真的是中国最『称职』的计算机『学』会了,如果要知道为什么我这么夸赞的话 — 是因为『某种极其特殊的原因』
真的是中国最『称职』的计算机『学』会了,如果要知道为什么我这么夸赞的话 — 是因为『某种极其特殊的原因』