每周分享第 50 期

时间过得真快,忽然就 50 期了。。 CLion 的 C++20 Concept 支持 https://blog.jetbrains.com/clion/2019/11/cpp20-concepts-in-clion/ TypeScript 一些工具 https://github.com/pirix-gh/ts-toolbelt Rust 编写的 SystemVerilog Parser https://github.com/dalance/sv-parser MacBookPro 16英寸 发布 用 Rust 写 eBPF 程序 https://blog.redsift.com/labs/putting-rust-in-the-kernel-with-ebpf/ 终端里玩蜘蛛纸牌 https://github.com/chrisbouchard/klondike-rs Rust 的 coverage 工具 https://github.com/mozilla/grcov 在 Menu Bar 或者 Touch Bar 控制 AirPods Pro 模式 https://github.com/insidegui/NoiseBuddy Demangle Rust 符号的工具 https://github.com/luser/rustfilt

Read More

用 Rust Procedure Macro 实现 GLL Parser

背景 在编译原理课上,PA 框架采用的是 MashPlant/lalr1 ,是一个比较好用的 Lexer + Parser 的工具,它的大概语法见 一个完整的例子 。然后之前看到了 GLL Parser ,想着可不可以照着类似的语法也写一个 GLL 的 Parser Generator ,也是用 Rust Procedure Macro 的方法,就开始了研究。 尝试 首先是阅读 GLL 的论文,它并不长,大概的意思就是,LL(1) 文法需要考虑 PS 冲突的情况,而 GLL 的解决方法就是“都试一下”,然后为了效率,用了 GSS 表示解析过程和 SPPF 表示解析结果。然后就开始照着论文手写了不同版本的实现,见 jiegec/gll-test 。 第一种就是按照论文里第一段实现直接抄过来,每个可能性作为一个 Continuation 存下来,它有自己的栈和执行位置(Label)。这样 Work 以后呢,我又想到了 async/await ,用类似的方法又写了一遍,相对要简洁一些,也是很平常的递归下降的写法,而不是 Loop + Label 的形式。但这些都不能做到合并栈的目的,所以遇到十分有歧义的文法的时候会很糟糕。 然后开始按照论文中的 GSS 进行编写,基本还是按照论文进行翻译,然后一步一步做,做好以后把 GSS 画出来,和论文的图可以对的上;然后照着 GLL parse-tree generation 的论文把 SPPF 实现了,这时候就可以从 recongizer 变成一个 parser 了。 宏 得到一份可行的代码以后,就要扩展到通用的情况上。学习了一下 MashPlant/lalr1 的实现,实现了一个 proc macro,它读取了用户的程序,从一个模板文件开始,往里面插入一些生成的代码,丢给编译器去编译。这时候就涉及到编译期和运行时的不同了,我把运行时一些通用的结构放到了 gll-pg-core 中,把编译期的代码放到了 gll-pg-macros 。

Read More

每周分享第 49 期

libuv wrapper in C++ https://github.com/skypjack/uvw Visual Studio Online https://visualstudio.microsoft.com/zh-hans/services/visual-studio-online/ OpenSSH 的 U2F 支持 https://readhacker.news/s/4carE Rust 1.39 Rust 1.39 Released With Async-Await Support, Attributes On Function Parameters Windows 也在用 Rust https://msrc-blog.microsoft.com/2019/11/07/using-rust-in-windows/ 用 Chrome Dev Tools 调试 Rust https://twitter.com/ChromeDevTools/status/1192803818024710145 C++20 的新 Thread 类型 https://medium.com/@vgasparyan1995/a-new-thread-in-c-20-jthread-ebd121ae8906

Read More

每周分享第 48 期

一个特殊的用于显示数字的字体 https://blog.janestreet.com/commas-in-big-numbers-everywhere/ Intel 的 SPMD 编译器 https://ispc.github.io/ 基于 Scala 的 notebook https://polynote.org/ 解析登机牌信息 https://github.com/georgesmith46/bcbp 常用的 React Hooks 库 https://github.com/streamich/react-use jwt 工具 https://github.com/mike-engel/jwt-cli 用过程宏实现的 delegation in Rust https://github.com/chancancode/rust-delegate

Read More

每周分享第 47 期

CLion 完善了 Rust 调试支持 https://blog.jetbrains.com/clion/2019/10/debugging-rust-code-in-clion/ Nginx HTTP3 的 docker 镜像 https://github.com/RanadeepPolavarapu/docker-nginx-http3 手算 Ed25519 https://dang.fan/zh-Hans/posts/25519 Rust 的 QuickCheck https://github.com/BurntSushi/quickcheck Rust 另一个类似 QuickCheck 的测试框架 https://github.com/AltSysrq/proptest Cookie 策略要改了 https://readhacker.news/s/4bvGG

Read More

每周分享第 46 期

