amadeoh 最近的时间轴更新 amadeoh 最近的时间轴更新 |
amadeohV2EX 第 16975 号会员，加入于 2012-02-22 01:00:51 +08:00 |
| 写了一个数据库（Cozo），开源的，希望大家试用，多提意见
1 分享创造 • amadeoh • 2025 年 4 月 30 日 • 最后回复来自 Nospoon
|
17 |
| 写了一个 Python 下的并发库叫 aiochan，请大家多提意见 Python • amadeoh • 2018 年 9 月 12 日 • 最后回复来自 amadeoh | 2 |
amadeoh 最近回复了
2023 年 1 月 6 日 回复了 chlinlearn 创建的主题 › 分享创造 › 写了一个工具类小程序，取名小功能匣子 |
所以链接呢？
2023 年 1 月 5 日 回复了 amadeoh 创建的主题 › 分享创造 › 写了一个数据库（Cozo），开源的，希望大家试用，多提意见 |
@leonidas10086 多谢，马上改
2023 年 1 月 5 日 回复了 amadeoh 创建的主题 › 分享创造 › 写了一个数据库（Cozo），开源的，希望大家试用，多提意见 |
具体的查询因为可以提前绑定量，所以比 NP-hard 会好很多，但是需要根据具体问题写具体的查询，没有一般解法。
2023 年 1 月 5 日 回复了 amadeoh 创建的主题 › 分享创造 › 写了一个数据库（Cozo），开源的，希望大家试用，多提意见 |
@zzl22100048 直接把需要的子图写成 Horn 规则，不绑定任何常数，跑就完了。另外子图匹配的一般情况是 NP-hard ，肯定没法在大的数据集上面跑。
2023 年 1 月 4 日 回复了 amadeoh 创建的主题 › 分享创造 › 写了一个数据库（Cozo），开源的，希望大家试用，多提意见 |
@hljjhb 问题不大，我自己反正生产已经用了几个月了。遇到问题随时提。
2023 年 1 月 4 日 回复了 amadeoh 创建的主题 › 分享创造 › 写了一个数据库（Cozo），开源的，希望大家试用，多提意见 |
@no13bus 是的
2018 年 9 月 12 日 回复了 amadeoh 创建的主题 › Python › 写了一个 Python 下的并发库叫 aiochan，请大家多提意见 |
@jason0916 确实没法像 go 那样自由地使用多核，但是 parallel_pipe 和 parallel_pipe_unordered 两个方法是可以用 process pool 的，一般的问题把所有核跑满也没问题
2012 年 3 月 10 日 回复了 jesse0628 创建的主题 › 问与答 › mac下如何更换caps lock和control键的键位映射？ |
楼上的方法不行，caps lock不能作为modifier keys
可以拿下面这个玩意儿自己生成一个键盘布局：
http://scripts.sil.org/ukelele
怎么用软件本身有说明。其实就是写一个xml文件，知道格式了用别的写也行。
可以拿下面这个玩意儿自己生成一个键盘布局：
http://scripts.sil.org/ukelele
怎么用软件本身有说明。其实就是写一个xml文件，知道格式了用别的写也行。
2012 年 2 月 22 日 回复了 lembacon 创建的主题 › macOS › dRadio Beta发布，Mac豆瓣电台客户端一枚 |
好像网页上不去了？
Select Language