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.me/NewlearnerChannel/12060
https://t.me/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.me/NewlearnerChannel/12060
https://t.me/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.me/NewlearnerChannel/12060 https://t.me/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.me/NewlearnerChannel/12060 https://t.me/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修饰器的函数式编程](http://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.me/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.me/kotlin_cn/110933
Telegram
duangsuse in Kotlin CN
https://t.me/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有解,也叫可逆(A@A.inv==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有解,也叫可逆(A@A.inv==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…
duangsuse::Echo
#life 方脸:中国人要没Steam玩了 🕊 😅 某些理智的人,觉得游戏行业+GPU=AI 的回旋标让党后悔了,觉得党只是精利的精英组成的 某些自由派,傲慢地认为中共乐于用「奶头乐」麻痹民众对福利人权、对分配不公的诉求 但在「公司化国家」的背景下,这一点「恩赐和怜悯」都是404啦! 中国人,应该工作到健康寿命终结, 就好比老板要100%买断你上班时间,应是“君臣父子一般的社会公德” 在细颈瓶看来:那么努力勤政的他,配上这些成天抽卡、盼什么《黑悟空》的粉红gamer 的适龄劳工,又怎么能实现《中华民族伟大复兴》呢?…
#china 雷锋精神:
「命苦不怨父母,地震不call政府」 🥰
「做好事不留名,受访者都知道这个人是雷锋」
神化好人好事的结果:
「所有好人的共同名字,都是『中国人』」
「我就是看不惯你们这些不跟D走的人民群众」
「要影响你的三代!」
「一个人变得最残酷的时候,恰恰是他自以最正义的时候」
另一种好人却与好事无缘:
「违抗命令破坏封锁网,想阻止大火吞噬生命的警察」
「只是不想让悲剧重演,拿着A4站在街头巷尾的不留名的年轻人」
甚至一旦被发现,都会面临严重后果
「会影响你的三代!」
「命苦不怨父母,地震不call政府」 🥰
「做好事不留名,受访者都知道这个人是雷锋」
神化好人好事的结果:
「所有好人的共同名字,都是『中国人』」
「我就是看不惯你们这些不跟D走的人民群众」
「要影响你的三代!」
「一个人变得最残酷的时候,恰恰是他自以最正义的时候」
另一种好人却与好事无缘:
「违抗命令破坏封锁网,想阻止大火吞噬生命的警察」
「只是不想让悲剧重演,拿着A4站在街头巷尾的不留名的年轻人」
甚至一旦被发现,都会面临严重后果
「会影响你的三代!」
YouTube
日本和台灣為什麼沒有這種「好人」?「中國好人」讓全網飆淚!警惕食人的社會帶給你的溫暖和感動!日本媒體報導的中國好人,與中國宣傳的「中國好人」有什麼不同?為什麼「中國好人」會讓社會變得更糟糕?小鄭在日本
#日本生活 #小鄭在日本
「中國好人」讓全網飆淚!日本和台灣為什麼沒有這種「好人」?警惕食人的社會帶給你的溫暖和感動!日本媒體報導的中國好人,與中國宣傳的「中國好人」有什麼不同?為什麼「中國好人」會讓社會變得更糟糕?小鄭在日本
最新熱門影片TOP10:
1.https://youtu.be/KyeSc9e_PIQ
2.https://youtu.be/KwDRA0q41dk
3.https://youtu.be/-FSDtkS2jSs
4.https://youtu.be/qF-c2PdIqK4…
「中國好人」讓全網飆淚!日本和台灣為什麼沒有這種「好人」?警惕食人的社會帶給你的溫暖和感動!日本媒體報導的中國好人,與中國宣傳的「中國好人」有什麼不同?為什麼「中國好人」會讓社會變得更糟糕?小鄭在日本
最新熱門影片TOP10:
1.https://youtu.be/KyeSc9e_PIQ
2.https://youtu.be/KwDRA0q41dk
3.https://youtu.be/-FSDtkS2jSs
4.https://youtu.be/qF-c2PdIqK4…
👍1
#china #history 文革是今天的粉红也眼馋的政治机遇 ,就像手握房产泡沫是曾经的经济机遇
科普:中国感恩节(10.24~10.25),是从抗美援朝延伸的毛太子诞辰和祭日,传统是吃腊肉、蛋炒饭
感恩太子("英烈")亲自被炸死的自我牺牲精神,使14亿人避免了活在朝鲜的人道灾难 🥰
文昭:习 🐷无法理解现代人的生活方式,想亲自锤爆所有“没有实体”的科技进展,比如一切可下载的游戏,甚至网红带货都想锤
苏联的轻工业崩坏和《社会蛀虫罪》,要来力?
方:两个被风控网红(金牌讲师和王刚)的政治观
在 #bilibili 有数百万人观看「美国底层的市容流浪汉」 「鹅爹的经济越打越好」,并对公知以己度人,认为中国又赢了…… 逼迁雄安。平推基辅。真是不长记性啊
符合 李佳琦悖论 (Li Jiaqi Paradox) :
一个岁静如果想完全不触碰到政治禁区,他就必须了解所有的政治禁区.
一个人如果不辱华,说明他对所有辱华的点都了如指掌,那么他辱华了.
一句话:在细颈瓶新时代,红的没 「教育意义」就会被粉红群众清算了
科普:中国感恩节(10.24~10.25),是从抗美援朝延伸的毛太子诞辰和祭日,传统是吃腊肉、蛋炒饭
感恩太子("英烈")亲自被炸死的自我牺牲精神,使14亿人避免了活在朝鲜的人道灾难 🥰
文昭:习 🐷无法理解现代人的生活方式,想亲自锤爆所有“没有实体”的科技进展,比如一切可下载的游戏,甚至网红带货都想锤
苏联的轻工业崩坏和《社会蛀虫罪》,要来力?
方:两个被风控网红(金牌讲师和王刚)的政治观
在 #bilibili 有数百万人观看「美国底层的市容流浪汉」 「鹅爹的经济越打越好」,并对公知以己度人,认为中国又赢了…… 逼迁雄安。平推基辅。真是不长记性啊
符合 李佳琦悖论 (Li Jiaqi Paradox) :
一个岁静如果想完全不触碰到政治禁区,他就必须了解所有的政治禁区.
一个人如果不辱华,说明他对所有辱华的点都了如指掌,那么他辱华了.
一句话:在细颈瓶新时代,红的没 「教育意义」就会被粉红群众清算了
YouTube
方脸说:为什么说这代的年轻人是没有希望的一代?丧失机遇的一代人!中国的年轻人的出路在哪里?红卫兵丨民主丨改革开放丨经济停滞
00:00 缺乏机遇的当代年轻人
02:50 细数中国从建国以来的机遇
09:33 为什么当代年轻人没有机遇了?
14:11 悲观之下其实也藏着巨大的希望
02:50 细数中国从建国以来的机遇
09:33 为什么当代年轻人没有机遇了?
14:11 悲观之下其实也藏着巨大的希望
Forwarded from Solidot
成品软件的美妙
2023-12-27 17:38 by 你的名字
80 年代流行的字处理软件 WordStar 4.0 至今仍然能可靠运行。乔治·R·R·马丁用它写《冰与火之歌》,他曾对此评论说,它能完成他想要字处理软件完成的所有工作,它不会做其它任何事情。他不需要帮助,不需要软件帮你将小写字母自动变成大写字母。马丁说,如果要输入大写字母他会自己输入。WordStar 4.0 代表了所谓的成品软件(finished software)概念——这种软件你能永久性使用,没有任何不必要的改变。而今天的软件通常会持续更新,很多时候升级是一种倒退,降低可用性,降低稳定性,引入了新 bug。即使软件通过升级确实改进了,但也是会引入学习曲线。在使用熟悉的旧版本时你的效率更高,但新版本改了 UI 将最常用的按钮移动到了另一侧的一个隐蔽菜单下。在变化成为常态的世界里,成品软件是一股新鲜空气。它提醒我们可靠性、连贯性和用户满意度在软件开发领域是能共存的。当你渴求最新更新时,记住最好的软件常常是不变的软件。
https://tech.slashdot.org/story/23/12/26/103207/the-beauty-of-finished-software
#软件
2023-12-27 17:38 by 你的名字
80 年代流行的字处理软件 WordStar 4.0 至今仍然能可靠运行。乔治·R·R·马丁用它写《冰与火之歌》,他曾对此评论说,它能完成他想要字处理软件完成的所有工作,它不会做其它任何事情。他不需要帮助,不需要软件帮你将小写字母自动变成大写字母。马丁说,如果要输入大写字母他会自己输入。WordStar 4.0 代表了所谓的成品软件(finished software)概念——这种软件你能永久性使用,没有任何不必要的改变。而今天的软件通常会持续更新,很多时候升级是一种倒退,降低可用性,降低稳定性,引入了新 bug。即使软件通过升级确实改进了,但也是会引入学习曲线。在使用熟悉的旧版本时你的效率更高,但新版本改了 UI 将最常用的按钮移动到了另一侧的一个隐蔽菜单下。在变化成为常态的世界里,成品软件是一股新鲜空气。它提醒我们可靠性、连贯性和用户满意度在软件开发领域是能共存的。当你渴求最新更新时,记住最好的软件常常是不变的软件。
https://tech.slashdot.org/story/23/12/26/103207/the-beauty-of-finished-software
#软件