duangsuse::Echo

#tech #recommend #js 🧐从『函数』的定义就能知道，#编程范式的发展史 👉 地址symbol、子程序void()、对象 SAM object、算式 x=>y 或文档树、模式查询select [a b], a=1|a=2 ： x86无结构：是弱检查指针、面条流控、256项字符集,定长数组,栈分配，加载到内核mmap(rwx..不能为READ 段错误) 是dll内地址 C过程式：是向调用栈赋值后跳过去等返回，是子程序 C#OOP：捕获了局部变量(cellvar,可变)、原型虚表到t…

#py 周刊

- Excel 支持 import pandas, statsmodels, matplotlib / seaborn 了, Guido 亲自推广（可能是云计算，要订阅）
- PowerToys添加“可交互”的截图
- Google 等各种大公司的技术blog #list
- #apple #design 设计师法则
- #learn 看美军的脏话官话(F-words)学英语。

- 单靠 #sql 如何保存数据
- APL 里有的 py 基本列表处理式
- FastAPI 最佳实践 list
- async stdlib: 对比理解各种流行实现

- fixit linter: py 版本的 IDEA 自动迁移 (无AI), cffi: 我用什么 C parser 链接到.h 文件
- 用 difflib 开发一个文件比较工具
- KeymouseGo, ahkunwrapped py : 类似按键精灵的鼠标键盘录制和自动化操作
- quivr：生成式 AI 打造你的第二大脑, trafilatura: GUI 文本/评论爬虫
检索非结构化的信息，可以理解成支持人工智能的 Obsidian。可以处理各种形式的文件如文本、图片、代码、音频和视频等，依赖于 ChatGPT、Docker、Supabase

- FastAPI + SSE new EventSource('/http流') API 下发文本消息
- 用py编写代码高亮图片生成 (carbon.now.sh ..)
- Streamlit 地图高亮生成
- Streamlit GPT4文件摘要工具

- Mojo #ai #rust: 对Py的渐强类型&优化的语法改进 [waitlist]

def mandelbrot_0(c: ComplexFloat64) -> Int: #CPU FMA优化, 1Mojo = 15Numpy = 89CPy
    z = c, nv = 0
    for i in range(1, 200): #清晰度
      if abs(z) > 2: break
      z = z*z + c
      nv += 1
    return nv

👀 Rust 确实是资本的语言，融资1亿刀乐

#code #algorithm 埃氏素数筛

def gen_primes():
    """Generate an infinite sequence of prime numbers."""
    D = {}
    q = 2
    while True:
        if q not in D: D[q * q] = [q];yield q
        else:
            for p in D[q]: D.setdefault(p + q, []).append(p)
            del D[q]
        q += 1

Newlearnerの自留地

#Python潮流周刊 #Newsletter

Python 潮流周刊#17：Excel 终于支持 Python 了、Meta 重磅开源新项目

🦄文章&教程
1、Excel 终于支持 Python 了！
2、如何使用 FastAPI 与 aiohttp 进行 SSE 响应开发？
3、用 FastAPI 和 Hamilton 实现的 PDF 摘要工具
4、放弃 Python 拥抱 Mojo？鹅厂工程师真实使用感受
5、Mojo 如何获得比 Python 快 35000 倍的加速？
6、APL 语言教会我的那些…

154 viewsedited 12:28

duangsuse::Echo

#sql #ts Prolog 牛逼！正确的关系式搜索+ 同时实现 parse 和 toStr 😱 #zhihu 灵感来源 e(E) -->{E = [I,Ea,Eb]}, %重写规则, 'eX'为优先级 %利用链|e1(E) 括住内"*/" e1(Ea), op(I,"+-"), e(Eb); e1(E). e1(E) -->{E = [I,Ea,Eb]}, e2(Ea), op(I," */"), e1(Eb); e2(E). e2(X) --> number(X); ("(",…

#PLT #sql https://zhuanlan.zhihu.com/p/646479383

Z3-SMT 是SAT(可行性求解器)的增强版，即一种sympy 。比Prolog更擅长解数值，甚至能解数独（迫真，解决cargo的依赖版本（原神

from z3 import *
A, B, C = Bools('A B C')
# 创建一个求解器
s = Solver()

# 添加约束条件
s.add(Or(And(A, B), And(Not(A), C)))
# 检查是否存在解
if s.check() == sat:

Z3的API这么复杂，又要add check 又.model的，不如和Keras做个联动，支持机器学习+逻辑编程好了。哦，原来 state.add(x==1) 只能执行1次不是flowgraph啊？
这API还真挺Pythonic
这种问题貌似Prolog不用限定类型都能解。定义 Bool(A) 无非是为了重载，那And(bools) 有啥别的语意-即搜索范围呢？强类型逻辑式编程？好奇怪的搭配

稍微对比几个同类项，都不会这么白象化逻辑式编程

#zhihu 上看到一些逆天观念，C的设计错误：

1：单返回值这个设计可能是受了数学上的f(x,y...)的影响
真的需要多返回值的时候，C就只能用指针搪塞一下了
2：连续不等式
如果 a > b > c，则……
3: void不是类型

1. Go就支持func (ret, err) 。所以不仅调用难以组合，Err体系也给弄成错的，因为err!=nil时函数不可能有值
2. 写成 (a > b > c) 还是 (a>=x>=c) & (a~b)(x) ？过了这个村， for(x) 和 x inbounds range 就不可能一致了
3. 数学没有void，所以我赞成省略类型=void

还有一些不逆天的C错误：

"\0" 不是数组，argv无法单作为值
赋值是表达式，而且允许

for(;b-c;) c+ --b; b--;//c+b-1, b-=2

强制转换语法 (T)+xx、类型前置，这个的影响非常深远，带来的麻烦无穷无尽
if, while, for 的小括号和大括号，switch break
for (i = 1; i <= 10; i++) ，这个 (1~10):[i] 也很毒瘤了

知乎专栏

Z3：考公行测轻松应对，排班问题一键解决的"神器"？

上一期我们介绍了 Webassembly，这一期我们将会给大家介绍2015年SIGPLAN 获奖作品Z3求解器，没有了解过的朋友可能会好奇：求解器到底是什么“神器”？简单一句话总结就是专门为世界上各行各业的复杂问题进行最优…

115 viewsedited 02:06

About

Blog

Apps

Platform