LibC++ 正式支持 WASI https://releases.llvm.org/9.0.0/projects/libcxx/docs/ReleaseNotes.html 从文本反推 regex https://github.com/pemistahl/grex KDE 5.17 发布 https://www.omgubuntu.co.uk/2019/10/kde-plasma-5-17-features IDA 7.4 发布 支持 Py3 https://www.hex-rays.com/products/ida/7.4/index.shtml 新的 CPU Bug https://www.phoronix.com/scan.php?page=news_item&px=Chrome-Geminilake-Bug WAST -> WASM in Rust https://docs.rs/wast/

Read More

为 Cisco WLC 配置 Telegraf

最近想到可以给 Cisco WLC 也配置一下监控,查了一下,果然有一些方法。大概研究了一下,找到了方法: 把 https://github.com/haad/net-snmp/tree/master/mibs 和 https://github.com/zampat/neteye4/tree/master/monitoring/monitoring-plugins/wireless/cisco/mibs 目录下的所有 .txt 文件放到 /usr/share/snmp/mibs 目录下。 然后把 https://github.com/zampat/neteye4/blob/master/monitoring/monitoring-plugins/wireless/cisco/telegraf.conf 下面 snmp 的配置复制到 telegraf 配置中,然后修改一下 IP 地址。 确保 Cisco WLC 的 SNMP 的 Public Community 已经配置好,然后就可以拿到数据了。 目前可以拿到 WLC 自身的一些运行˙状态信息、AP 的信息、SSID 的信息和 Client 的信息,基本满足了我们的需求。 参考:https://www.neteye-blog.com/2019/08/monitoring-a-cisco-wireless-controller/

Read More

每周分享第 45 期

Android ARM32/64 环境模拟 https://github.com/zhkl0228/unidbg Calibre 4.0 https://readhacker.news/s/4aukk Rust 的 gRPC 实现 https://github.com/hyperium/tonic JAVA API 历史 https://github.com/marchof/java-almanac Elm 开发 dev server https://github.com/wking-io/elm-live 另一个静态网站生成器 https://github.com/getzola/zola Catalina 发布 Notarization 的相关情况 https://eclecticlight.co/2019/06/07/notarization-in-mojave-and-catalina/ https://eclecticlight.co/2019/05/31/can-you-tell-whether-code-has-been-notarized/ 椭圆曲线加密算法 https://fangpenlin.com/posts/2019/10/07/elliptic-curve-cryptography-explained/ Travis CI 添加 ARM 支持 https://blog.travis-ci.com/2019-10-07-multi-cpu-architecture-support CD 上的结构 https://readhacker.news/s/4aDHB 在线 TAC 的虚拟机 https://jiege.ch/online_tac_vm/ 在线 Decaf 编译和运行 https://jiege.ch/online_decaf/

Read More

每周分享第 44 期

Modern Script Loading https://jasonformat.com/modern-script-loading/ 如何实现 closure http://craftinginterpreters.com/closures.html 加速 uniform_int_distribution 实现 https://lemire.me/blog/2019/09/28/doubling-the-speed-of-stduniform_int_distribution-in-the-gnu-c-library/ 在 FPGA 上运行 Rocket Chip 教程 https://github.com/cnrv/fpga-rocket-chip Xilinx Bitstream 逆向 https://prjxray.readthedocs.io/en/latest/ JVM 利用 SIGSEGV 进行 null 检测 https://jcdav.is/2015/10/06/SIGSEGV-as-control-flow/ Async/Await 进入 Rust Beta https://blog.rust-lang.org/2019/09/30/Async-await-hits-beta.html 在 Rust 里实现 Plugin http://adventures.michaelfbryan.com/posts/plugins-in-rust/

Read More

用 Nginx 作为 RTMP 服务器并提供直播服务

Nginx 除了可以做 HTTP 服务器以外,还可以做 RTMP 服务器,同时转成 HLS 再提供给用户,这样可以实现一个直播的服务器,用 OBS 推上来即可。 首先要安装 nginx-rtmp-server 模块,很多的发行版都已经包含了,它的主页是 https://github.com/arut/nginx-rtmp-module ,下面很多内容也是来自于它的教程中。 接着,配置 Nginx ,在 nginx.conf 的顶层中添加如下的配置: rtmp { server { listen 1935; chunk_size 4096; application live { live on; record off; hls on; hls_path /path/to/save/hls; hls_fragment 1s; hls_playlist_length 10s; } } } 这里表示 Nginx 要在 1935 监听一个 RTMP 服务器,然后把 live 下的视频切成片然后存在目录下,提供一个 m3u8 文件以供播放器使用。这里的参数都可以按照实际需求进行调整。这时候应该可以看到 nginx 正确监听1935 端口,这是 rtmp 的默认端口。 接着,需要在一个 HTTP server 路径下把 HLS serve 出去: location /hls { # Serve HLS fragments types { application/vnd.

Read More