duangsuse::Echo
712 subscribers
4.24K photos
127 videos
583 files
6.46K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
Forwarded from Solidot
Hugging Face 被屏蔽

2023-10-21 17:34 by 火车站谜案

托管了逾 3.65 万个开源 AI 模型的 Hugging Face 证实其网站在中国被屏蔽,原因未知。Hugging Face 也托管了来自中国科技公司的开源模型。Hugging Face 在一份声明中表示它对中国的法规无能为力。中国用户早在今年 5 月就在该公司论坛抱怨了访问问题,至少从 9 月 12 日开始,Hugging Face 在中国就完全无法访问。中国屏蔽 Hugging Face 可能的原因是新的法规要求生成式 AI 限制特定内容。Hugging Face 成立于 2016 年,是生成式 AI 热的最大受益者之一。开发者可使用该平台在机器学习项目上展开协作或共享数据集。它的运作方式类似于微软旗下的代码托管平台 GitHub。

https://news.yahoo.com/open-source-ai-platform-hugging-202603150.html


#审查
#china #life 军迷放松视频: 🥰 党赐神功,扶清灭羊
在队友中暑倒地的过程中,军人表现得十分团结, 在香港发生的这个震惊中外的故事,让美国高看了咱们一眼! 🥰

对了,为什么军人叠的豆腐块格外好看呢? 因为被子薄得像纸啊
我义和团神拳,终于又做大了
duangsuse::Echo
#recommend #bilibili ReScript 作者讲义 - 如果ADT都没规范为tuple,list,when 的格式,怎么能方便重解释? - 同意,直接MSYS2 - zerocost 写起来方便些, 不过throw,SEH 这么低能的调用栈特色.. 还是敷衍过了吧 - 同意,什么叫很大的变量? 很多??不就是GC的事 某位知名游戏开发讲师写编译器
https://t.me/seedless_channel/1655 #statement #PLT #dev
#reaction
“我有一个每天都要运行的Python程序,每次运行需要1.5秒。我花了六个小时用rust重写了这个程序,现在这个程序运行一次只需要0.06秒了。41年零24天以后,效率提升节约下来的时间补偿了我重写程序的六个小时。:)

这条没错啊,这个作者,根本没搞清楚「大型软件」和demo里,开销都花在哪里
所有软件都巨巨巨巨大无比,这也是和性能无关的

“整个网页/SQL 数据库的架构都建立在当用户浏览渲染出来的网页时不会去操作任何数据的假设(或者说希望)上。

“所有的软件都是在之前几乎不能工作的代码上叠上几乎不能工作的代码。代码量和复杂性持续增加,改正的可能性越来越小。
程序经常出现随机的问题,但是除了重启没人知道为什么。更糟糕的是,没人有时间停下来,仔细分析到底发生了什么。

“不断在虚拟机上构建的Docker容器,让“Single binary”依然是Go语言的大卖点。不混乱 == 成功。
人们总是很轻松的加上过度工程化的“完整解决方案”去解决最简单的问题,而不去考虑代价。
- 为了解决单例应用的问题,我们一定要引入#微服务。
2016 - 为了解决微服务的问题,我们一定要引入#docker容器。
2018 - 为了解决docker

“编写高效的程序不需要你是天才。这并不需要什么魔法。只是不要在现在的臃肿不堪的工具链上去构建就行。

“KISS是好东西,但是作者所怀念的那个计算机时代是建立在计算机远不如现在应用广泛迭代迅速,一群几乎没有正常人的社交生活的字节黑客几十年如一日的在底层上调试编写的基础上的。RMS、Linus那样的图腾不是可复制的,也绝对不可能指望成为计算机行业的主流力量。批评Electron臃肿不堪可以,批评系统里塞着一堆垃圾我都无所谓,但是因此就完全否定整个现代计算机科学的发展历程,号召大家回到DOS时代从指令集开始手搓汇编,那我除了微笑还能怎么办呢。

举个例子,我对qq的需求依然停留在08年,当初安装包10m都不到所带的功能已经满足我目前所有需求了,然而目前的qq我就不知道在写个鬼1g都不止”

