duangsuse::Echo
#dev #android #backend 面试题 🤔 - OSI 七层是哪七层 物理,数据链路: WiFi,BLE,eth,rndis驱动 网络传输: IP4,6 , iptables, socket(TCP) UDP 会话表示 Header cookie,json App 众多Web3.0论坛,. - HTTP 在哪一层？有些什么内容？ 在L5~L6，负责请求响应和MIME类型，暴露为 调用+回调 +Header环境变量 除了会话，HTTP也能做文件传输和填表 - GET 和 POST 核心差异是什么？…
发现了奇特的OSI术语定义：HTTP是L7(应用层)协议
没错，在IP4层模型里，HTTP只能是应用层， 但就我对操作系统和Web传输的了解，负责MIME、托起HTML的http: 居然比FTP/NFS,SQL还高两层？
- 没错，HTTP自己就能作静态站应用，就像IRC。 一个被淘汰很多年的方向了
- HTTP如果是应用层，它的用户就是bot user 或者测试工程师吧？
- 那么，比HTTP高的HTML还是表示层吗？ socket() 字节流「三次握手」称为会话？？ 所以TCP,TLS不该叫传输层了？
- 那么，Accept-Encoding:gzip 和HTML里的charset="" 也算应用层属性？ MIME这些由Blink或Flash处理的玩意，并不比HTML更应用层？
- RFC7230 的说法都是错的，对js和java而言，连接并不是无状态的
- 越来越多人在用 long-poll 轮询和cookie，而Header字典毫无疑问就是为了配置这些缓存缓冲
- 这种stateful 并不比 mysql:login 链接弱--SQL也支持多客户端
- SOCKS5 和HTTP代理， 因为需要登录，是否能算会话层？ 但SOCKS明显和TLS一样，是传输层
算了，反正SOCKS也不够用，还不是要有人再外套一层混淆协议
当然这些OSI模型都无所谓， 那些XML,cookie,请求响应，投射到编程的世界，也就只是对象、句柄和回调 文件上传什么的
原来下发个文件就能叫应用层，curl wget netcat 叫客户端，这也太IP了 #linux #net #learn
没错，在IP4层模型里，HTTP只能是应用层， 但就我对操作系统和Web传输的了解，负责MIME、托起HTML的http: 居然比FTP/NFS,SQL还高两层？
- 没错，HTTP自己就能作静态站应用，就像IRC。 一个被淘汰很多年的方向了
- HTTP如果是应用层，它的用户就是bot user 或者测试工程师吧？
- 那么，比HTTP高的HTML还是表示层吗？ socket() 字节流「三次握手」称为会话？？ 所以TCP,TLS不该叫传输层了？
- 那么，Accept-Encoding:gzip 和HTML里的charset="" 也算应用层属性？ MIME这些由Blink或Flash处理的玩意，并不比HTML更应用层？
- RFC7230 的说法都是错的，对js和java而言，连接并不是无状态的
- 越来越多人在用 long-poll 轮询和cookie，而Header字典毫无疑问就是为了配置这些缓存缓冲
- 这种stateful 并不比 mysql:login 链接弱--SQL也支持多客户端
- SOCKS5 和HTTP代理， 因为需要登录，是否能算会话层？ 但SOCKS明显和TLS一样，是传输层
算了，反正SOCKS也不够用，还不是要有人再外套一层混淆协议
当然这些OSI模型都无所谓， 那些XML,cookie,请求响应，投射到编程的世界，也就只是对象、句柄和回调 文件上传什么的
原来下发个文件就能叫应用层，curl wget netcat 叫客户端，这也太IP了 #linux #net #learn
Forwarded from CyanChannel Archive
现在用 Google 搜索缩写 “GPT” 已经不能在首页看到关于 “GUID Partition Table”（GUID 分区表）的结果了。实际上翻了两三页也基本上都是 ChatGPT 的内容。
P.S. 印象中有一张图就是在描述这个现象，“I miss the Internet when searching GPT gives you GUID Partition table”
P.S. 印象中有一张图就是在描述这个现象，“I miss the Internet when searching GPT gives you GUID Partition table”
duangsuse::Echo
#py #code #recommend 说到有趣的py接口，有个 iself() def read_as_io(f): class T(io.TextIOBase): read=lambda o,size: f(o) return T -匿名对象 之前写贪吃蛇 snk.c 就用到链表 不想缓冲区溢出的话Vec还是好的。C里你要实现[] 需要懂链表/strcat， rust 里你写 Vec<i32> push 就好了 Rust的生命周期现在基本不需要考虑（尤其是对应用开发时）， type infer…
#py 周刊阅读笔记
https://t.iss.one/NewlearnerChannel/12060
https://t.iss.one/NewlearnerChannel/12097
https://www.kdnuggets.com/why-you-should-not-overuse-list-comprehensions-in-python
#code
# Parse&flatten the JSON string with deep"inner_key" into a Python dictionary
这个也不想，因为用match和递归更常见吧，elif isinstance 是什么py2地狱绘图
https://bernsteinbear.com//blog/simple-python-repl/#:~:text=readline%20API
https://www.skywind.me/blog/archives/2761
如何利用RegExp/创建REPL
出自 https://docs.python.org/3.11/library/re.html
#js #code 当输入 "3 hello 1world" 时展开缩写，并且补齐出现过的词
就用 <body ContentEditable>+CSS.hilights 示例吧？
https://jsbin.com/kamufijomu/edit?js,output 😅
参考^回复，这样就有分词和括号配对高亮了？
—续周刊
https://github.com/stickfigure/blog/wiki/How-to-(and-how-not-to)-design-REST-APIs
十多项 REST API 的最佳实践规则，解释了规则的含义及实现
作者嘲笑了几家公司被广泛使用的 API，将它们作为规则的反例。
[Django 5.0 发布了！](https://docs.djangoproject.com/en/5.0/releases/5.0)
新增`Field.db_default` 参数，可设置由数据库计算的日期等默认值；`GeneratedField` 可以创建由数据库计算的列，简化了表单字段相关元素的呈现
FastAPI 已经支持
[kolo VSCode 插件：查看 Django 应用的执行过程](https://github.com/kolofordjango/kolo)
具有帧可视化、漂亮的火焰图、显示执行了 SQL 查询的代码行
[autometrics-py：函数级的指标监测工具](https://github.com/autometrics-dev/autometrics-py)
只加一个装饰器，可检测函数的请求率、错误率和延迟，开箱即用仪表板、自定义告警、运行开销小
https://dev.to/taipy/new-open-source-vs-old-open-source-33k7
10 组在 Python 社区很知名的库的替代库，这里最没争议的估计是 Ruff 替代 Pylint，
其它则还有：Taipy/Streamlit、Polars/Pandas、Dask/PySpark、PyTorch/TensorFlow ……
[Python 借助 Gopy 库实现调用 Go.whl 包](https://last9.io/blog/using-golang-package-in-python-using-gopy/)
https://preslav.me/2023/11/27/python-is-easy-golang-is-simple-simple-is-not-easy/#:~:text=also%20at%20the-,core%20of%20Django,-%2C%20which%20speaks%20to
[对比 Python 与 Rust 的编程习惯用法](https://programming-idioms.org/cheatsheet/Python/Rust) 有意思的网站，可比较不同编程语言在 300 多项习惯用法上的区别
就像 https://component-party.dev/
https://kobzol.github.io/rust/python/2023/05/20/writing-python-like-its-rust.html
从 Rust 中学到的一些编程习惯：使用类型提示、使用数据类代替元组或字典、使用代数数据类型、使用“newtype”、使用构造函数、使用互斥锁等
[Python 工具箱系列文章](https://www.cnblogs.com/shanxihualu/p/17391082.html)
这是一个系列文章，目前包含 31 篇文章，最近介绍的几个工具是数据库相关的：Neo4j（一个 NoSQL 图数据库，使用 Py2neo 操作）、PostgreSQL
[trogon：为 CLI 程序生成友好的GUI](https://github.com/Textualize/trogon)
[当在终端输入“ls”后会发生什么？](https://www.warp.dev/blog/what-happens-when-you-open-a-terminal-and-enter-ls)（英文）
有一道很类似的常见的面试题：“当在浏览器输入 google.com 后会发生什么？”
[solara：一个纯 python、React-风格的ipywidget框架](https://github.com/widgetti/solara)
[用tkinter、PySimpleGUI 和 Jupyter Notebook 播放 GIF？](https://www.blog.pythonlibrary.org/2023/12/05/viewing-an-animated-gif-with-python/)
https://toga.readthedocs.io/en/stable/tutorial/tutorial-0.html#:~:text=()%0A%0A%20%20%20%20button%20%3D-,toga.Button,-(%22Hello%20world
Toga是跨平台的pyGUI
kanban-python：终端中的看板应用程序，和Vue TUI 一样
https://t.iss.one/NewlearnerChannel/12060
https://t.iss.one/NewlearnerChannel/12097
https://www.kdnuggets.com/why-you-should-not-overuse-list-comprehensions-in-python
#code
primes =lambda upper_limit: [x for x in range(2, upper_limit + 1) if x > 1 and all(x % i != 0 for i in range(2, int(math.sqrt(x)) + 1))]后面
primes(50)
#拆分后
is_prime=lambda num: num > 1 and all(num % i != 0 for i in range(2, int(math.sqrt(num)) + 1))
primes = [x
for x in range(2, 50 + 1)
if is_prime(x)
]
def flatten_matrix(matrix):求和排序的我不想写，因为明显可以用 yield和np.vectorize
def find_prime_indices(matrix, flattened_matrix):
# Parse&flatten the JSON string with deep"inner_key" into a Python dictionary
这个也不想，因为用match和递归更常见吧，elif isinstance 是什么py2地狱绘图
https://bernsteinbear.com//blog/simple-python-repl/#:~:text=readline%20API
https://www.skywind.me/blog/archives/2761
如何利用RegExp/创建REPL
出自 https://docs.python.org/3.11/library/re.html
#js #code 当输入 "3 hello 1world" 时展开缩写，并且补齐出现过的词
Lexer=kv=>{
let re=Object.keys(kv).map(x=>`(${x})`).join('|'), mf=Object.values(kv),m,i,j=0
re=RegExp(re, 'gy')
return (s,ontok)=>{
for(m of re[Symbol.matchAll](s)) ontok(
mf[(j=m.findIndex((x,i)=>null!=x &&i!=0))-1](m[j]), (i=m.index), i+m[0].length
)
}
}
f=Lexer({
'\\d+':parseInt,
'[a-zA-Z]+':s=>s,
'\\s+'(){}
})
rep=(txt,on, n=null)=>f(txt,x=> (x==null)?on(' '):
(x.substr)? (on(x.repeat(n)),n=null) :
(n=x)
)
buildAry=(f,a=[])=>(f(x=>a.push(x)), a)
buildAry(rep.bind(0,"3hi 1end")).join('')
因为JS部分都这么长，还是懒得移植到PyExecJS了，总之分词器、括号配对啥的可以靠正则，提供补齐列表也不难就用 <body ContentEditable>+CSS.hilights 示例吧？
https://jsbin.com/kamufijomu/edit?js,output 😅
参考^回复，这样就有分词和括号配对高亮了？
—续周刊
https://github.com/stickfigure/blog/wiki/How-to-(and-how-not-to)-design-REST-APIs
十多项 REST API 的最佳实践规则，解释了规则的含义及实现
作者嘲笑了几家公司被广泛使用的 API，将它们作为规则的反例。
[Django 5.0 发布了！](https://docs.djangoproject.com/en/5.0/releases/5.0)
新增`Field.db_default` 参数，可设置由数据库计算的日期等默认值；`GeneratedField` 可以创建由数据库计算的列，简化了表单字段相关元素的呈现
FastAPI 已经支持
python-dependency-injector 实现依赖注入的方法。[kolo VSCode 插件：查看 Django 应用的执行过程](https://github.com/kolofordjango/kolo)
具有帧可视化、漂亮的火焰图、显示执行了 SQL 查询的代码行
[autometrics-py：函数级的指标监测工具](https://github.com/autometrics-dev/autometrics-py)
只加一个装饰器，可检测函数的请求率、错误率和延迟，开箱即用仪表板、自定义告警、运行开销小
https://dev.to/taipy/new-open-source-vs-old-open-source-33k7
10 组在 Python 社区很知名的库的替代库，这里最没争议的估计是 Ruff 替代 Pylint，
其它则还有：Taipy/Streamlit、Polars/Pandas、Dask/PySpark、PyTorch/TensorFlow ……
[Python 借助 Gopy 库实现调用 Go.whl 包](https://last9.io/blog/using-golang-package-in-python-using-gopy/)
https://preslav.me/2023/11/27/python-is-easy-golang-is-simple-simple-is-not-easy/#:~:text=also%20at%20the-,core%20of%20Django,-%2C%20which%20speaks%20to
[对比 Python 与 Rust 的编程习惯用法](https://programming-idioms.org/cheatsheet/Python/Rust) 有意思的网站，可比较不同编程语言在 300 多项习惯用法上的区别
就像 https://component-party.dev/
https://kobzol.github.io/rust/python/2023/05/20/writing-python-like-its-rust.html
从 Rust 中学到的一些编程习惯：使用类型提示、使用数据类代替元组或字典、使用代数数据类型、使用“newtype”、使用构造函数、使用互斥锁等
[Python 工具箱系列文章](https://www.cnblogs.com/shanxihualu/p/17391082.html)
这是一个系列文章，目前包含 31 篇文章，最近介绍的几个工具是数据库相关的：Neo4j（一个 NoSQL 图数据库，使用 Py2neo 操作）、PostgreSQL
[trogon：为 CLI 程序生成友好的GUI](https://github.com/Textualize/trogon)
[当在终端输入“ls”后会发生什么？](https://www.warp.dev/blog/what-happens-when-you-open-a-terminal-and-enter-ls)（英文）
有一道很类似的常见的面试题：“当在浏览器输入 google.com 后会发生什么？”
[solara：一个纯 python、React-风格的ipywidget框架](https://github.com/widgetti/solara)
[用tkinter、PySimpleGUI 和 Jupyter Notebook 播放 GIF？](https://www.blog.pythonlibrary.org/2023/12/05/viewing-an-animated-gif-with-python/)
https://toga.readthedocs.io/en/stable/tutorial/tutorial-0.html#:~:text=()%0A%0A%20%20%20%20button%20%3D-,toga.Button,-(%22Hello%20world
Toga是跨平台的pyGUI
kanban-python：终端中的看板应用程序，和Vue TUI 一样
Telegram
Newlearnerの自留地
#Python潮流周刊
Python 潮流周刊#27：应该如何处理程序的错误？
🦄文章&教程
1、将 Python 错误作为值：比较 Go 和 Rust 的使用模式
2、调试 Django 中的 CSRF 失败/403 禁止错误
3、对 Python 环境和包管理工具的公正分析
4、让我们一起创建一个 Python 调试器
5、揭开 Python 3.12 的面纱：Python 世界有哪些新东西？
6、Python 的哈希表指南
7、运行不可信的 Python 代码
8、了解 Linux cp 命令并用…
Python 潮流周刊#27：应该如何处理程序的错误？
🦄文章&教程
1、将 Python 错误作为值：比较 Go 和 Rust 的使用模式
2、调试 Django 中的 CSRF 失败/403 禁止错误
3、对 Python 环境和包管理工具的公正分析
4、让我们一起创建一个 Python 调试器
5、揭开 Python 3.12 的面纱：Python 世界有哪些新东西？
6、Python 的哈希表指南
7、运行不可信的 Python 代码
8、了解 Linux cp 命令并用…
duangsuse::Echo
#py 周刊阅读笔记 https://t.iss.one/NewlearnerChannel/12060 https://t.iss.one/NewlearnerChannel/12097 https://www.kdnuggets.com/why-you-should-not-overuse-list-comprehensions-in-python #code primes =lambda upper_limit: [x for x in range(2, upper_limit + 1) if x > 1 and…
😅 因为 [] ()? a:b 压行歧义和缓存 e.firstChild 的原因调了半小时
有点感慨， 现在我的代码居然表达式、弱类型化得「理直气壮」了，而且还很喜欢函数作为参返，其实，这些完全都是不符合规范的
而且……
JS算是我目前最用得来的语言，因为()=> 很方便， ?: 也算一种match case
说到底，过度自由的语法， 也是因为「只重视最终接口」这一信条。 只有API是不可改变的，要调用什么，乃至类型签名都可以简化
就像GPT那样，我编程是自顶向下的，一句话就可以代表40多行具体代码
程序员还是要当「漫画家」，而不是画匠
有点感慨， 现在我的代码居然表达式、弱类型化得「理直气壮」了，而且还很喜欢函数作为参返，其实，这些完全都是不符合规范的
而且……
Lexer({ '\\d+': parse }) (str) 居然是我认为唯一能手写的写法，即便它空有组合性；大概是我反感不缓存数据了，甚至在用赋值表达式？JS算是我目前最用得来的语言，因为()=> 很方便， ?: 也算一种match case
说到底，过度自由的语法， 也是因为「只重视最终接口」这一信条。 只有API是不可改变的，要调用什么，乃至类型签名都可以简化
就像GPT那样，我编程是自顶向下的，一句话就可以代表40多行具体代码
> 当输入 "3 hello 1world" 时展开缩写，并且补齐出现过的词 程序员还是要当「漫画家」，而不是画匠
duangsuse::Echo
#py 周刊阅读笔记 https://t.iss.one/NewlearnerChannel/12060 https://t.iss.one/NewlearnerChannel/12097 https://www.kdnuggets.com/why-you-should-not-overuse-list-comprehensions-in-python #code primes =lambda upper_limit: [x for x in range(2, upper_limit + 1) if x > 1 and…
#py 周刊
[DSAlgo：数据结构和算法的面试题集锦](https://github.com/SamirPaulb/DSAlgo)
大公司的面试题与计算机类学习笔记等资料。（star 1.7K）
[“SQLite 源码有 15 多万行，但测试代码和脚本竟有九千多万行”](https://www.bmpi.dev/dev/renaissance-sqlite)
[如何系统地自学Python？](https://www.zhihu.com/question/29138020)
知乎上的一个热门问题，已有 7.4 万人关注和 1200+ 回答。
[你用 Python 做过最酷的事情是什么？](https://www.reddit.com/r/Python/comments/17upt2f/whats_the_coolest_things_youve_done_with_python/)
Reddit 上的热门讨论帖，也有近 700 条评论，需要刷很久才能看完。。。
[Python 多线程编程的终极指南](https://programmingeeksclub.com/ultimate-python-multithreading-guide) （英文）
[鹅厂程序员的 9 个生存法则](https://segmentfault.com/a/1190000043833549)
https://lucumr.pocoo.org/2023/12/1/the-python-that-was/
https://yorickpeterse.com/articles/a-decade-of-developing-a-programming-language/
“所有反对动态语言、不让弱化类型签名的论点存在很久了！今天他们也没有任何新的发明，也没有任何进步的改变。 但我们集体说：管它呢。 发挥自己的优势吧
曾经有这样一个世界，系统固有的复杂性，大得绝对需要 IDE、代码生成和编译时工具。相比之下，我的世界里有 Vim 以及一个基本的 Linux 盒子
我们，不应该再那么信任开发人员，并重新引入与软件语意对抗的复杂性。现代 Python 对于JavaEE人来说是不可能理解的。
(按：点名批评langchain 太不Pythonic 。今天强类型还是有进步的，Go的类型推导和ts的渐强类型 比Java好多了)
https://tonybaloney.github.io/posts/sub-interpreter-web-workers.html
- （可爱封面图） 用子解释器运行 Python 并行程序，比multiprocessing(fork)快100倍
PEP: https://pyfound.blogspot.com/2023/05/the-python-language-summit-2023-pattern.html
模式匹配语法是 3.10 版本的重大特性，但是 Sullivan 认为它的能力相当有限，因此提出了模式匹配的后续发展方向
[允许在 for 循环的循环头中使用推导式语法](https://discuss.python.org/t/allow-comprehension-syntax-in-loop-header-of-for-loop/25864)（英文）
这个帖子提出了一个想法：让 Python 的 for 循环支持推导式语法“for i in x if i % 2 == 0:”。
[解密 CPython：当执行 a+b 时，int与float如何被区分？](https://codeconfessions.substack.com/p/cpython-dynamic-dispatch-internals)
[深入理解 Python 虚拟机：描述器实现原理与源码分析](https://github.com/Chang-LeHung/dive-into-cpython/blob/master/obsy/03decriptor.md)
动态分发（Dynamic Dispatch）指的是在程序运行时（而不是在编译时）确定调用哪个方法或函数的过程。
彩蛋：
[Python 装饰器：用包装巫术增强你的代码](https://hackthedeveloper.com/python-decorator/)
[Python 元类教程（带示例）](https://coderslegacy.com/python-metaclass-tutorial/)（英文）
[DSAlgo：数据结构和算法的面试题集锦](https://github.com/SamirPaulb/DSAlgo)
大公司的面试题与计算机类学习笔记等资料。（star 1.7K）
[“SQLite 源码有 15 多万行，但测试代码和脚本竟有九千多万行”](https://www.bmpi.dev/dev/renaissance-sqlite)
[如何系统地自学Python？](https://www.zhihu.com/question/29138020)
知乎上的一个热门问题，已有 7.4 万人关注和 1200+ 回答。
[你用 Python 做过最酷的事情是什么？](https://www.reddit.com/r/Python/comments/17upt2f/whats_the_coolest_things_youve_done_with_python/)
Reddit 上的热门讨论帖，也有近 700 条评论，需要刷很久才能看完。。。
[Python 多线程编程的终极指南](https://programmingeeksclub.com/ultimate-python-multithreading-guide) （英文）
[鹅厂程序员的 9 个生存法则](https://segmentfault.com/a/1190000043833549)
https://lucumr.pocoo.org/2023/12/1/the-python-that-was/
https://yorickpeterse.com/articles/a-decade-of-developing-a-programming-language/
“所有反对动态语言、不让弱化类型签名的论点存在很久了！今天他们也没有任何新的发明，也没有任何进步的改变。 但我们集体说：管它呢。 发挥自己的优势吧
曾经有这样一个世界，系统固有的复杂性，大得绝对需要 IDE、代码生成和编译时工具。相比之下，我的世界里有 Vim 以及一个基本的 Linux 盒子
我们，不应该再那么信任开发人员，并重新引入与软件语意对抗的复杂性。现代 Python 对于JavaEE人来说是不可能理解的。
(按：点名批评langchain 太不Pythonic 。今天强类型还是有进步的，Go的类型推导和ts的渐强类型 比Java好多了)
https://tonybaloney.github.io/posts/sub-interpreter-web-workers.html
- （可爱封面图） 用子解释器运行 Python 并行程序，比multiprocessing(fork)快100倍
PEP: https://pyfound.blogspot.com/2023/05/the-python-language-summit-2023-pattern.html
模式匹配语法是 3.10 版本的重大特性，但是 Sullivan 认为它的能力相当有限，因此提出了模式匹配的后续发展方向
[允许在 for 循环的循环头中使用推导式语法](https://discuss.python.org/t/allow-comprehension-syntax-in-loop-header-of-for-loop/25864)（英文）
这个帖子提出了一个想法：让 Python 的 for 循环支持推导式语法“for i in x if i % 2 == 0:”。
[解密 CPython：当执行 a+b 时，int与float如何被区分？](https://codeconfessions.substack.com/p/cpython-dynamic-dispatch-internals)
[深入理解 Python 虚拟机：描述器实现原理与源码分析](https://github.com/Chang-LeHung/dive-into-cpython/blob/master/obsy/03decriptor.md)
动态分发（Dynamic Dispatch）指的是在程序运行时（而不是在编译时）确定调用哪个方法或函数的过程。
彩蛋：
import this,antigravity[Python修饰器的函数式编程](https://coolshell.cn/articles/11265.html)：左耳朵耗子唯一以 Python 为话题的文章，而且写得详细到位。
import keyword,strings
>>> keyword.softkwlist #'match' in it
[Python 装饰器：用包装巫术增强你的代码](https://hackthedeveloper.com/python-decorator/)
[Python 元类教程（带示例）](https://coderslegacy.com/python-metaclass-tutorial/)（英文）
GitHub
GitHub - SamirPaulb/DSAlgo: 📚A repository that contains all the Data Structures and Algorithms concepts and solutions to various…
📚A repository that contains all the Data Structures and Algorithms concepts and solutions to various problems in Python3 stored in a structured manner.👨💻🎯 - SamirPaulb/DSAlgo
duangsuse::Echo
#py 周刊 [DSAlgo：数据结构和算法的面试题集锦](https://github.com/SamirPaulb/DSAlgo) 大公司的面试题与计算机类学习笔记等资料。（star 1.7K） [“SQLite 源码有 15 多万行，但测试代码和脚本竟有九千多万行”](https://www.bmpi.dev/dev/renaissance-sqlite) [如何系统地自学Python？](https://www.zhihu.com/question/29138020) 知乎上的一个热门问题，已有 7.4…
[人工智能 AI 孙燕姿模型应用实践](https://v3u.cn/a_id_310)
最近 AI 孙燕姿太火了！文章基于 Python3.10 和开源库 so-vits-svc（高表现力的语音合成模型）、Spleeter（人声和伴奏分离）
[clone-voice: 一个带 web 界面的声线转换工具](https://github.com/jianchang512/clone-voice)
支持中文、英文、日语、韩语 4 种语言，也支持文字转语音（star 1.3K）
[八十行代码实现开源的 Midjourney、Stable Diffusion “咒语”作图工具](https://soulteary.com/2023/04/05/eighty-lines-of-code-to-implement-the-open-source-midjourney-and-stable-diffusion-spell-drawing-tool.html)
分别支持 CPU 和 GPU 推理使用。
[pandas-ai：支持 AI 功能的 Pandas](https://github.com/gventuri/pandas-ai) 类似有AI生成SQL, DB-GPT
[self-operating-computer：使多模态模型能够操作计算机](https://github.com/OthersideAI/self-operating-computer)
这是近期基于 GPT-4v 的最火项目之一。GPT-4v 在鼠标点击位置方面的错误率很高。（star 5.1K）
[GirlfriendGPT：你的人工智能伴侣](https://github.com/EniasCailliau/GirlfriendGPT)
类似talkGPT4All，使用 ChatGPT 构建一个 AI 伴侣， 拥有个性化的人格、声音以及自拍照！
[WeChatMsg：导出微信聊天记录成 HTML/Word/CSV文档](https://github.com/LC044/WeChatMsg)
本周火爆朋友圈的项目，作者是一名在校大学生，支持生成年度聊天报告。“我的数据我做主”。可以导出数据用于训练个人 AI！（star 12.5K）
[Depix：还原打了马赛克的截图文本](https://github.com/spipm/Depix)
在截图上打了马赛克就安全了么？不！这个库能以较高的准确度还原图片中的纯文本信息。仓库中有技术原理解释，以及对使用缺陷的说明。（star 24.7K）
'
最近 AI 孙燕姿太火了！文章基于 Python3.10 和开源库 so-vits-svc（高表现力的语音合成模型）、Spleeter（人声和伴奏分离）
[clone-voice: 一个带 web 界面的声线转换工具](https://github.com/jianchang512/clone-voice)
支持中文、英文、日语、韩语 4 种语言，也支持文字转语音（star 1.3K）
[八十行代码实现开源的 Midjourney、Stable Diffusion “咒语”作图工具](https://soulteary.com/2023/04/05/eighty-lines-of-code-to-implement-the-open-source-midjourney-and-stable-diffusion-spell-drawing-tool.html)
分别支持 CPU 和 GPU 推理使用。
[pandas-ai：支持 AI 功能的 Pandas](https://github.com/gventuri/pandas-ai) 类似有AI生成SQL, DB-GPT
[self-operating-computer：使多模态模型能够操作计算机](https://github.com/OthersideAI/self-operating-computer)
这是近期基于 GPT-4v 的最火项目之一。GPT-4v 在鼠标点击位置方面的错误率很高。（star 5.1K）
[GirlfriendGPT：你的人工智能伴侣](https://github.com/EniasCailliau/GirlfriendGPT)
类似talkGPT4All，使用 ChatGPT 构建一个 AI 伴侣， 拥有个性化的人格、声音以及自拍照！
[WeChatMsg：导出微信聊天记录成 HTML/Word/CSV文档](https://github.com/LC044/WeChatMsg)
本周火爆朋友圈的项目，作者是一名在校大学生，支持生成年度聊天报告。“我的数据我做主”。可以导出数据用于训练个人 AI！（star 12.5K）
[Depix：还原打了马赛克的截图文本](https://github.com/spipm/Depix)
在截图上打了马赛克就安全了么？不！这个库能以较高的准确度还原图片中的纯文本信息。仓库中有技术原理解释，以及对使用缺陷的说明。（star 24.7K）
'
v3u.cn
AI天后,在线飙歌,人工智能AI孙燕姿模型应用实践，复刻《遥远的歌》，原唱晴子(Python3.10)-刘悦
忽如一夜春风来，亚洲天后孙燕姿独特而柔美的音色再度响彻华语乐坛，只不过这一次，不是因为她出了新专辑，而是人工智能AI技术对于孙燕姿音色的完美复刻，以大江灌浪之势对华语歌坛诸多经典作品进行了翻唱，还原度令人咋舌，如何做到的?本次我们借助基于Python3.10的开源库so-vits-svc，让亚洲天后孙燕姿帮我们免费演唱喜欢的歌曲，实现点歌自由。so-vits-svc是基于VITS的开源
duangsuse::Echo
昨天提到的头疼点，现在修好了，希望以后能实现吧 顺便读篇#zhihu 文吧 https://www.zhihu.com/question/40675600/answer/3310038891 >代数数据类型是所有高级特性的基础, 比如 0 = never, 1 = unit, 2 = bool.. NaN=void >定义和类型以及积类型(sum prod), 所有类型就都可以组合出来。相同的 ADT 编码意味着这两个类型本质上相同 首先，你想用实例的个数表达「类型」？ SQL Table 就是如此啊，但是有啥用…
#design #java 🥰 我的编程范式，目前由2类的重载重写构成
# 行列式多态 tabular polymorphism
class,dict,struct 等类型的本质是“电子表格”，而方法只是有特殊前缀的全局函数
因此，类型就是行和列(=定长字典和键)
C(但是行可以=1.0)
枚举则表明，类型也是数据
error(): NO类型, voidFn(): over类型
构造vs简造器
构造器constructor= 由变量组合成的struct
简造器lit= 由字面等价出的enum等type，必须属于既有表格
# 转为式多态 too polymorphism
加参器instructor、加构器costructor、段造器OOstructor 「3种三段论」
默认值+值=值
给定值+值=对象
默认函+值=对象
在不同的(??)语境下，-函数调用有由参数确定的“声调tone”，俗称多态或 类型判断/自动转换
有3种词支持新增声调： 类型(??-) 多方法函数(??) 单方法函数(-)
比起抛开constructor 而使用
右链左表括歪嘴(rchain lswitch wheezynul)
那些总是在
解决了一个心腹大患，开心，现在和Kotlin加那一堆data seal enum 修饰词的完全不一样了，而且类型上既Rust又Go 🦀，值上既YAML又JSON ，而且可能让Haskell GADT和Monadic链吃瘪了
然后，还有比GraphQL都好看的免术语区间和filtermap 🥭 ，无需open()的文件保存/另存为抽象， 总之，这个范式绝对不是单纯的面向函数。 不仅仅是强类型+DSL，它比py更擅长处理数据
我最喜欢这样看着土，实际从各个角度都博采众长的东西。 和任何编程语言都不必比较，因为它不需要门槛，会Excel和bash都能懂， 有序自然+简洁+文化中立
但我必须做一个前端框架，吃上饭才有时间写编译器啊 😅
https://t.iss.one/kotlin_cn/110933
# 行列式多态 tabular polymorphism
class,dict,struct 等类型的本质是“电子表格”，而方法只是有特殊前缀的全局函数
因此，类型就是行和列(=定长字典和键)
?? Animal
- name Str //<> 列方向共有的，叫接口
Cat(name)
Dog(name, owner:Str) //^v 行方向新增的，叫构造器
其形式为 C=A+B :?? C A
- b1 Str
- b2 [Int sets] //可变量
?? A-exists B //Animal 表已穷举，不可继承
//- A已存，无法添加新的列C(但是行可以=1.0)
枚举则表明，类型也是数据
?? Food now Rows(): //简造器: [Str Enum KV]
Apple; Tomato; Beef
因此，Pair(Col2) 继承自Columns ，Maybe(may2) 继承自Rowerror(): NO类型, voidFn(): over类型
构造vs简造器
构造器constructor= 由变量组合成的struct
简造器lit= 由字面等价出的enum等type，必须属于既有表格
# 转为式多态 too polymorphism
加参器instructor、加构器costructor、段造器OOstructor 「3种三段论」
默认值+值=值
给定值+值=对象
默认函+值=对象
z counter(0) :
me(1)==1 me(2)==3
//z==$Yes
Dog("Hachi").[Movy too].move(0)
??- counter(x:Int, ac=0) //加参器可以避免class的滥用，或为监听等闭包 声明可变量
ac =:+ x
over ac
??- Animal.Dog(owner="Jack") //加构器可以避免继承得没有主次
??- Dog.too() Movy //且允许从impl{}扩充函数 平滑过渡到方法或参数更多的类型
- move(dxy) $N !:"躺平了"
??- Activity AbstractMain
now: aField 0
- onCreate as:
main()
Name.asSuper
- onDestroy ‘TODO’
^??
- main() // 段造器是能作为参数的函数字典，它直接与OOP对应
- fetch(:URL) "STUB!"
- openVal sets(0)
对人脑而言，模拟执行代码，也需要发音。在不同的(??)语境下，-函数调用有由参数确定的“声调tone”，俗称多态或 类型判断/自动转换
有3种词支持新增声调： 类型(??-) 多方法函数(??) 单方法函数(-)
??- [Activity 函确定]() Main() //无/有构造器的类型，默认确定性为 funcs / funcs! ，因此无需trait{}。只需去掉^?? 就默认final
^name
- statics也可以有元类接口
??- Main
- 同文件的扩充可以mark private
??- 这是个函数() 0
.:
- 它不该有局部fun
??- 或匿名()Object()
↘️ 为了方便跨平台或mock，应该在编译期依赖注入， 称为 os-依协议工厂比起抛开constructor 而使用
Factory.createXX() ，应当允许 ext fun 按作用域选择性内联，类似于导入并覆盖os.exec("echo 1") //返回动态类型"NO"
??- os-droid()
- exec(:Str) "install busybox!"
# 运算链右链左表括歪嘴(rchain lswitch wheezynul)
y 1 .:
Vec2(me+1).x //sin
-2+3
3==(counter .: -ac 3).ac
//右下链，是Rust允许{let}遮盖同变量名的理由 🙄
//那根本不现代，和C的int a=(b=1)， “now 1: a;b” 一样是瞎猫吃死耗子，祈祷不被[有心人]滥用呗
除了可多行的bash式参数，还有「类型即表格」—class可以随处创建那些总是在
fn(a=a,b=b) 的def 也可以消停了，让人用得上才叫OOP嘛yNew y :.
<0: -1
>0: 1 ; or: 0
//左下表，单行缩写为 (y rem- 0).{0"平" 1"剩" -1"负"}，支持bool函数和匹配解构
(1==1) \: // 这个\: 替换为.{$Y 1 $N 0} 就是ifelse了
say:'CPU有毛病'
ada User(NO) // 非常可爱的、文化中立的表情，取代了让人头痛的异常、弱类型||、null ?.let ?:
ada.age ("UNK") : "☹️{me+1}"
(ada.age🫤 \: 17)+1
may{u.age.orThrow} !: "😬need be checked"
?? Row
User(age\:Int) //val age:Int? 不应该出现在结构体以外，除非写为 - age [Int mayNO]
🦄解决了一个心腹大患，开心，现在和Kotlin加那一堆data seal enum 修饰词的完全不一样了，而且类型上既Rust又Go 🦀，值上既YAML又JSON ，而且可能让Haskell GADT和Monadic链吃瘪了
然后，还有比GraphQL都好看的免术语区间和filtermap 🥭 ，无需open()的文件保存/另存为抽象， 总之，这个范式绝对不是单纯的面向函数。 不仅仅是强类型+DSL，它比py更擅长处理数据
我最喜欢这样看着土，实际从各个角度都博采众长的东西。 和任何编程语言都不必比较，因为它不需要门槛，会Excel和bash都能懂， 有序自然+简洁+文化中立
但我必须做一个前端框架，吃上饭才有时间写编译器啊 😅
https://t.iss.one/kotlin_cn/110933
Telegram
duangsuse in Kotlin CN
https://t.iss.one/dsuse/19184 这个内存对象范式叫行列算数(Rowcol typis)，认为类型的本质是电子表格里 column set 间的混合， fn? 标记的表格可自由扩充新的列。
只要函数要求的列的Set能被变数或常数满足，调用就合法
赋值、 if for 只是普通调用，但含编译期计算
( - plus(An:Int, k:Int)Int 则是方法)
自带对序列化器（类型单实例的接口） 的支持，例如 typeof<Column2<Int,Str>>(JSON).loads()…
只要函数要求的列的Set能被变数或常数满足，调用就合法
赋值、 if for 只是普通调用，但含编译期计算
( - plus(An:Int, k:Int)Int 则是方法)
自带对序列化器（类型单实例的接口） 的支持，例如 typeof<Column2<Int,Str>>(JSON).loads()…
duangsuse::Echo pinned «#design #java 🥰 我的编程范式，目前由2类的重载重写构成 # 行列式多态 tabular polymorphism class,dict,struct 等类型的本质是“电子表格”，而方法只是有特殊前缀的全局函数 因此，类型就是行和列(=定长字典和键) ?? Animal - name Str //<> 列方向共有的，叫接口 Cat(name) Dog(name, owner:Str) //^v 行方向新增的，叫构造器 其形式为 C=A+B : ?? C A - b1…»
duangsuse::Echo
但，创作一种种新方法真的很难。“守恒的解法”考验设计者永恒的积淀。 且不说不同的人对“定义式编程”的理解偏差可能比Vue和Elm 还大， 往往就是一些简单的思考会卡你六七天 🤪 对未知的恐惧，在失去新鲜感后拔地而出，从0到1是与知识与资本都无关的。 你也可以一直当一个“练习生”，做些不涉模型的重命名创作， 但我见过CS人“重新定义XXX” 真的太多了。我懒得加入这种边解题边造坑的狂欢。 我追求的就是绝对的真理(因此上图的代码，我权当没写过)，这样我对代码的评价两极分化；但我是真不相信 ffmpeg;…
🤣 博客的slogan想好了…… 虽然也不知该何时重开 #statement
《跳转回填 backpatcher》
“编程是什么？” “规范记录自己想过的解法呗”？但无论规范出的是对象还是函数，或是什么了不起的代数，社区里都有 How < What < Why 三种等级
How 只关心眼前的脚本或算法，即便它的API或亮点一句话就能说清，或者干脆照古猫画今虎， 好比热衷笔法的画匠
What 清楚一个领域的惯用法，能总结出你没想过的框架模板，保持对新知罕知的扩充性， 会是乐于自顶向下、拆解选型的好老师
Why 只关心造成问题的问题，对奇技淫巧的潮流轮回、对“跨端复制”的数据与解法代码视若无睹—删到只留下自己还爱的功能
从搜罗how的称职码农，变成懂what的框架工程师，仍期待你加上敢问 what if 的「主见」、再乘上爱... pipeline的尽头才会组合出优秀的、不被教条绑架的无前缀创作者
到已能回答出WHY的地步，代码便从该“积栈的”法术，化作写字念书的母语，只会因创作与设计而产生！
好比漫画家。穷其变，悟不穷，以明我志。
但奇怪的是，这反而和技术菜鸟、和傻瓜用户没什么区别？
不如学院派：知其变，守其恒，为天下式。
元编程和体操说到底还是编程。编程也还是调细节的“查询与创作”。 作为专业知识和八股文，只有越来越不值钱，才会像Pythonic那样启发值钱的事物
已跳出这段易问难解的过程式，才能看清它对你的价值吧？
— 然后，还有我设计的两个范式的Zen:
《跳转回填 backpatcher》
“编程是什么？” “规范记录自己想过的解法呗”？但无论规范出的是对象还是函数，或是什么了不起的代数，社区里都有 How < What < Why 三种等级
How 只关心眼前的脚本或算法，即便它的API或亮点一句话就能说清，或者干脆照古猫画今虎， 好比热衷笔法的画匠
What 清楚一个领域的惯用法，能总结出你没想过的框架模板，保持对新知罕知的扩充性， 会是乐于自顶向下、拆解选型的好老师
Why 只关心造成问题的问题，对奇技淫巧的潮流轮回、对“跨端复制”的数据与解法代码视若无睹—删到只留下自己还爱的功能
从搜罗how的称职码农，变成懂what的框架工程师，仍期待你加上敢问 what if 的「主见」、再乘上爱... pipeline的尽头才会组合出优秀的、不被教条绑架的无前缀创作者
到已能回答出WHY的地步，代码便从该“积栈的”法术，化作写字念书的母语，只会因创作与设计而产生！
好比漫画家。穷其变，悟不穷，以明我志。
但奇怪的是，这反而和技术菜鸟、和傻瓜用户没什么区别？
不如学院派：知其变，守其恒，为天下式。
元编程和体操说到底还是编程。编程也还是调细节的“查询与创作”。 作为专业知识和八股文，只有越来越不值钱，才会像Pythonic那样启发值钱的事物
已跳出这段易问难解的过程式，才能看清它对你的价值吧？
— 然后，还有我设计的两个范式的Zen:
- 程序员“开销”>CPU开销, 让numpy变快>让gcc -O3 变快分别是这些原则:
- 用户耗时>脚本耗时，好记的手势和快捷键>完善的类型签名
- 编程只是快乐的涂鸦，电脑和“专业”社区只有权让涂鸦等效于生产。职责划分是，app代码简明趋短、信达趋俗
- 不要作为框架说explicit优于implicit。负起穷举用法模型的责任
- 不要作为人说复杂性不能拆解换名。可读性不朽！
- 不要怀念ifelse链和单例class命名空间。“小”聪明难久
- 不要在模型前，怀念学到的特例；即便需求皆不纯，错误不能被糊弄，API也无模棱两可的定价权
- 只能有一个……至少只封装出一种API，那么写明的提问就是最佳答案
- 哪怕你搜到的一开始还不够Pythonic。快速原型很实干，但并非不选型就蛮干
- 讲不清文档的代码，一定是缺乏模型的拼凑品
- 简单自然的代码，不一定是缺乏功能的入门品
- 链式访问和加减只是调用，class只是共变量函数。编程语言们还有更棒的灵感！
算法才是开销 UX最为耗时 职责预划分 语境优于明确 组合优于列清
正确归类语法 意外=错误 单一职责 自顶向下 防面条代码 防过度工程 元编程是编程
duangsuse::Echo
昨天提到的头疼点，现在修好了，希望以后能实现吧 顺便读篇#zhihu 文吧 https://www.zhihu.com/question/40675600/answer/3310038891 >代数数据类型是所有高级特性的基础, 比如 0 = never, 1 = unit, 2 = bool.. NaN=void >定义和类型以及积类型(sum prod), 所有类型就都可以组合出来。相同的 ADT 编码意味着这两个类型本质上相同 首先，你想用实例的个数表达「类型」？ SQL Table 就是如此啊，但是有啥用…
https://www.zhihu.com/question/31034164/answer/553533545 #plt #dalao #statement
再顺便读（因为调歌搁了几天）文章，补充自己的观点
>0：可以完全理解一问题，并且给出对应的代码就是acm在培养的东西。
这就是上条我说的How， 也就是GPT和Copilot负责的部分
看起来，不用调包不找轮子，不用学API是种精英式的进步：你能修改算法更细则的部分，而别人连调用都吃力
但这也只是所谓「拼凑尸块」。
对大部分算法来说，只要可视化「最简的」边界情况、示例输入，它们不算是门槛。三四行已经学到精髓了，对于用两次filter充当partition来写qsort、用reduce查Trie/AC/KMP、用模式匹配写RBT_balance 的人来说
反而，许多人没举出几个示例，没有和原作站在同一立场上，就去默写脚本或test乃至新lib，那叫做拼凑尸块。
让GPT去改效果也一样的算法，那些70年不变的东西，剪枝什么的，不能算CS
知道P=NP 问题是怎么定义的吗？ 必须先让所有NP复杂度的函数，都能等价为数独或旅行商求解：抹消问题之间的术语差异。
这种复用性，只有自顶向下的编程范式能做到吧，那么「是否能理解函数体」的门槛，只会变成暴露语言模型本身的突兀和贫瘠
因此“能列出How”不是CS的专利，更不算真正的编程，只是在当同声翻译，译的还是百年来再生..遗忘..无数遍的“诗歌” --如果这叫诗人，我想写一辈子“庸俗小说”
>1：能在0之上加上工程方法。
What, “能说清How”，就是工程上的「定义式编程」了。 尽管许多函数式框架重复度依然不低，它们造成的行数困扰相对更小
SICP还会列举assumption啊，Lisp可是连统一的is-type都没有(CLOS够吗)，冗长、赋值和嵌套混乱、反链式逻辑，反ADT-弱类型dict的优势也发挥不出来
圆括号作为WASM的tree/vargraph document 刚好够呢！ Lisp应该和PostScript和XML那种机翻语言归为同类吧？
一个VB式密封化的链表语言谈“抽象” 确实是很抽象 ，唯一就是闭包和ret地址闭包(CPS,async),when-cond,符号和宏等特殊调用模式(x'&&'printx)好像牛逼了,自解释力更强了
但配不上自己语言的好特性。哪怕换不够函数式的py 它们都会夯到被写进八股里。作为一种文本连排版都做不好，只能说((+))比Scratch和Blender拖拽编程还低效
py里倒是有种“闭包”：变量的LEGB(loc. 类于this的nonlocal global builtins)原则，还真挺土的，不把“自由变量”附庸除号的风雅也配称lambda吗？
技术选型，能像GPT一样问了再回答，不给人造成问题+突兀的术语就够了。不想被掉坑什么的 也是奢望
>2：对整个计算机stack有认识，能把各种技能混着耍
WHY, “能反对How”，照顾到主观+客观的取舍，就是所谓真正的编程能力。
这当然需要了解不同领域的概念，让算法对应到现实，因此是CS乃至计算机的专利。
代码能从导入的许多小领域，产生更大更新的领域，看似“一眼能望到头”，但这也是一种文学创作啊！
……DeepCoder的 seq2seq端到端infer 和程序综合-降低搜索空间 没啥关系吧。Synthesis的逻辑就是函数回归或树状图的DFS，连loss都难指定，哪能像AGI“理解”语言
在LSTM这些序列推理前，TTS的主流还是Markov链呢，HMM的优化器基于图算法。 高端到除了sklearn就一个包可调，所以它是失败了 还是太SOTA了呢
至于多线程加速，GPU支持的向量计算已用于GL的sdf，AI TPU则对比16bit还窄的浮点很青睐，说到底板子还是被垄断的。
本就该分块平行计算的，渲染、文件传输和翻译，已经普遍到像BT那样走向集群了，甚至JSON都用SIMD跳空格，pwsh有 For-Each -Parallel，哪里还是未来。
嵌入式概念上和UI编程差异不大，甚至能混入的算法更窄。 专业App到什么程度才会使用到FPGA呢? RPi.py不够吧
……Docker进一步划分chroot 用overlayfs+cgroup 来模仿单exe式安装
确实，像FUSE那样免root擦/dev/sda 能省掉线程切到OS栈的时间，而Unikernel,JikesRVM能在内核态提供app要的libc,jvm等环境
--就像WASM+VFS ，那就是你说的免OS新全栈。如果抛掉H5 API 或禁用js我看不出有啥爽的，甚至 Lunatik,CE修改器的dbvm 都没strace,proxychains这些hook香
也不能说Docker无需linux就足够虚拟化，或者把app和kmod都放在Ring1,关闭内存段隔离VMA是合理的。
Unikernel比WASM难测试10倍，况且，即便是jvm+jni也有可能因溢出产生RCE，在linux下黑客至少不能删除数据备份或渗透内网，此外，这种“单功能机换2倍加速”是逆着LVM或RAID集群的
比起开机快和0开销，不如先把JSON换成BSON？ 是吧，跨版本适配性有那么重要吗？
……与其说js们是「一阶逻辑」嘛，不如说只是命题：它们连响应式都不支持、要注册流控函数，何谈exists T. '+'(T,str)=T 这些查询
btw. 0~2阶命题: 1=1 ; IsOdd集的(x) x=1 ; findeach q. q(1)=1 ，因此2阶能因(常量)参数的不同，导出其他性质(比如纯fx=fx, 证明'f'存在要俩fx类型相等)
形式化验证，如. x+y=y+x 不仅繁琐，还错判了重点(C-H同构是褒义词吗? 代码重复!)
代码被人的认知和范式所局限，而DFS助手不能帮人提高智商，甚至它自己也在加强符号nerd的刻板印象。
> 我所认为的不会随着时间而失效，也不能被体力劳动+调包取代的是：对自己的tool或多或少有本质上的理解
>对不同复杂度的问题（领域级/系统级/问题级），采用相对应工具降低复杂度，最后击破"的能力吧。
IT和Math人，总是傲慢地认为自家那几个数据或问题模型，验收了，就是垄断真实世界的至理名言。 但最终，产生价值和取向的是人 不是"神纸"。
什么才算是真正的编程能力：真正..本质.. 利用工具.. 除了说同义词，为啥不把上文的观点「混着耍」呢？这就是全文的总结吗
对我来说，“领域级/系统级/问题级 的本质” 依然只是从how 归纳出了what，那和CAD一样，不是真正的CS能力。
从搜罗how的称职码农，变成懂what的框架工程师，还需要加上敢问WHY的「主见」、再乘上爱，才会变成优秀的、不被教条绑架的无前缀创作者
TF,Pytorch,Keras 里面T应该慢慢被K取代了吧。「为什么会」呢？这就叫复杂所以全的“不会随着时间而失效”系统吗
这些DNN和Scratch的Flow图拖拽编程没啥区别，ONNX就能被netron.js可视化，早晚也要被0代码掉吧
但偏偏就是这些因为需要自动微分而 def forward(x) 的同质化计算图，直接让py变成了缩进地狱
谁关心微分和SGD是怎么实现的，像 np.einsum('ji' 实现的横纵转置就应该能自动补齐偏导吧
能手工调的够少才叫ML，所以那些本质和理解.. 魔法..是编程能力吗? 新技术，确实在医治「智慧」这种疾病啊
再顺便读（因为调歌搁了几天）文章，补充自己的观点
>0：可以完全理解一问题，并且给出对应的代码就是acm在培养的东西。
这就是上条我说的How， 也就是GPT和Copilot负责的部分
看起来，不用调包不找轮子，不用学API是种精英式的进步：你能修改算法更细则的部分，而别人连调用都吃力
但这也只是所谓「拼凑尸块」。
对大部分算法来说，只要可视化「最简的」边界情况、示例输入，它们不算是门槛。三四行已经学到精髓了，对于用两次filter充当partition来写qsort、用reduce查Trie/AC/KMP、用模式匹配写RBT_balance 的人来说
反而，许多人没举出几个示例，没有和原作站在同一立场上，就去默写脚本或test乃至新lib，那叫做拼凑尸块。
让GPT去改效果也一样的算法，那些70年不变的东西，剪枝什么的，不能算CS
知道P=NP 问题是怎么定义的吗？ 必须先让所有NP复杂度的函数，都能等价为数独或旅行商求解：抹消问题之间的术语差异。
这种复用性，只有自顶向下的编程范式能做到吧，那么「是否能理解函数体」的门槛，只会变成暴露语言模型本身的突兀和贫瘠
因此“能列出How”不是CS的专利，更不算真正的编程，只是在当同声翻译，译的还是百年来再生..遗忘..无数遍的“诗歌” --如果这叫诗人，我想写一辈子“庸俗小说”
>1：能在0之上加上工程方法。
What, “能说清How”，就是工程上的「定义式编程」了。 尽管许多函数式框架重复度依然不低，它们造成的行数困扰相对更小
SICP还会列举assumption啊，Lisp可是连统一的is-type都没有(CLOS够吗)，冗长、赋值和嵌套混乱、反链式逻辑，反ADT-弱类型dict的优势也发挥不出来
圆括号作为WASM的tree/vargraph document 刚好够呢！ Lisp应该和PostScript和XML那种机翻语言归为同类吧？
一个VB式密封化的链表语言谈“抽象” 确实是很抽象 ，唯一就是闭包和ret地址闭包(CPS,async),when-cond,符号和宏等特殊调用模式(x'&&'printx)好像牛逼了,自解释力更强了
但配不上自己语言的好特性。哪怕换不够函数式的py 它们都会夯到被写进八股里。作为一种文本连排版都做不好，只能说((+))比Scratch和Blender拖拽编程还低效
py里倒是有种“闭包”：变量的LEGB(loc. 类于this的nonlocal global builtins)原则，还真挺土的，不把“自由变量”附庸除号的风雅也配称lambda吗？
技术选型，能像GPT一样问了再回答，不给人造成问题+突兀的术语就够了。不想被掉坑什么的 也是奢望
>2：对整个计算机stack有认识，能把各种技能混着耍
WHY, “能反对How”，照顾到主观+客观的取舍，就是所谓真正的编程能力。
这当然需要了解不同领域的概念，让算法对应到现实，因此是CS乃至计算机的专利。
代码能从导入的许多小领域，产生更大更新的领域，看似“一眼能望到头”，但这也是一种文学创作啊！
……DeepCoder的 seq2seq端到端infer 和程序综合-降低搜索空间 没啥关系吧。Synthesis的逻辑就是函数回归或树状图的DFS，连loss都难指定，哪能像AGI“理解”语言
在LSTM这些序列推理前，TTS的主流还是Markov链呢，HMM的优化器基于图算法。 高端到除了sklearn就一个包可调，所以它是失败了 还是太SOTA了呢
至于多线程加速，GPU支持的向量计算已用于GL的sdf，AI TPU则对比16bit还窄的浮点很青睐，说到底板子还是被垄断的。
本就该分块平行计算的，渲染、文件传输和翻译，已经普遍到像BT那样走向集群了，甚至JSON都用SIMD跳空格，pwsh有 For-Each -Parallel，哪里还是未来。
嵌入式概念上和UI编程差异不大，甚至能混入的算法更窄。 专业App到什么程度才会使用到FPGA呢? RPi.py不够吧
……Docker进一步划分chroot 用overlayfs+cgroup 来模仿单exe式安装
确实，像FUSE那样免root擦/dev/sda 能省掉线程切到OS栈的时间，而Unikernel,JikesRVM能在内核态提供app要的libc,jvm等环境
--就像WASM+VFS ，那就是你说的免OS新全栈。如果抛掉H5 API 或禁用js我看不出有啥爽的，甚至 Lunatik,CE修改器的dbvm 都没strace,proxychains这些hook香
也不能说Docker无需linux就足够虚拟化，或者把app和kmod都放在Ring1,关闭内存段隔离VMA是合理的。
Unikernel比WASM难测试10倍，况且，即便是jvm+jni也有可能因溢出产生RCE，在linux下黑客至少不能删除数据备份或渗透内网，此外，这种“单功能机换2倍加速”是逆着LVM或RAID集群的
比起开机快和0开销，不如先把JSON换成BSON？ 是吧，跨版本适配性有那么重要吗？
……与其说js们是「一阶逻辑」嘛，不如说只是命题：它们连响应式都不支持、要注册流控函数，何谈exists T. '+'(T,str)=T 这些查询
btw. 0~2阶命题: 1=1 ; IsOdd集的(x) x=1 ; findeach q. q(1)=1 ，因此2阶能因(常量)参数的不同，导出其他性质(比如纯fx=fx, 证明'f'存在要俩fx类型相等)
形式化验证，如. x+y=y+x 不仅繁琐，还错判了重点(C-H同构是褒义词吗? 代码重复!)
代码被人的认知和范式所局限，而DFS助手不能帮人提高智商，甚至它自己也在加强符号nerd的刻板印象。
> 我所认为的不会随着时间而失效，也不能被体力劳动+调包取代的是：对自己的tool或多或少有本质上的理解
>对不同复杂度的问题（领域级/系统级/问题级），采用相对应工具降低复杂度，最后击破"的能力吧。
IT和Math人，总是傲慢地认为自家那几个数据或问题模型，验收了，就是垄断真实世界的至理名言。 但最终，产生价值和取向的是人 不是"神纸"。
什么才算是真正的编程能力：真正..本质.. 利用工具.. 除了说同义词，为啥不把上文的观点「混着耍」呢？这就是全文的总结吗
对我来说，“领域级/系统级/问题级 的本质” 依然只是从how 归纳出了what，那和CAD一样，不是真正的CS能力。
从搜罗how的称职码农，变成懂what的框架工程师，还需要加上敢问WHY的「主见」、再乘上爱，才会变成优秀的、不被教条绑架的无前缀创作者
TF,Pytorch,Keras 里面T应该慢慢被K取代了吧。「为什么会」呢？这就叫复杂所以全的“不会随着时间而失效”系统吗
这些DNN和Scratch的Flow图拖拽编程没啥区别，ONNX就能被netron.js可视化，早晚也要被0代码掉吧
但偏偏就是这些因为需要自动微分而 def forward(x) 的同质化计算图，直接让py变成了缩进地狱
谁关心微分和SGD是怎么实现的，像 np.einsum('ji' 实现的横纵转置就应该能自动补齐偏导吧
能手工调的够少才叫ML，所以那些本质和理解.. 魔法..是编程能力吗? 新技术，确实在医治「智慧」这种疾病啊
Forwarded from 螺莉莉的黑板报
X (formerly Twitter)
Julian Garnier (@JulianGarnier) on X
Just on time to celebrate reaching 50 monthly @GitHub sponsors:
🚀Introducing draggables to anime.js V4!
✅ Inertia with spring animation
✅ Snap to grid
✅ Axis lock
✅ Container autoscroll
✅ Transformed container
✅ Quick swipe gestures
✅ onSnap callback
And…
🚀Introducing draggables to anime.js V4!
✅ Inertia with spring animation
✅ Snap to grid
✅ Axis lock
✅ Container autoscroll
✅ Transformed container
✅ Quick swipe gestures
✅ onSnap callback
And…
Forwarded from 层叠 - The Cascading
OpenAI 停用 ByteDance 所用账户，称后者用其 GPT 训练自家 AI。
theverge.com/~
seealso: HackerNews:38662160
#OpenAI #ByteDance
theverge.com/~
seealso: HackerNews:38662160
#OpenAI #ByteDance
The Verge
OpenAI suspends ByteDance’s account after it used GPT to train its own AI model.
[Link: ByteDance is secretly using OpenAI’s tech to build a competitor | https://www.theverge.com/2023/12/15/24003151/bytedance-china-openai-microsoft-competitor-llm | The Verge]
In today’s issue of Command Line, I reported that ByteDance has been violating…
In today’s issue of Command Line, I reported that ByteDance has been violating…
duangsuse::Echo
[人工智能 AI 孙燕姿模型应用实践](https://v3u.cn/a_id_310) 最近 AI 孙燕姿太火了！文章基于 Python3.10 和开源库 so-vits-svc（高表现力的语音合成模型）、Spleeter（人声和伴奏分离） [clone-voice: 一个带 web 界面的声线转换工具](https://github.com/jianchang512/clone-voice) 支持中文、英文、日语、韩语 4 种语言，也支持文字转语音（star 1.3K） [八十行代码实现开源的 Midjourney、Stable…
#py 周刊
https://coderslegacy.com/python-init-py-best-practices/
PEP: 在PyVM实现Null可空链 ?? ?. ?[]
这个修改非常复杂，但因为py不支持内联lambda ?.run{} ?: 什么的，恐怕没啥意义
btw. []"" 0 None or 已被用于null替换
https://augierpi.gricad-pages.univ-grenoble-alpes.fr/mojo-the-point-of-view-of-a-researcher-using-python.html#tiobe
mojo: 正在进步的py科学计算超集
msgspec: 支持BSON,toml,yml ; 比 pydantic 快10x
#ai #tool https://github.com/Coframe/coffee?tab=readme-ov-file#related
继 v0.dev , 外包围 <Coffee> 标签Ctrl+S就能让AI修改试运行， 完成后 < pour="" > 即合并代码
https://coderslegacy.com/python-init-py-best-practices/
from a import *https://nedbatchelder.com/blog/202312/realworld_matchcase.html
# 代表了 a.py
import a.b as b
# 代表 a/b.py
# 但是，你可以利用b.py imports 和 __all__=[] 对导出进行平铺化
PEP: 在PyVM实现Null可空链 ?? ?. ?[]
这个修改非常复杂，但因为py不支持内联lambda ?.run{} ?: 什么的，恐怕没啥意义
btw. []"" 0 None or 已被用于null替换
https://augierpi.gricad-pages.univ-grenoble-alpes.fr/mojo-the-point-of-view-of-a-researcher-using-python.html#tiobe
mojo: 正在进步的py科学计算超集
msgspec: 支持BSON,toml,yml ; 比 pydantic 快10x
import msgspecpydantic/FastUI : ASP# table再现
msgspec.json.encode(User("alice", groups={"admin", "engineering"}))
class User(msgspec.Struct):
"""A new type describing a User"""
name: str
groups: set[str] = set()
email: str | None = None
#ai #tool https://github.com/Coframe/coffee?tab=readme-ov-file#related
继 v0.dev , 外包围 <Coffee> 标签Ctrl+S就能让AI修改试运行， 完成后 < pour="" > 即合并代码
Telegram
Newlearnerの自留地
#Python潮流周刊
🐬🐬第 31 期
🦄文章&教程
- PEP-738：将 Android 添加为第 3 层支持的平台
- 深度解析 Marker：AI 驱动的 PDF 布局检测引擎的源码解读
- 现实世界的 match/case
- pytest 守护进程：提升 10 倍本地测试迭代速度
- 使用 Python 88 行代码写一个简易的 Android AI 程序
- 在 Python 中不需要这些无谓的操作
- 为什么要用“if TYPECHECKING”？
- 对比 SQLALchemy…
🐬🐬第 31 期
🦄文章&教程
- PEP-738：将 Android 添加为第 3 层支持的平台
- 深度解析 Marker：AI 驱动的 PDF 布局检测引擎的源码解读
- 现实世界的 match/case
- pytest 守护进程：提升 10 倍本地测试迭代速度
- 使用 Python 88 行代码写一个简易的 Android AI 程序
- 在 Python 中不需要这些无谓的操作
- 为什么要用“if TYPECHECKING”？
- 对比 SQLALchemy…
#china #news #game #life ❤️ 996福报的配菜来了！ 从小到大的健康生命都是为国家而活了
https://youtu.be/NNAvI-QxKEc?t=549
「發生災難時對人民生命如此漠視，何必擔心少子化呢？」
https://youtu.be/xvxgY62tN6o?t=1020
文昭：北京12·14地鐵追尾： 中国高铁是否拥有核心技术， 这本来是一个非常值得证明的议题—因为它与所有人的生命安全相关（安 检 ？
结果是不容置疑，禁止评论的政治招牌。
吹牛做梦这事虽然不用上税，却是能要了你的命、烂尾你的楼的
btw. 据评论「信号系统降级」和723 温州动车事故一样， 是指自动传感器持续贯彻地不兼容大雨雪的情况，导致冒用手动驾驶的调度人员和司机，让列车追尾了因停电被卡死在生命站的前车
和当今圣🐷一样。 归根结底，都是擅自绕开「西方境外示例」原生的自动模式和电脑辅驾，启用这个危险的人定胜天模式驾驶，既要快又要稳重求好，既要裁员降本又要增效，又没有符实的刹车预估导致的。 😅
https://youtu.be/WbtgESQjzQM?t=209
在国内出征不存在的网站，会违反不可知法，而海外红卫兵，仇恨教育版神风特攻队，一到民主社会却站起来了……
真是比落后100年的，闭关锁国的大陆站起来了呢！ 但，粉红已经被赵弹打击
马上就能看到网左无限可分的「内斗好戏」了
https://youtu.be/p-1qQm0zmek?t=236
北韩的全过程民主：有举无选
中国梦特色经济：有存折 没选择
主打一个啥都赢，毕竟不可能输 🥰
正常的民主：没有不可说的法和负面新闻，民众有权利去选择权力，民众是政府的股东，而不是太监锦衣卫
https://youtu.be/Y2C_OBYkFPY?t=1004
方脸：后十年里最好的一年，新年快乐
https://youtu.be/VPp54SfMj8A?t=315
https://youtu.be/zAyzphDFLc4?t=483
小翠： 以GDP为KPI的考核，暴雷原理会和恒大一样； 以经济实验管理国家，“民主”换届传承万世不绝
中国不是伪装的「资本主义社会」，因为资本是先要法制保护私产和人权，才能流通发展起来的。 「封建主义」也有很棒的市场和贫富差距，这个差不多。
印度和70年前的中国有何不同？
https://youtu.be/0Df0zwacsHo?t=813
vs
王：法轮功=毛共 ，因为个人崇拜,与西藏佛教不同，而且容易耽误病人
沈： 跨国宗教公司 轮子 被王局点评的最近的“员工丑闻”
正常的国家会有宗教和结社自由，它们作为民营结社给人文和凝聚力带来进步，仅仅因为不科学或不传统反对一种教义， 其实就是对「是否被收编」的差别对待。基督佛教道教最初都是从盲流过来的
多神论宗教、恋爱自由、政治倾向、买卖投资的自由，都是科学的产物。科学并不是一种宗教，对立地，「唯」物主义 「无神论」「红卫兵」却着实是一种信仰：它们引导人们猎巫、迫害异教徒 ，以人为资“本”，剥夺你选择信或者不信的自由
政党、宗教团体和帮派，在联邦国里都是如同盈利性组织一样的普世结社， 是原子化的中国社会100%学不来—甚至不以有利可图的「科学秘技」。
政治自由，不是说当上老大就能实现， 而是要意识到民权无论是否「客观科学」，都是民权
https://youtu.be/NNAvI-QxKEc?t=549
「發生災難時對人民生命如此漠視，何必擔心少子化呢？」
https://youtu.be/xvxgY62tN6o?t=1020
文昭：北京12·14地鐵追尾： 中国高铁是否拥有核心技术， 这本来是一个非常值得证明的议题—因为它与所有人的生命安全相关（安 检 ？
结果是不容置疑，禁止评论的政治招牌。
吹牛做梦这事虽然不用上税，却是能要了你的命、烂尾你的楼的
btw. 据评论「信号系统降级」和723 温州动车事故一样， 是指自动传感器持续贯彻地不兼容大雨雪的情况，导致冒用手动驾驶的调度人员和司机，让列车追尾了因停电被卡死在生命站的前车
和当今圣🐷一样。 归根结底，都是擅自绕开「西方境外示例」原生的自动模式和电脑辅驾，启用这个危险的人定胜天模式驾驶，既要快又要稳重求好，既要裁员降本又要增效，又没有符实的刹车预估导致的。 😅
https://youtu.be/WbtgESQjzQM?t=209
在国内出征不存在的网站，会违反不可知法，而海外红卫兵，仇恨教育版神风特攻队，一到民主社会却站起来了……
真是比落后100年的，闭关锁国的大陆站起来了呢！ 但，粉红已经被赵弹打击
马上就能看到网左无限可分的「内斗好戏」了
https://youtu.be/p-1qQm0zmek?t=236
北韩的全过程民主：有举无选
中国梦特色经济：有存折 没选择
主打一个啥都赢，毕竟不可能输 🥰
正常的民主：没有不可说的法和负面新闻，民众有权利去选择权力，民众是政府的股东，而不是太监锦衣卫
https://youtu.be/Y2C_OBYkFPY?t=1004
方脸：后十年里最好的一年，新年快乐
https://youtu.be/VPp54SfMj8A?t=315
https://youtu.be/zAyzphDFLc4?t=483
小翠： 以GDP为KPI的考核，暴雷原理会和恒大一样； 以经济实验管理国家，“民主”换届传承万世不绝
中国不是伪装的「资本主义社会」，因为资本是先要法制保护私产和人权，才能流通发展起来的。 「封建主义」也有很棒的市场和贫富差距，这个差不多。
印度和70年前的中国有何不同？
https://youtu.be/0Df0zwacsHo?t=813
vs
王：法轮功=毛共 ，因为个人崇拜,与西藏佛教不同，而且容易耽误病人
沈： 跨国宗教公司 轮子 被王局点评的最近的“员工丑闻”
正常的国家会有宗教和结社自由，它们作为民营结社给人文和凝聚力带来进步，仅仅因为不科学或不传统反对一种教义， 其实就是对「是否被收编」的差别对待。基督佛教道教最初都是从盲流过来的
多神论宗教、恋爱自由、政治倾向、买卖投资的自由，都是科学的产物。科学并不是一种宗教，对立地，「唯」物主义 「无神论」「红卫兵」却着实是一种信仰：它们引导人们猎巫、迫害异教徒 ，以人为资“本”，剥夺你选择信或者不信的自由
政党、宗教团体和帮派，在联邦国里都是如同盈利性组织一样的普世结社， 是原子化的中国社会100%学不来—甚至不以有利可图的「科学秘技」。
政治自由，不是说当上老大就能实现， 而是要意识到民权无论是否「客观科学」，都是民权
YouTube
中國擴大限制手遊！小粉紅嗆：遊戲股市暴跌是讓我們投資，大讚黨的鐵拳，日本議員舉報立案⋯中國網紅逃回江西拍片
📺️頻道會員：https://www.youtube.com/channel/UCvTe3Z7TZsjGzUERx4Ce6zA/join
👍不略過廣告支持我們，感謝留言按讚+分享
攝徒最新官方LINE貼圖：https://line.me/S/sticker/23334855
IG追蹤：https://www.instagram.com/musiclin_1107/
FB粉專：https://www.facebook.com/profile.php?id=100091601425286
飛機群：htt…
👍不略過廣告支持我們，感謝留言按讚+分享
攝徒最新官方LINE貼圖：https://line.me/S/sticker/23334855
IG追蹤：https://www.instagram.com/musiclin_1107/
FB粉專：https://www.facebook.com/profile.php?id=100091601425286
飛機群：htt…
Forwarded from 层叠 - The Cascading
一个 repo 有 bot 在用户提出 issues 时提醒用户 star，否则会将 issue 标记为不予处理 (wontfix)。
此案例引起社区对开源项目对 star 追求的讨论。
https://github.com/daeuniverse/dae/issues/368
seealso: HackerNews:38691652
#OpenSource
此案例引起社区对开源项目对 star 追求的讨论。
https://github.com/daeuniverse/dae/issues/368
seealso: HackerNews:38691652
#OpenSource
GitHub
[Enhancement] Add CI test · Issue #368 · daeuniverse/dae
Improvement Suggestion My understanding is dae is supposed to run on Linux >= 5.8, let's (let me) add some test via github action against different kernels. I am proposing to use cilium/litt...
duangsuse::Echo
#china #news #game #life ❤️ 996福报的配菜来了！ 从小到大的健康生命都是为国家而活了 https://youtu.be/NNAvI-QxKEc?t=549 「發生災難時對人民生命如此漠視，何必擔心少子化呢？」 https://youtu.be/xvxgY62tN6o?t=1020 文昭：北京12·14地鐵追尾： 中国高铁是否拥有核心技术， 这本来是一个非常值得证明的议题—因为它与所有人的生命安全相关（安 检 ？ 结果是不容置疑，禁止评论的政治招牌。 吹牛做梦这事虽然不用上…
#china #history 中美房地产泡沫，涉及的社会阶层不同
次级贷款，就是把信用分低的人的脸面变成债券，卖给中产和富人。 这是一种房贷抵押(mortgage debt)， 泡沫破裂前银行卖法拍房，都是稳赚不赔的
在中国，则是把本不值钱的城市土地，通过各种(教育,)政策扶持，卖给「怀揣梦想的年轻家庭」。在大国崛起、暴富人上人等美梦破碎前，卖大城市的土地，涨价又去库存什么的，也是稳赚不赔的。
因此可以收割到不少高估了居住价值的愤青， 这也就是为何，官老爷如此讨厌相对难剥削的、莫名其妙去反思的、太精于算计的「废青」。
保障住房，是指房价倒车向双轨制，倒回城镇农村医保不平等的时代，来方便穷人内循环和生娃。 等于是官方把地产行业的饭碗锤爆抢跑了
名字类似的政策还出现过， 众所周知，我党认真的事很扯淡，扯淡的事情很认真。 大凡遇到「全过程民主」这样的没事找捧 IQ就上去了，遇到「下岗换岗」这种民生大事便找个旧词，模棱两可地丧事喜办，利好民众的EQ啊。
"shzy"与资本主义不同的是：权力已经在下场卖地了，加上中国可以自由阻止负面消息和外汇的流通，发生日本地铁毒气一样的献忠事件也能让你忘掉
故，因为有不受资本法制的、敢力排众议的优越性，能「死鸭子嘴硬」，就是为何中国梦有不会像西方资本一样崩溃的优越性
就像认为蔬菜是从货架上长出来、钱是国家印的一样，笑称台湾平民的富是卖金条 “卖国”换来的。 又以为产业升级、电动车出口，不是靠福利和创作合作，而是靠奋斗靠防备淘汰倒逼出来的。
自古以来，被权斗牺牲的平民，都是觉得政治管不到自己头上，社会就应该黑暗的社达 利己主义者。 求锤得锤😨 能不能别连累到正常人的民生啊
小翠 ：王石说中国的还款泡沫很小，这不对
方脸 ：白手套一词的来历，从2008开始
文昭：吃老本，觉得通缩让自己的钱或退休金经花的人，会在明年夏天「初次体验」到通缩的「妙处」
次级贷款，就是把信用分低的人的脸面变成债券，卖给中产和富人。 这是一种房贷抵押(mortgage debt)， 泡沫破裂前银行卖法拍房，都是稳赚不赔的
在中国，则是把本不值钱的城市土地，通过各种(教育,)政策扶持，卖给「怀揣梦想的年轻家庭」。在大国崛起、暴富人上人等美梦破碎前，卖大城市的土地，涨价又去库存什么的，也是稳赚不赔的。
因此可以收割到不少高估了居住价值的愤青， 这也就是为何，官老爷如此讨厌相对难剥削的、莫名其妙去反思的、太精于算计的「废青」。
保障住房，是指房价倒车向双轨制，倒回城镇农村医保不平等的时代，来方便穷人内循环和生娃。 等于是官方把地产行业的饭碗锤爆抢跑了
名字类似的政策还出现过， 众所周知，我党认真的事很扯淡，扯淡的事情很认真。 大凡遇到「全过程民主」这样的没事找捧 IQ就上去了，遇到「下岗换岗」这种民生大事便找个旧词，模棱两可地丧事喜办，利好民众的EQ啊。
"shzy"与资本主义不同的是：权力已经在下场卖地了，加上中国可以自由阻止负面消息和外汇的流通，发生日本地铁毒气一样的献忠事件也能让你忘掉
故，因为有不受资本法制的、敢力排众议的优越性，能「死鸭子嘴硬」，就是为何中国梦有不会像西方资本一样崩溃的优越性
就像认为蔬菜是从货架上长出来、钱是国家印的一样，笑称台湾平民的富是卖金条 “卖国”换来的。 又以为产业升级、电动车出口，不是靠福利和创作合作，而是靠奋斗靠防备淘汰倒逼出来的。
自古以来，被权斗牺牲的平民，都是觉得政治管不到自己头上，社会就应该黑暗的社达 利己主义者。 求锤得锤😨 能不能别连累到正常人的民生啊
小翠 ：王石说中国的还款泡沫很小，这不对
方脸 ：白手套一词的来历，从2008开始
文昭：吃老本，觉得通缩让自己的钱或退休金经花的人，会在明年夏天「初次体验」到通缩的「妙处」
YouTube
開始了，深圳出現踩踏式拋房！為什麼是它？新房改是新加坡模式？想多了（文昭談古論今20231110第1328期）
加入會員的方式，請用瀏覽器訪問 https://wenzhao.ca
進入主頁以後，有「立即訂閱」的按鈕提示。🙏🌹😊
📌 年度會員：$59加元/年
📌 半年度會員：$35加元/半年
📌 月度會員：$9.9加元/月
不論成為哪種級別的會員，您都可以觀看我們過去5年多積累的約600期會員專享節目😊
進入主頁以後，有「立即訂閱」的按鈕提示。🙏🌹😊
📌 年度會員：$59加元/年
📌 半年度會員：$35加元/半年
📌 月度會員：$9.9加元/月
不論成為哪種級別的會員，您都可以觀看我們過去5年多積累的約600期會員專享節目😊
duangsuse::Echo
#china #news #game #life ❤️ 996福报的配菜来了！ 从小到大的健康生命都是为国家而活了 https://youtu.be/NNAvI-QxKEc?t=549 「發生災難時對人民生命如此漠視，何必擔心少子化呢？」 https://youtu.be/xvxgY62tN6o?t=1020 文昭：北京12·14地鐵追尾： 中国高铁是否拥有核心技术， 这本来是一个非常值得证明的议题—因为它与所有人的生命安全相关（安 检 ？ 结果是不容置疑，禁止评论的政治招牌。 吹牛做梦这事虽然不用上…
#life 方脸：中国人要没Steam玩了 🕊 😅
某些理智的人，觉得游戏行业+GPU=AI 的回旋标让党后悔了，觉得党只是精利的精英组成的
某些自由派，傲慢地认为中共乐于用「奶头乐」麻痹民众对福利人权、对分配不公的诉求
但在「公司化国家」的背景下，这一点「恩赐和怜悯」都是404啦！ 中国人，应该工作到健康寿命终结， 就好比老板要100%买断你上班时间，应是“君臣父子一般的社会公德”
在细颈瓶看来：那么努力勤政的他，配上这些成天抽卡、盼什么《黑悟空》的粉红gamer 的适龄劳工，又怎么能实现《中华民族伟大复兴》呢？ 他可不会管，中国梦是谁在涝做 谁在劳作
所有通过网络分发的单机、游戏、DLC，都是缺乏狼性精神的毒草？
文昭：为什么无为而治，也需要清醒的判断力
他们已经脱离“社会面”太久了，完全看不到贫富差距带来的凋敝，所以不能用「理性的立法者」来推测。
说朱重八、慈禧，真的抬举当今圣🐷上了，作为一个拿马克思主义种地、拿鸡血包治百病的科学家， 马上他也要把民间经济的直播、电竞、内容行业锤爆，
政策完全没有连贯性， 这样一提振，中国就又能坐上「世界工厂」的金矿轨了？ 🐷这一脚油门，正把民间经济往计划经济带啊
或许明年，就能感到一脚倒车，踩进发动机里的中国复兴了
某些理智的人，觉得游戏行业+GPU=AI 的回旋标让党后悔了，觉得党只是精利的精英组成的
某些自由派，傲慢地认为中共乐于用「奶头乐」麻痹民众对福利人权、对分配不公的诉求
但在「公司化国家」的背景下，这一点「恩赐和怜悯」都是404啦！ 中国人，应该工作到健康寿命终结， 就好比老板要100%买断你上班时间，应是“君臣父子一般的社会公德”
在细颈瓶看来：那么努力勤政的他，配上这些成天抽卡、盼什么《黑悟空》的粉红gamer 的适龄劳工，又怎么能实现《中华民族伟大复兴》呢？ 他可不会管，中国梦是谁在涝做 谁在劳作
所有通过网络分发的单机、游戏、DLC，都是缺乏狼性精神的毒草？
文昭：为什么无为而治，也需要清醒的判断力
他们已经脱离“社会面”太久了，完全看不到贫富差距带来的凋敝，所以不能用「理性的立法者」来推测。
说朱重八、慈禧，真的抬举当今圣🐷上了，作为一个拿马克思主义种地、拿鸡血包治百病的科学家， 马上他也要把民间经济的直播、电竞、内容行业锤爆，
政策完全没有连贯性， 这样一提振，中国就又能坐上「世界工厂」的金矿轨了？ 🐷这一脚油门，正把民间经济往计划经济带啊
或许明年，就能感到一脚倒车，踩进发动机里的中国复兴了
YouTube
方脸说：游戏行业又双叒叕被重拳出击了？中国人是不是要没游戏玩了？为什么在中共老是抓着游戏，影视，直播行业不放？解读网络游戏管理办法
00:00 一张A4纸，打掉一个BYD的市值
01:49 版号限制-中小游戏企业再难生存
04:49 十七,十八条重创所有游戏公司
09:31 二十八条直接杀死Steam游戏
13:03 为什么中共总是盯着游戏不放？
01:49 版号限制-中小游戏企业再难生存
04:49 十七,十八条重创所有游戏公司
09:31 二十八条直接杀死Steam游戏
13:03 为什么中共总是盯着游戏不放？
duangsuse::Echo
https://www.zhihu.com/question/31034164/answer/553533545 #plt #dalao #statement 再顺便读（因为调歌搁了几天）文章，补充自己的观点 >0：可以完全理解一问题，并且给出对应的代码就是acm在培养的东西。 这就是上条我说的How， 也就是GPT和Copilot负责的部分 看起来，不用调包不找轮子，不用学API是种精英式的进步：你能修改算法更细则的部分，而别人连调用都吃力 但这也只是所谓「拼凑尸块」。 对大部分算法来说，只要可…
#learn #plt https://zhuanlan.zhihu.com/p/674654507
…… 第一次遇到写完读后感，对对方的理论和实践感到漠然
摘：
他认为，Docker 因为使用overlay-chroot(like btrfs checkpoint)，React因为有变更追踪(不太准确,是靠useState(vdom)+memo) 就是可逆计算策略(文尾有分析)，而tf的自动微分、任何MVVM同构框架就更是了
多项式A有解，也叫可逆([email protected]==1eye)，加减乘除那只是abc和0间的关系，是简写法，反函数 不能说是可逆的。不是万物都有正负和零吧
像可逆的sqrt Prolog做过，连~sqrt()都不需要，因为 inc(X,Res) 里参数、返回都能自由更新，要啥计算图。还有match语句。它们写不出通用算法！比如O(nm)的 "".startwith
CS和Math都是「人对自然的抽象」与设计，这些符号，并非“格物致知”；在CS因为自动机翻,FFI/API 的存在，它甚至不够“约定俗成”。 我努力避免做谜语人，但无法不碰上他们。
对编程而言，有价"值"的并非越多越好。 就像线性映射在0点 不能有bias，牵强地追求运算对称，忽略了CS已是Math超集的这个事实
>既然声是折线，如何在CD上刻录双声道呢？像wav和webp那样Interlace采样,渐进加载 吗？ 其实不用，因为1个刻痕本身就有2面！
如果过于重视中间层的方法论，让App扁平化，会损失不少自定义性。
>现代编程语言都去VB化了，print 作为语句已经是相当负面的信号了，DeltaJ 这样烂的AOP语法趁早丢了吧，在无病呻吟里它和APL是相映成趣的。UML们是对框架生态和元编程、预处理宏的侮辱。这些脑图，真的厘清了业务流和polyfill class 的样板吗？
js界一直有自己比Blink快的错觉，就连这种过度工程都是10年前Javaer犯过的。难以否认，DOM规范是UX+CG+OS领域的结晶，管理batch和fiber patch 它早按宏微任务分好了。 不就是React diff得太慢才需要SSR加速,水合的么...
…… 第一次遇到写完读后感，对对方的理论和实践感到漠然
摘：
他认为，Docker 因为使用overlay-chroot(like btrfs checkpoint)，React因为有变更追踪(不太准确,是靠useState(vdom)+memo) 就是可逆计算策略(文尾有分析)，而tf的自动微分、任何MVVM同构框架就更是了
多项式A有解，也叫可逆([email protected]==1eye)，加减乘除那只是abc和0间的关系，是简写法，反函数 不能说是可逆的。不是万物都有正负和零吧
像可逆的sqrt Prolog做过，连~sqrt()都不需要，因为 inc(X,Res) 里参数、返回都能自由更新，要啥计算图。还有match语句。它们写不出通用算法！比如O(nm)的 "".startwith
CS和Math都是「人对自然的抽象」与设计，这些符号，并非“格物致知”；在CS因为自动机翻,FFI/API 的存在，它甚至不够“约定俗成”。 我努力避免做谜语人，但无法不碰上他们。
对编程而言，有价"值"的并非越多越好。 就像线性映射在0点 不能有bias，牵强地追求运算对称，忽略了CS已是Math超集的这个事实
>既然声是折线，如何在CD上刻录双声道呢？像wav和webp那样Interlace采样,渐进加载 吗？ 其实不用，因为1个刻痕本身就有2面！
如果过于重视中间层的方法论，让App扁平化，会损失不少自定义性。
>现代编程语言都去VB化了，print 作为语句已经是相当负面的信号了，DeltaJ 这样烂的AOP语法趁早丢了吧，在无病呻吟里它和APL是相映成趣的。UML们是对框架生态和元编程、预处理宏的侮辱。这些脑图，真的厘清了业务流和polyfill class 的样板吗？
js界一直有自己比Blink快的错觉，就连这种过度工程都是10年前Javaer犯过的。难以否认，DOM规范是UX+CG+OS领域的结晶，管理batch和fiber patch 它早按宏微任务分好了。 不就是React diff得太慢才需要SSR加速,水合的么...
知乎专栏
@canonical 的可逆计算读后感
cs 神奇的 可逆计算 @canonical这是一位清华大学 核能科学与工程硕士搞的，他今年还弄了个低代码XML.. 他认为，Docker 因为使用overlay-chroot(like btrfs checkpoint)，React因为有变更追踪(不太准确,是靠useStat…