Libriscent:
I don’t believe in "soulmates." I believe in "two weirdos who refuse to give up on each other."
https://twitter.com/libriscent/status/2042663647915446384
I don’t believe in "soulmates." I believe in "two weirdos who refuse to give up on each other."
https://twitter.com/libriscent/status/2042663647915446384
&'a ::rynco::UntitledChannel
https://fixupx.com/NASAAdmin/status/2042757836061430206
(generated using Google Gemini)
🤣13
春东西 dumb box
https://vxtwitter.com/i/status/2042972185443340583
It's {Windows 7, iTunes} once more.
Mack Crawford:
MTV Copernicus braking into Mars orbit, ahead of rendezvous with the lander that will take its crew to the surface
https://twitter.com/brickmack/status/2043490760918478977
MTV Copernicus braking into Mars orbit, ahead of rendezvous with the lander that will take its crew to the surface
https://twitter.com/brickmack/status/2043490760918478977
&'a ::rynco::UntitledChannel
该看那两个老视频了。
YouTube
MARS [NEW!!!]Constellation(DEFUNCT)/SLS : Manned Mission to Mars/ SLS ARCHITECTURE
How Project Constellation would have taken Man to Mars by the 2030's.
\This video features the ORION MPCV, Ares I , Ares V ,
the NTR cargo transfer vehicles and the NTR Mars transfer vehicles.\
No copyright infringment intended. Outer Space is for all…
\This video features the ORION MPCV, Ares I , Ares V ,
the NTR cargo transfer vehicles and the NTR Mars transfer vehicles.\
No copyright infringment intended. Outer Space is for all…
&'a ::rynco::UntitledChannel
该看那两个老视频了。
YouTube
KSP - Constellation Mission
I can't put in words how sad I am that the constellation missions got shelved. So I did a mission to Duna inspired by them, with a few Kerbal variations.
All the craft can now be downloaded here - http://forum.kerbalspaceprogram.com/showthread.php/40559…
All the craft can now be downloaded here - http://forum.kerbalspaceprogram.com/showthread.php/40559…
melody 🎀 NYAMORTIS CEO:
new avemuji single just dropped
https://twitter.com/scrapmwlody/status/2043413769758355788
new avemuji single just dropped
https://twitter.com/scrapmwlody/status/2043413769758355788
pixelframe:
Guys, please nothing inappropriate with this one, the Peppa Pig font & logo generator is live now! pixelframe.design/peppa-pig-font…
https://twitter.com/HelloPixelframe/status/2042312815583617149
🤣8
从单一运算符生成所有初等函数
Andrzej Odrzywołek
https://arxiv.org/abs/2603.21852v2
在数字硬件中，一个双输入门就足以实现所有布尔逻辑。但对于连续数学而言，此前从未发现过可与之媲美的原语：计算初等函数（如 sin、cos 和 log）一直需要多种不同的运算。在此，我们证明单个二元运算符，
eml(x,y) = exp(x) - ln(y)
连同常数 1 一起，可以生成科学计算器的全部标准函数库。这包括常数 e、π 和 i；算术运算 +、−、×、÷ 和幂运算，以及通常的超越函数和代数函数。例如，e^x = eml(x,1)，ln x = eml(1, eml(eml(1,x),1))，其他运算亦然。此前并未预料到这样的运算符的存在；我通过系统的穷举搜索发现了它，并从构造性角度证明它足以构成具体科学计算器的基础。在 EML（Exp-Minus-Log）形式中，每个这样的表达式都成为相同节点的二叉树，产生的文法简单到 S → 1 | eml(S,S)。这种统一结构也使得基于梯度的符号回归成为可能：将 EML 树作为可训练电路，配合标准优化器（Adam），我证明了在树深度不超过 4 的情况下，可以从数值数据中精确恢复闭式初等函数的可行性。同样的架构可以拟合任意数据，但当生成规律是初等函数时，它可能恢复出精确的公式。
Andrzej Odrzywołek
https://arxiv.org/abs/2603.21852v2
在数字硬件中，一个双输入门就足以实现所有布尔逻辑。但对于连续数学而言，此前从未发现过可与之媲美的原语：计算初等函数（如 sin、cos 和 log）一直需要多种不同的运算。在此，我们证明单个二元运算符，
eml(x,y) = exp(x) - ln(y)
连同常数 1 一起，可以生成科学计算器的全部标准函数库。这包括常数 e、π 和 i；算术运算 +、−、×、÷ 和幂运算，以及通常的超越函数和代数函数。例如，e^x = eml(x,1)，ln x = eml(1, eml(eml(1,x),1))，其他运算亦然。此前并未预料到这样的运算符的存在；我通过系统的穷举搜索发现了它，并从构造性角度证明它足以构成具体科学计算器的基础。在 EML（Exp-Minus-Log）形式中，每个这样的表达式都成为相同节点的二叉树，产生的文法简单到 S → 1 | eml(S,S)。这种统一结构也使得基于梯度的符号回归成为可能：将 EML 树作为可训练电路，配合标准优化器（Adam），我证明了在树深度不超过 4 的情况下，可以从数值数据中精确恢复闭式初等函数的可行性。同样的架构可以拟合任意数据，但当生成规律是初等函数时，它可能恢复出精确的公式。
arXiv.org
All elementary functions from a single binary operator
A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathematics: computing elementary functions such as sin, cos,...
🔥26❤1