> https://t.me/dsuse/1064
https://bellard.org/otcc/otccn.c 是tccboot所用JIT编译的最简版

呃.. 第一次见到 wiki 编辑战
小时候（高中） 很喜欢 #mozilla #Rust ，还写了这个(列表处理)程序

大概就是暗暗觉得……高性能又开源（根正描红的那种，练习时长两年半只为开源语言，太感人了）

后来看的就淡了，因为rust真的很（烧脑？）
—
我觉得能和 C FFI 的某种意义上都是系统，比如 py 的嵌入式GPIO libs
.Net 有P/Invoke和struct{}, 栈分配 啊，他们可能觉得入选 osdev.wiki 才叫系统编程

无非就是FFI和struct指针的问题，既然 py (cffi能读写指针), .Net unsafe marshall 支持二进制，也是能实现OSkrnl的需求

但KN 不是，因为强类型强检查 弱框架，写着麻烦

系统级就是你可以用来写内核和驱动
这个 lunatik 能在内核层开启 #Lua REPL
这个 https://duskos.org/#operator 类似 tccboot, 但是嵌入式的

GPT-4 有 1.8 万亿参数

2023-07-11 19:30 by 天堂的喷泉

OpenAI 今年初公布的新一代大模型 GPT-4 的技术细节泄露，它有 1.8 万亿个参数，利用了 16 个混合专家模型（mixture of experts），每个有 1110 亿个参数，每次前向传递路由经过两个专家模型。它有 550 亿个共享注意力参数，使用了包含 13 万亿 tokens 的数据集训练，tokens 不是唯一的，根据迭代次数计算为更多的 tokens。GPT-4 预训练阶段的上下文长度为 8k，32k 版本是对 8k 微调的结果。如果是在云端进行训练，以 每 A100 小时 1 美元计算，那么一次的训练成本就高达 6300 万美元。不过今天的训练成本能降至 2150 万美元。

https://threadreaderapp.com/thread/1678545170508267522.html

#人工智能

#PLT #statement 《程序员的阶梯》
知其变，守其恒，为天下式
穷其变，知不穷，以明我志
这世间唯一不变的，只有变化本身。

那种无论谁来写，效果都一样的程序；即便作者在纸笔键盘里锋芒毕露，也泯然众人

那种无论什么功能，都有面向和巧思的笔者；虽其文章和软件一览无遗，也望尘莫及

我们崇拜技巧，但赋予代码意义的，只是对问题的改良和创作，是技术的选型。
我们不是编程接口的服务生

没有呼之即来的心智模型，难成有趣的作品；但无数把「守其恒」的归纳法视作求知的人，徘徊在不思则罔的迷雾

我所追求的编程，不是拣起芝麻忘记西瓜的X-Y问题，而是一开始就观四海之利弊、弃古今之高低；为靠近根源问题，
不惜移掉自以为精妙的“原创”算法，不惜永远“泯然众人”；才能突破领域的桎梏，用「人」的方法定义软件，用问题的本来面貌来解题

我所创作的编程，汗水和灵感将「治未病」，有余力方知「天下事」

我早已决定，不为雄伟和磨难的价值去编程，只是欣赏作品、享受当下。

#js #web #ai #tool 生成的 blog Planet
基于 React & WASP
https://dev.to/wasp/gpt-web-app-generator-let-ai-create-a-full-stack-react-nodejs-codebase-based-on-your-description-2g39

#cg #tool https://www.recraft.ai/
#plt #book http://composingprograms.com/
#web react https://tanstack.com/
https://arwes.dev/play?code=&type=predefined&sandbox=Components%7C%40arwes%2Freact-bgs%7CMovingLines%7Ccomposition
jotai.org 状态管理

duangsuse:
voicepeak 就是synthv.华裔作者开发的啊，不开源，但是基于 VITS,diffsinger 的 OpenUTAU 和 moetts 开源
https://t.me/wtmsd/43486

支持的 https://huggingface.co/spaces/skytnt/moe-tts

应该信任系统tts，或者用connectNative 连接py的各种模型啊

是国人，但公司在日本

#py #code 缩进列表 ; YAML版本
#bing 并没有帮我避坑 😒，Group(匹配是否成功) 这玩意它也理解不了；不过 indentedBlock 自带嵌套深度倒是挺巧妙，我以为应该有 流.字典.. 活到老学到老

import pyparsing as P
item = P.Forward()# 递归

LB,RB,LS = map(P.Suppress, "[]:")

item <<= P.pyparsing_common.number() \
|P.Group(LB + P.delimitedList(item, delim=P.Empty()) + RB) \
|LS+P.indentedBlock(ls:=P.ungroup(item), nTabs:=[1]) #不分组会平铺delim

ls.parseString('[1 2]').asList()

周刊文章

#china #history #life 通缩造成的影响体感不明显🤔
失业率带来的恶果要在3~5年后产生
“中国不会失去多少年，一切都是伟大的探索”
https://m.youtube.com/watch?v=CWT1UfQa3co
6:00 奥姆教的地铁毒气事件
15:00 日本在2002年左右才流行“失去了十年”的反思
Leonard: 🐻微服私访，为何没有安全感：党大于法，猎人亦猎物
https://m.youtube.com/watch?v=8doj1q1RKhM&t=7m

