唐家山的空间 - 爱吱声 - Powered by Discuz!

头像

唐家山

统计信息

已有 1092 人来访过

积分: 23533
活力: 31
爱元: 22338
贡献: --
作品: --
吱票: --
股票: --
捐资: --
学识: --
好友: 52
主题: 5
日志: 57
相册: 1
分享: --

相册

无权查看

记录

纯血鸿蒙已经可用。新的更新里有卓易通，基本上所有的安卓APP都能自行安装了。回复
握手，我们楼也封了，5天后解封回复
回复
回复
恭喜恭喜回复
爱坛里问一下，有人用过Intel的NUC吗？噪音到底大不大？一直长草这个NUC，就是这个噪音问题让我犹豫。回复
折腾了两天，AdoptOpenJDK不支持Isabelle 2020，只好换回Oracle的Java SE JDK 11.0.8。回复

个人资料

邀请人／推荐人不爱吱声
性别保密
生日
学历博士

查看全部个人资料

动态

唐家山送了一个“膜拜”给 testjhy 的日志诈骗犯的智慧 5-30 08:20
唐家山送了一个“膜拜”给 testjhy 的日志老财迷的笑话 5-27 15:30
唐家山送了一个“鲜花”给 semtex 的日志十年国债收益率 5-27 10:34
唐家山发表了新日志 5-7 16:38
一次意外的快捷键冲突
VSCode和腾讯元宝的快捷键Alt+Shift+A，动用了OpenArk才查出来。
唐家山发表了新日志 4-18 09:00
关于春风法官
在西西河的回帖没发出去，这里留个备份吧。 ************************************ 我承认我是法盲。我的这个法律弹性和机械判罚也是我杜撰的，看来在表述上确 ...
唐家山发表了新日志 2-20 10:10
DeepSeek解题初体验
昨天试了一下DeepSeek的解题，用的是腾讯元宝的接口，确实很惊艳。我的初始输入是：写一个python程序，随机输出20个数，这些数的范围是0-100，这些数的平均值是 ...
唐家山发表了新日志 2-17 12:58
解决Windows 2503内部错误问题
问题出自安装程序的权限不够。遇到两次了，记录一下解决办法。 1.如果知道安装文件的位置，可以写一个脚本如： msiexec/i "d:\tmp\putty-64bit-0.78-install ...
唐家山发表了新日志 2-14 22:07
提取MP4中的音频轨道并转成MP3
1. 首先用将MP4文件拖入LosslessCut。 2. 点击轨道按钮，选取音频轨道，并提取此轨道为文件，转成aac文件。 3. 将aac文件拖入Audacity，选择导出音频，导出到计 ...
唐家山发表了新日志 2-8 11:58
马克思对价值的定义（转旧贴）
是有一点问题的。他用“凝结在产品中的人类平均劳动时间”来定义“产品的价值”。这种定义方式有两个问题，一个是只有相对值，没有绝对值。另一个就是”平均” ...
唐家山发表了新日志 2-4 21:33
两台机器之间传递大文件
最方便的方法还是网线直连，设置一下网络IP就行。我的是两台Win11的机器，分别把以太网的IP设置成192.168.9.9和192.168.9.10。掩码设为255.255.255.0。然后用网 ...
唐家山发表了新日志 11-14 14:22
无题
社会科学比自然科学麻烦的地方有三处。一是不可控变量太多，二是不能做重复性实验，三是基础假设太软。导致很多情况下不能立刻分辨出某个观点的对错，甚至是部 ...
唐家山发表了新日志 11-8 09:30
科学理论与可证伪性辨析
还是一个旧帖。我上《自然辩证法》课还是几十年前，读波普尔的书也是年轻时。现在谈这个话题是以一个外行的角度来谈的，敬请方家指正。波普尔的书初看很惊艳 ...
唐家山发表了新日志 10-29 10:04
给pdf文件的目录添加跳转以及自动添加书签
有一批pdf文件，里面有目录，但是不能跳转。折腾了半天，找到了解决办法。开始是使用wps的自动添加目录功能，替换原有的目录。但是这种自动添加目录功能，会丢 ...
唐家山发表了新日志 9-26 10:52
读史有感2
经常看到一种观点，做了某件事之后，代价如何如何。但是如果不做这件事，代价是不是就消失了呢？有没有可能，有些代价是不可避免的，无论某件事做与否。改变 ...
唐家山发表了新日志 9-22 12:03
读史有感
我喜欢做减法推理，相对比较靠谱。假设某一人物或某一事件在历史中被移除，那么可能的后果是什么。对于教员，邓的评价大意是“如果没有教员，至少中国的革命事 ...
唐家山发表了新日志 8-23 14:01
图片加音频合成视频
查了一下，用ffmpeg命令行最方便： ffmpeg -loop 1 -i pic.png -i music.m4a -shortest out.mp4 踩到的坑：1.图片不能是jpeg格式，需要png格式。2.音频直接 ...

日志

一次意外的快捷键冲突 2025-05-07: VSCode和腾讯元宝的快捷键Alt+Shift+A，动用了OpenArk才查出来。; (447)次阅读|(0)个评论

关于春风法官 2025-04-18: 在西西河的回帖没发出去，这里留个备份吧。 ************************************ 我承认我是法盲。我的这个法律弹性和机械判罚也是我杜撰的，看来在表述上确 ...; (463)次阅读|(7)个评论

DeepSeek解题初体验 2025-02-20: 昨天试了一下DeepSeek的解题，用的是腾讯元宝的接口，确实很惊艳。我的初始输入是：写一个python程序，随机输出20个数，这些数的范围是0-100，这些数的平均值是 ...; (422)次阅读|(12)个评论

解决Windows 2503内部错误问题 2025-02-17: 问题出自安装程序的权限不够。遇到两次了，记录一下解决办法。 1.如果知道安装文件的位置，可以写一个脚本如： msiexec/i "d:\tmp\putty-64bit-0.78-install ...; (253)次阅读|(6)个评论

提取MP4中的音频轨道并转成MP3 2025-02-14: 1. 首先用将MP4文件拖入LosslessCut。 2. 点击轨道按钮，选取音频轨道，并提取此轨道为文件，转成aac文件。 3. 将aac文件拖入Audacity，选择导出音频，导出到计 ...; (285)次阅读|(17)个评论