(话说Flutter是什么时候成为UI界的原神的, 当听到 pixel perfect 我才明白啥叫前端都是切图仔了
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); ("(",…
#book #ts The Little Typer
1. 类型签名是命题,程序的语意是用+,[],. 构造int,void.
2. 命题的条件和自身,都是值;依赖类型可以把值放到类型(int[2],. )中去,从而构造关于值的命题。
3.Prolog 缺少抽象 refl_ID(X,X). 的模式,它的条件表都是全局给定,不能构造类型
4. 类型也可以有类型, #haskell HigherKind *->*, TypeFamilies 就是指这个(虽然和 #ts 一样过度设计

从结果上看,反而像 类型签名是证明,类型构造器是调用命题……
data Equal : a -> b -> Type where
Refl : Equal x x
fiveIsFive : 5 = 5
fiveIsFive = Refl = Equal 5 5

如果我换个语序,会更合理。
data'ab' _=_
- x=x Refl() 成立
- five() 5=5 Refl

这样,类型依然是命题,程序依然用Refl证明并构造了Equal,而且删掉了查重率60%的冗余语法
Refl : 右是一段程序。用这种隐晦的方法传变量是错误的。这个语法的问题远不止「类型含糊」, 对语序的修改,只算一种局部的优化。

为什么用 (
Refl : Equal
) 呢:它的亲戚,逻辑式语言都连「调用树」都不会组织,反而觉得 add-out(1,2,3) 更好看,加个类型学了“调用”,语序却远输OOP,真可谓一盘散沙

https://ksqsf.moe/posts/2019-02-18-dt-fun.html
https://mxm.ink/dependent-type/#依赖于类型的类型:list
https://agda-zh.github.io/PLFA-zh/Induction/#第一个证明结合律

https://www.idris-lang.org/pages/example.html
-- showOrRev(isInt, x) when isInt:
$Y: x.Str ; $N: x.flipLR

因为是宏,当然就不需要类型作为值了。内联后直接推导就知道

-- printf(:Str, :[Arg Str])
直接在编译期生成loop,也不需要什么ts体操+js强转了

when--'T' Link
Nil; Add(:T, :Link)

-'T' Link`+`(y:Link) when this:
Nil: y ; Add(x0,x): Add(x0, x+y)

-- useInline
可以直接计算Link拼接或解构后的值,避免手动分期求值
duangsuse::Echo
#china #life 军迷放松视频: 🥰 党赐神功,扶清灭羊 在队友中暑倒地的过程中,军人表现得十分团结, 在香港发生的这个震惊中外的故事,让美国高看了咱们一眼! 🥰 对了,为什么军人叠的豆腐块格外好看呢? 因为被子薄得像纸啊 我义和团神拳,终于又做大了
#china #dev #opensource 大清最新战果, 能抄也能赚,避暑山庄同行们赢麻了! 🥰
根据《网络安全法》,开源软件作者或需要对其产品「持续提供「安全」维护」,即使协议中存在免责条款。

方脸:
「层层加码」像除四害一样,从不尊重动物权利,延伸到对个人权利的迫害
在举报贪官的人民运动下,你试试举报纪委违宪,或者去纠不能纠的错,就会发现这种反腐,只是文革再现
工会和NGO往往被视为政府职能的补充,但它们涉及法律人权相关的议题时,就完蛋了

#life #security 罗翔:通过伪基站(中间人攻击) 盗刷银行卡 最近开始流行?
Forwarded from 玉米狐狸 | fly me 2 the moon | 备战专升本中,看到我请提醒我肝数据结构和C语言谢谢

那我的博客除了守序邪恶就是守序中立
#py 周刊
- 周刊1
无语了, #telegram 上写文怎么破事那么多呢? Ctrl+K 弹框又限bot干🐴呢,哇会做C++ UX真是太厉害了,Markdown编辑都搞不全
//替换/^\d*、//g; $0.innerHTML.replace(/<.?p.*?>/g,"")

$$('p').forEach(e=> e.replaceWith(...e.childNodes))
$('[tabindex]:read-write').innerHTML=prompt()
只能在vs和web两个浏览器间,直接CtrlCV文档 😅


20 个令人兴奋的 Python 项目创意
经常看到有人问:有没有简单易上手的 Python 项目推荐?不妨看看这篇文章,它介绍了 20 个小项目的想法,另外原作者已经实现了很多项目,源码可从文中的仓库地址获取。
15 个 Python 小项目(star 1K)
一个 Python 基础语法问答网站
什么是 lambda 表达式? lambda 有什么局限性、什么时候应该避免使用?

Google Sheets 也能用 Python 了 微软在 8 月让 Excel 支持了 Python
Python 代码转为 LATEX 公式工具 Google 开源的 (star 6.5K)
CardStock:跨平台的 GUI 构建工具 提供了一个类似于绘图程序的编辑器,支持文本、图形、图像、按钮、输入框和 Web 视图等元素;可添加事件驱动的 Python 代码。
介绍 rip - 快速而简约的 pip 实现 Rust 版本 pip。它试图在 Conda 和 PyPI 间架起一座坚固的桥梁

当我遇见了 Guido van Rossum--今年 Pycascades 上做了演讲“Python 中用元类作元编程”,并遇见 Guido,他们聊了一些Py后端
rendercv:用 YAML/JSON 文件创建 PDF 格式的简历 目前仅有一款主题。
通过阅读代码学习:Python 标准库设计决策解释 推荐了这些:statistics、pathlib、dataclasses、graphlib
使用 Python 调用 Rust 的三种方法 三种方法:HTTP、IPC(进程间通信) 和 FFI(外部函数接口)。

主流实现
Python 3.11 vs Python 3.12 之性能测试 AMD 锐龙 7000 系列和 i13 上共进行了 91 种基准测试
PEP-703 无 GIL CPython 的进展 就在本周,Python 指导委员会宣布采纳了这个提案!这篇文章写于消息宣布的两周前,总结了过去一段时间里发生的技术思考和进展。(附:PEP-703 的讨论

PEP-730 CPython 提供对 iOS 的官方支持BeeWareKivy 是支持 iOS 的 Python APP 开发框架,说明了技术的可行性。
Python 的代码生成:拆解 Jinja 介绍了 Jinja 编译器基础结构的设计,比较了 Jinja 和 Django 的模板,分析它们产生截然不同设计的历史原因

我们必须聊聊 Flask 🌶
Flask 最近发布了 3.0 版本,Werkzeug 也同时发了 3.0 版本,《Flask Web Development》一书的作者吐槽 Flask 总是出现向下不兼容的问题,劝 Flask 核心开发不要做无端的重构
Flask、它的生态和向后兼容性 ,这篇是对它的回应,作者是 Flask 的维护者之一。 >继续关于 Flask 的讨论


AI
基于 ProPainter 技术去除图片以及视频水印 引入了双域传播的新方法和一种高效的遮罩引导视频 Transformers,增强了视频修复的性能
pipeless:一个计算机视觉框架 轻松构建与部署可实时分析及操作视频流的应用,无需构建和维护多媒体 pipeline。支持YOLO插件
RealtimeSTT:强大、高效、低延迟的语音转文本库
ZenNotes:Windows 记事本,支持翻译和TTS
手撸个视频翻译和配音工具玩玩 结果不太妙 openai-whisper 离线模型、 Google 接口、 Microsoft Edge tts。

Chrome-GPT:可控制 Chrome 的 AutoGPT 代理(star 1.4K)
swirl-search:用 AI 同时搜索多个数据源 支持连接到数据库+排名结果(SQL、NoSQL、Google BigQuery)、公共数据(谷歌、Arxiv)
voyager:用于 Python 和 Java 的近似邻搜索库 对内存中的向量集合执行,出自 Spotify,每天被查询数亿次,扛得住海量用户的请求。召回率比 annoy 高。
duangsuse::Echo
#china #dev #opensource 大清最新战果, 能抄也能赚,避暑山庄同行们赢麻了! 🥰 根据《网络安全法》,开源软件作者或需要对其产品「持续提供「安全」维护」,即使协议中存在免责条款。 方脸: 「层层加码」像除四害一样,从不尊重动物权利,延伸到对个人权利的迫害 在举报贪官的人民运动下,你试试举报纪委违宪,或者去纠不能纠的错,就会发现这种反腐,只是文革再现 工会和NGO往往被视为政府职能的补充,但它们涉及法律人权相关的议题时,就完蛋了 #life #security 罗翔:通过伪基站(中间人攻击)…
#history 方脸:🤔 为什么近40年的世界不止「枪杆子里能出政权」了!

答曰:总书记亲自加速,不被制裁回解放前,太难了

#china 互联网户口簿,实际却是大水冲了笼王庙 😂
以后,道德准绳站在哪一边呢
👍2
Forwarded from 每日消费电子观察 (horo)
clash gihub 仓库已 404
https://github.com/Dreamacro/clash
#life 🤔💭 真实生活与工作
虽然我是典型的弱者,这种社会也太压抑了。对老一辈而言,能吃饱是他们心底的奢求

1. 我们家并没有真正学会省钱
2. 全日制工作(对我)没有出路
3. 照你们的活法,不会像前几十年一样成功了

- 每天下馆子也只花30块,自己煮饭呢? 掏空钱包买房,就是为了空着,也不租出去?这浪费的几万的钱,省几十年才能省回来?
- 劳动是为了报酬,为了吃饭
- 人生当然会工作的,只是,永远有比你勤劳的人,瞎勤劳只会更廉价


- 如果是为了凑合一辈子, 那我在高中时就被淘汰了
- 如果所有人,都像你说的那样挤着要工作,不会有人闲得(听别人)评头论足, 否则,那是你忙中偷闲,还有时间想别的

攒一辈子钱,就是医保和买房不够用,租房又怕被侵权; 上补习班,就是怕未来工作被开,交不上房贷
这一代有几人,能承担你们这样的生活压力? 子子孙孙辈地受这样的苦?

>我才毕业几年啊,一辈子有多长, 怎么可能一下子就能怎么样?

找工作是这样,吃饭也是这样, 所谓坐吃山空,那每天996 就能财富自由了吗?

所以那么急干什么?
👍2
#ai #algorithm 看来GPT3在你知道一些基础时,还是可信的 😱

>这是高斯消元.py 的实现:
def elim(A, y):
n, m = A.shape; assert n==m, "需方阵"
M = np.hstack([A, y.reshape(-1, 1)]) # M=(A|常数项b)

for j in range(m):
# 向下[j:] 找元最强的行,换为本行(i,j=j,i)。会在回代里获取
i= np.argmax(abs(M[j:,j]))+j; assert M[i,j]!=0, "无解,不可逆矩阵"
if i!=j: M[[i,j]] = M[[j,i]]
# 归一,因此后面行消它
M[j] /= M[j, j]
for i in range(j+1, m):
M[i] -= M[i,j]* M[j]

x=np.zeros(n) #逐行 y-约旦回代
for i in reversed(range(n)):
x[i] = M[i,m] - M[i, i:m] @x[i:m]
return x

请你将其改为矩阵求逆

<这个实现中,我们将矩阵 $A$ 和单位矩阵拼接在一起,得到一个增广矩阵 $M$,然后对 $M$ 进行高斯消元,最终得到的矩阵就是 $A$ 的逆矩阵。具体来说,我们将 $M$ 的左半部分(即 $A$)化为单位矩阵,然后 $M$ 的右半部分就是 $A$ 的逆矩阵。

>不愧是AI,轻松就做到网络博文做不到的事!
谢谢夸奖!我会继续努力的 💪🤖💻

总之就是只改了两处,然后成功了

爆杀那些把矩阵求逆,独立于gauss消元来讲的中文博客…… 真的太牛了
#PLT #design https://t.me/rynif/31969
https://docs.racket-lang.org/ming/preface.html#:~:text=成双成对

这个作者比我当年,多做了个二简字(词转自造字) 😨

我最后没把Pair译为"对, 到"。尽管 for(x in xs) 已是 xs:[x] 。确实翻译时这些混淆要小心的

程序员记忆和理解的不是代码,而是类型,好比设计师学的首先是咋拖拽UI组件,而非题海战术
所以说Lisp和OOP比起来才那么烂,只有元编程优秀,因为Lisp的语法树太单一,也没有jspy那样的加糖字典

作者的英汉对比,形式层面上vs语义层面上简洁, 其实是搞反了。他翻译的才是字面简化,偏旁部首小得看不清,反而不如拼音语言+定义式的编程范式

作者把语意嵌入到偏旁里,根本是瞎胡闹, Lisp已经比Scala这些工具落后太多了,还把它往低抽象高细节靠。虽然现在圆括号的数据转化能力已经不如jspy了
举例评价下此「中文编程」设计思想,格式为
名:文档
^绝句的写法
批语

双(阳阴) : 把两个数据配成对,即成一个双
^ [数 文 俩项] 1|"2" [数 仨]
^ "12"==p:A+B
考虑过三元组?

字?/象形 : 【MORE】 = char-graphic?
^ Str.AZ.graphic/'c', 'c'(Upper), (Symbol:'#:1')
泛用数据类型,不要硬编码

丫,并,戈(或),、:流控if
^ (1==1)(2、3)==2, arg/IS_GOOD: say:'wtf'
泛用数据类型,而非泛化符号字面


btw. https://github.com/yanyingwang/24-solar-terms/blob/master/scribblings/24-solar-terms.scrbl#L45

这个作者在用Racket写前端诶(?
要命的是,他用rkt做了SQL表格的功能
#dev #android 面试题 🤔
- 技术上提升最大的一个项目,展开介绍
对比业界同种算法流行和不流行实现、重写自己的任何项目,都比从事GPT都能完成的原型要好
- 为什么选择 Flutter,在业务方面学到了什么
Compose界原神的名气真的太大了,居然能用Navbar,Tab等自带组件,居然能调style!

- Java 里重载和重写的区别
在编译期vs运行期确定函数,改方法签名vs改子类值
- 什么是线程安全
避免共享变量(不相交),或使用Atomic/独占锁 避免读写异步
- Service 是什么
是Android版的主要线程,与daemon线程相反,适合后台Worker
- Fragment 和 Activity 有哪些区别
不刷新重载vs带参单页(Intent)

- Retrofit 用到了哪些设计模式
都是nodejs事件队列,ES6默认参数,函数名Proxy,组合函数(适配 装饰 策略) 之类的东西
- UDP 和 TCP 有什么区别
TCP和stdio文件没区别,UDP允许丢包和无连接发送
- 算法题,输入两个包含数字的 String,求它们的和,要求可进行任意长操作(不能直接变成基本类型算)
BigInt,即从右遍历相加,记录>10到carry=1 进位。遍历int[]也一样

- 为什么选择 Flutter,引导你选型的逻辑或者核心原因是什么
流行是唯一的原因
- Looper 为什么不会卡死?我们往深层次一点说,天马行空一点,你能想到什么办法让一个死循环不会卡死?
for绘制进度条,两层for+SIGINT,for调度函数队列-这样死递归还不会栈爆呢
- 如果网络碰到延迟会如何解决
做一个加速条,利用安慰剂效应;也可以Cache-Control或Protobuf压缩
Forwarded from 厘米碎碎念
duangsuse::Echo
#py 周刊 - 周刊1 无语了, #telegram 上写文怎么破事那么多呢? Ctrl+K 弹框又限bot干🐴呢,哇会做C++ UX真是太厉害了,Markdown编辑都搞不全 //替换/^\d*、//g; $0.innerHTML.replace(/<.?p.*?>/g,"") $$('p').forEach(e=> e.replaceWith(...e.childNodes)) $('[tabindex]:read-write').innerHTML=prompt() 只能在vs和web两个浏览器间,直接CtrlCV文档…
#py 周刊
周刊1
#新品
Black 格式化工具+lint的替代者Ruff:快 30 倍以上 25w/.1s
你应该什么时候升级到 Python 3.12?建议你等到 12 月,修复不兼容的软件包、缺少二进制包

Python 3.12:一个被人忽略的史诗级版本 👍
改进 Numpy 的 Python API,为 2.0 版本准备

3.12 对于 Python 的意义,大于 3.5 的“async/await” 和 3.6 的 “Type Hint” 对于 Python 的意义!PEP-669 带来的可调试性(Cyberbrain call #visualize)、PEP-684 为 non-GIL 带来的性能提升、PEP-697 松耦合 C API


不要再用 requirements.txt 了, setup.py 的糟糕体验
推荐使用 Poetry。pip 的主要问题是没有 lockfile 和手工管理虚拟环境麻烦
在 Mac 上安装 Python 的正确方法作者给出的建议是 Pyenv + pyenv-virtualenv

uDjango:单文件的 Django 微型项目 这个项目是 DjangoCon US 2023 的演示项目,使用单文件不到 10 行代码,演示一个最小的 Django 应用。
Django vs Flask:哪个是最好的 Python Web 框架?一篇细致的长文,详细对比了它们在模板系统、URL 调度器、数据库支持、身份验证及授权、测试、软件架构、学习曲线等方面的差异。没有更好的,只有是否适合你的。

从零开始编写一个 Python 异步 ASGI Web 框架 这篇循序渐进的教程是很好的学习材料,让你了解 Web 框架设计、异步编程
kivy+pandas 开发简单的 Android 数据分析应用其作用是记录和显示你全天在屏幕上花费的时间

#框架
为什么 Django 后台管理系统那么“丑陋”?Django Admin UI 很多年没有变化,显得设计过时了。因为它不应该暴露给终端用户。

数据库生成的列 :Django & SQLiteGeneratedField 是正在开发的 Django 5.0 的新功能,实现C=A+B等自动SQL算式。这篇文章还介绍了一些 Django 5.0 中的新东西
Kenneth Reitz:迟来的道歉,以及 requests 3 的进展2019 年时 requests 3 的筹款闹出了不小的风波!文中列举了目前已经完成的一些事情(typehint,imports,async)

esmerald:高度可扩展、高性能的 Web 框架基于 Starlette 和 Pydantic ,支持同步和异步,提供 DAO、ORM、ODM、依赖注入、权限管理等功能。
grequests:异步的 HTTP 请求grequests 构建在 gevent 库之上,一个提升性能的建议。

#技巧 😨
100%的测试覆盖率是不够的:Python 中基于命题的测试 如何设置 @pytest.mark.parametrize
Hypothesis

Python 如何在日志中隐藏明文密码? 基于 logging 模块的两种实现方案:自定义 filter 和自定义 formatter
使用 AI 进行网页抓取实验(使用 GPT-4 解析 HTML)GPT4的能力到底如何呢?如抓取结构良好的网站、抓取 Google 自然搜索结果、抓取 Google SERP、以及抓取 Google MAPS 结果。

从混沌到凝聚:构建你自己的 Monorepo 文章介绍如何使用 GitHub Actions。monorepo 是将所有项目都放到一个代码仓管理,可能包含不同语言和框架。这意味着对它的依赖管理和 CI/CD 等都与普通代码仓不同。
RSS-GPT:使用 ChatGPT 为你的 RSS 订阅源生成摘要使用 GitHub workflow 新生成 RSS 订阅源且推送到 GitHub Pages。一键配置无需服务器。


#精通
Python 是一种编译型语言

我们通常习惯将 Python 称为一种解释型语言,因为它在运行时逐行。很多人还知道 .pyc 其实也有编译的过程。作者通过苏格拉底式对话和几轮实验,引导读者重新思考“解释”与“编译”:它们是错误的二分法、限制了编程的可能性
Python-Type-Challenges:通过在线挑战来学习 Python 类型提示

开发一个 Python 编译器和解释器这是一系列博文,目前已更新 6 篇,目标是探索和研究实现 Python 等编程语言所需的概念和算法,将会涉及:Lex-YaCC、树解释器。

你能用 Python 的 bisect 模块做到这些事两个函数,可以做很多事:二分搜索、前缀搜索、在列表中查找连续的相等值、查找字典中最接近的键、自定义对象的排序、按照字典 key 搜索。
使用 Ptpython 提高你的编码效率Ptpython 是一个功能丰富且对用户友好的 Python REPL,在脚本中嵌入。
de4py:Python 逆向工程工具包 (neta de4dot) 一款高级的 Python 反混淆器,面向恶意软件分析师和逆向工程师,它拥有精美的 UI 和一些高级功能。

#资源 🤗
public-apis:面向开发者的公共 API 列表 非常非常丰富的公共 API 清单,内容应有尽有。(star 2K)

XHS_Downloader: 小红书图文/视频 spider
FunASR:端到端语音识别工具包阿里。有语音端点检测(VAD)、标点恢复、语言模型、说话人验证、说话人分离和多人对话语音识别等。(star 1.2K)
使用 Python+ChatGPT 开发一个书籍摘要 AI Langchain 和 OpenAI embedding 开发一个书籍摘要工具。另外,作者使用 Streamlit 发布了一个在线体验网站
duangsuse::Echo
#dev #android 面试题 🤔 - 技术上提升最大的一个项目,展开介绍 对比业界同种算法流行和不流行实现、重写自己的任何项目,都比从事GPT都能完成的原型要好 - 为什么选择 Flutter,在业务方面学到了什么 Compose界原神的名气真的太大了,居然能用Navbar,Tab等自带组件,居然能调style! - Java 里重载和重写的区别 在编译期vs运行期确定函数,改方法签名vs改子类值 - 什么是线程安全 避免共享变量(不相交),或使用Atomic/独占锁 避免读写异步 - Service…
#life #statement 对频道、对最近设计稿的一些吐槽

这里本来是用于分享知识的👆,但我又没有多余时间维护它,最终看起来,就像一个草稿箱
我不能像回形针或何同学那样科普,甚至不能学习3b1b和Code Aesthetics 去做我还不愿意涉足的特效,我要传达的太多了…… 我要面对的历史包袱,也太具有迷惑性了

这些知识蛮细节,不一定能立刻写成代码用上。更多是一种解构和自嘲吧。
对编程而言,我是认真的。我不随波逐流,不会因为时代改变就觉得自己被抛弃,去转行


可是,这种执念给我的工程带来了很大的麻烦,比如之前说的EqvJS框架,就因为“新手教程的顺序连贯性,当前理论无法支撑”,而不能去实现简单的signal变量-队列 等模型

比如,因为理论不统一,已经搁了半个月的CLI parser

fun main(a:Argv)=a.Dict<App>()
enum class Format{html,csv,pdf}

class App(
var input:File,
var output:File,
var fmt:Ln<Format>=Format.CSV,
):CLI("""
i Input file
o Output file name
f Format for output file
""", "") {
fun main() {}
}


一个能完全用语文描述的设计模式,尽管归纳整理的过程让人抓狂,相信结果也会是好的 😨

比如,绝句的OOP术语发展历史:

class|interface|object
thing物|class类|insta例
data物|type遇|^name名


这种反复横跳,最终把 sealed class, data object, enum class 全都整理为type,并让其与 class name 有了不易记混的适用范围

EqvJS的各种功能咋写,不应该是首先考虑的点。 我必须找到它们不可或缺的理由,即便这会让既定设计变来变去…… 或许这才是它们的「护城河」吧!
Forwarded from Solidot
李开复的开源模型被发现是对 LLaMA 的重构

2023-11-14 14:57 by 通灵师

李开复创办的 AI 公司零一万物(01.AI)前几天发布了它的开源大模型 Yi-34B,公布的基准测试结果显示虽然模型参数少于其它大模型,但性能更出色。在 Hugging Face 的讨论区,开发者很快指出 Yi-34B 其实是对 Meta 开源大模型 LlaMa 的重构,最明显的变化是改了几个名字。它的开源许可证也没有提及 LlaMa。它也没有公布调试数据,让其他人能复现其基准测试结果。零一万物的估值高达 10 亿美元,已跻身独角兽行列。

https://huggingface.co/01-ai/Yi-34B/discussions/11

#开源