#plt 这几天灵感非常乱， 但修正了 改同/file.RwEq<T>, 可见/可定性 (abstract 啥的,语序改后缀)
我最喜欢的就是基于 tailrec 的无限循环:

lets:
  say("hello")
  loop()

有灵感是好事，但设计稿经常变动也是让实现者相当困扰的。 作为既要设计也要实现的人，重复学习的痛苦不可避免。

不过话说回来这个 emoji 😋 翻译真是太有趣了。原来跨语言的编程语言.. 不用语言来思考问题， 是真的可以有的！

原先 .ju 的文化是 .ju_zh(cn) ，我打算改成默认英文了。 尽管初期都是中文在出力(包括统一 operator fun 为 受XX, 可为Either 可同Eq)，就目前看来英文对OOP 简化(data type let lets 比 Kt 的 class interf run apply 高到不知哪去) 的贡献比中文还要大

从长远看， emoji❤️ 或许在API枚举时有大作用，表情化能揭露“设计的逻辑指数”，如同苔藓害怕雾霾。意想不到的收获

👀现在看来，绝句已经完全不像 Java,C# 那样的OOP了。
我们从 - 复杂函数 ^now - 函数值参 推导到 data ^named TYPE等静态量; 而不是凭空蹦出对象类,方法反射的抽象

我们用 data type named made, at at now "物类例同造 量此刻", 而不是 interf class object ctor, val var
我们的 override 是 ^,impl{?,??,!} "可未终定"; abstract只能标在data上. 用 our{api,,type,pkg} "公私族组内"取代 pub private protect internal

enum/seal/data 以 when- XX, when- as() Data 获得统一的ADT写法
扩充函数和隐式转换的本质都如

data- Int as Num

基于''量纲=N`it>0` 做的 check() 和 泛型,typealias 却和 rust, haskell 不一样

物词只能访问 data made(), made: 的变量，禁止参数构造器 (struct式)
幕后字段隔离到 made 可见性 now?: k v ,而 at N neg=-this 只是get
并且以 at xx now Var.our(0) 取代 var private get
get,set,lets,as,wasXX 只是常见的魔术方法

tailrec,"nocross"inline 并不存在，它们是 lets: loop() 和 -! N.plus1(now_fn)=fn.as<JavaFn>(this)+1
await,yield, launch/coroScope 也不存在，只允许 - main=Wait: ,=Seq:add 1 和 Job:, CoPU.Waits:
loop&if (do while) 不是语法，甚至 if q: or: 都可以由语言内建翻译
? ?. 也不是，它们是 decorator - T?.`??`(:Fn1, :函续)
但只要你不设计DSL ，就完全不知道有这层复杂性，你什么术语也不需要理解。

因此 x?+y 和 1 let:+1, [2 3]let:+2 是优雅的

user or: return
1.may{it<2}: return it
Try{ user.name }!

是做得到的

以前放在一行里说不明白的术语， 现在不放一块才显得奇怪
这才叫“英文”编程语言。算是实现一半了

#py #backend https://t.me/NewlearnerChannel/11360
Python 潮流周刊 #10：Twitter 的强敌 Threads 是用 Python 开发的
👉
3、Python 3.12 预览版：支持 Linux 性能分析器 (英)
4、FastDepends：从 FastAPI 中提取的依赖注入框架，异步和同步模式都支持 (英)
5、https://github.com/0xpayne/gpt-migrate ：将代码仓从一种框架或语言迁移成其它 (英)
6、使用 Golang 和 Docker gRPC 运行 Python 代码

7、DisCo：通过指示生成现实世界的人类舞蹈 (英)
8、用 Python 实现一门简易的编程语言 (英)
如何用 Python 来实现一门编程语言呢？这是一个系列教程，第一篇中实现了一个非常基础的编程语言，可以执行 print 语句，第二篇则拓展成支持变量和数学表达式

#ai CuPy：将 NumPy 数组调度到 GPU 上运行


#statement Paul: 如何选择你的工作
“不要计划太多，不管学过多少，只要做最有趣和最能拓展选择的事情。我叫这种方法“逆风而行”。这是大多数成功人士的秘诀。”
年轻人有时间的极大优势。应该用它来追求好奇心、创造力和专业知识：学习一些你不需要了解的东西，只是出于好奇，或者试着构建一些酷炫的东西，或者成为某个领域的高手。

年轻人容易受到他人的影响。他们常常觉得自己无足轻重。
“避免虚伪”是一个有用的规则，但怎么积极地实践呢？怎么找到自己的方向呢？如果你不诚实，你怎么能对真理有敏锐的眼光呢？
爱因斯坦就是这样做的。他能看透麦克斯韦方程的奥妙，不只是因为他有新思想，而是因为他更严谨。注意那些不合理或缺失的地方。99%可能是你弄错了，但也别忽略它们。

