xv01

如果我死在 x 年 , zx31415 死在 y 年 , 2026 < x < y , 现在 2026 年 , zx31415 不知道我的银行卡密码 , 要如何在我死后 , 让 zx31415 可以处理我银行卡的钱 ( 捐给数学研究/教育机构或者其他合法用途 , 我完全信任 zx31415 )

...... AI 回答 ......

Read more...

Some aged posts: 全世界都有信息越来越少, 质量越来越低, 越来越难以被检索到的情况, 大概 英文的 下降速度 略慢 而已 以后知道去什么小众社区找到需要的东西, 可能会成为一个有用技能, 这不新鲜, 2005年以前就是这样的 ... 01-17-2022

Read more...

马克思 : 宗教 是 人民 的 鸦_片 https://mp.weixin.qq.com/s/x-WItklm4Or1BUV7hTrrRw ​ ​「有一个例外 是 宗教保守派」 ​https://www.zhihu.com/question/625329652/answer/3261438575

Read more...

https://mathlib-initiative.org/ from https://www.renaissancephilanthropy.org/funds 用于「科研」, 商业化 ( 「刚需」 ) 其实是很少的 ... right ?

======

Ironically interesting to see LLM vibe proving !! https://axiommath.ai/territory/from-seeing-why-to-checking-everything

Read more...

Read more...

Inverse Kinematics – simple https://www.youtube.com/watch?v=WAsMAeKDc4U

Inverse Kinematics & PID https://pmc.ncbi.nlm.nih.gov/articles/PMC7887770/

Inverted Pendulum – PID – Lego, RaspberryPi, Python https://www.youtube.com/watch?v=WObG2LoSEwQ

Reinforcement learning control of an inverted pendulum using Python, Simulink, and LW-RCP. https://www.youtube.com/watch?v=lM6rYjM6HBU

pytorch batch size exp 2

Read more...

[](https://pad.degrowth.net/uploads/0ab40389-e49d-4bb1-83e7-aa98b84e0e51.png)

mul.png

Find the maximum product when placing multiplication operators in a number string.

Problem Analysis:

Given: – A string of N digits (6 ≤ N ≤ 40) – Need to place K multiplication operators (1 ≤ K ≤ 6) – Find the maximum product possible

For example, with string “1231” and K=2: – We need to split it into 3 parts (K+1 parts) – Find the arrangement that gives maximum product

Read more...

https://x.com/xleaps/status/1894560176210149655

Centrifugal governor ≈ the 18-century “human-feedback loop” for steam engines. https://en.wikipedia.org/wiki/Centrifugal_governor

RLHF ≈ the 21-century “human-feedback loop” for language models. https://en.wikipedia.org/wiki/Reinforcement_learning_from_human_feedback

Both solve the same meta-problem:

Desired output – actual output –> error signal –> gain-adjusted correction –> stable useful machine