也许有些工作需要愤世嫉俗和悲观主义，但如果你想做出伟大的工作，乐观主义更有用
我不喜欢“创造过程”这个词。它有点误导人。独创性不是一个过程，而是一种思维方式。
我们用独创性、创造力和想象力来描述这种能力，一种特殊的技能。很多人有很多“技术能力”，但在这方面却很少。

#dev #java 又做了意义不大的重写： Observer 实现 Trello 任务-状态 看板

use! py time json datetime

data TaskSubject @impl??
  - attach(:Observer)
  - detach(:Observer)
  - notify(:Tasker)
  ^now
    ''(named ts) Tasker=Pair<Task User>

type Observer
  - update(:Tasker)
  ^now
    ''Author=Pair<User datetime>
    - User as=Author(this,datetime.now())
    
named BoardUpdate Observer
  ^- update(ts) = ts.A let:
    at prev=st_history.first{it.id==id}?.history[_-1].status
    prev? :
      boards[prev].may{it has id}: it pop id  //什么逻辑
    boards[status] add id

//显示 “小明刚更新了 吃饭->已完成”
named StatusTrack Observer
  ^- update(ts) = ts let:[(task uid)]
    st_history.first{it.id==task.id}?.history?
    .lets:
      add (uid by task.status)
    .or:
      st_history add task.id 这TM不就是defaultdict吗

made:
  tasks rw.Ln<Task.Raw>
  st_history rw.Ln<Pair<Str Author>>
  boards [:"To-Do" [].as<Ln<Task>>, "In-Progress" [] ]

data Task(:rw.Ln<Observer>) TaskSubject
  ^- notify(ts)
    observers: update(ts)
  ^- attach==observers{add}
  ^- detach==observers{pop}
  when- as
    Raw'id created updated'(_ed Author, updated=created,status="")

  - create(:Tasker)
    tasks add Raw(tasks.size+1, ts.B)
    notify(ts)
  - update(:Tasker, st1:Str)
    tasks.letsIf{id==task}:
      status=st1; updated=uid
      break

      

什么烂代码，尤其是原文， 我才不想写这种

我不讨厌各种UI和"Java版CMS" ，也不觉得有技术很厉害，但好代码一定要恰如其分

1. 《答案在代码中：“实现需求”的双重含义》
😒我倒不觉得 (a+1)%N 往复<N是个坏写法 ，反而是 (剪刀, 石头) in (0~2).zipWithNext.toDict 会多此一举
#py #code
import random

def game(rules="石头 剪刀 布".split(),胜=+1):
comparin=lambda a,b: "平" if a==b else\
"胜"if (a+胜)%len(rules) == b else\
"败"

a=tuple(random.choice(rules) for x in range(2))
return (comparin(*map(rules.index,a)), a)

至于 data Duck(name:Str) - quack=say("$name") 的OOP是否胜于函数式，我倒觉得 class vs. {it+1} 下, 还是前者更值得删掉
毕竟 Event, Observer, UI 这些都不是Duck("唐老鸭") 这么弱组合的; 退一步讲 json={dump,load} 也比class简洁有效

2. 此作者的 #dalao #ai 观 🤔 https://www.piglei.com/articles/chatgpt-and-how-we-programming/ @lilydjwg 依云 也写了评论
不过，他的代码审美观点倒是和我很像 #zhihu
“匈牙利命名法就是把变量的『类型』缩写，放到变量名的最前面。

关键在于，这里说的变量『类型』，并非指传统意义上的 int/str/list 这种类型，而是指那些和你的代码业务逻辑相关的类型。”

3.Django. HTTP模型

微软 Office 的新默认字体终于定了
经过好多年的测试，微软终于在最初圈定的 5 款字体里找到了新的默认继承者，并且改名叫做了 Aptos，事实上这也是风格上最保守的一款了~

Stability AI 发布草图图像生成工具 Stable Doodle

2023-07-18 17:52 by 火星众神

开源文本图像生成模型 Stable Diffusion 的开发商 Stability AI 发布了一个将草图瞬间变成真实图像的在线工具 Stable Doodle。Stability AI 称它既适合专业人士也适合新手，无论他们熟悉不熟悉 AI 工具。只要有基本的绘图技能，能上网，就能在数秒内生成高质量的原创图像。Stable Doodle 也支持基于用户输入的文字描述提示词去生成图像，它目前支持 14 种艺术风格。

https://clipdrop.co/stable-doodle

#人工智能

Redhat对付GPL的方案：

1.不向非付费用户分发二进制程序
（不分发二进制文件就没有分发源代码的义务）
2.只向付费用户分发二进制程序
（此时产生了向用户分发不受限制的源代码的义务）
3.付费用户可以免费申请获得源代码，
但申请成功会导致账户订阅被锁定。

为符合GPL的规定，该用户将拥有当前锁定时间点获得的源代码的一切权利，包括不受限制的编译使用以及再分发源代码的权利，
但用户同时也失去了继续获得新版本二进制文件的能力（GPL并没有规定开发者必须要向用户分发新版本二进制文件，不分发二进制文件就没有分发源代码的义务）