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
Forwarded from Hacker News (yahnc_bot)
Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets https://arxiv.org/abs/2604.07902
arXiv.org
Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
Granlund and Montgomery proposed an optimization method for unsigned integer division by constants [3]. Their method (called the GM method in this paper) was further improved in part by works such...
无阳化银:
#超かぐや姫
🦊
幼年彩p捕食熊大的真实影像（
啊 想好久了完全就是野兽啊。
。刚才的好糊重发
https://twitter.com/yuyang19839/status/2043958884327666111
#超かぐや姫
🦊
幼年彩p捕食熊大的真实影像（
啊 想好久了完全就是野兽啊。
。刚才的好糊重发
https://twitter.com/yuyang19839/status/2043958884327666111
😱8
Forwarded from Hacker News
An AI Vibe Coding Horror Story (🔥 Score: 150+ in 2 hours)
Link: https://readhacker.news/s/6RYwX
Comments: https://readhacker.news/c/6RYwX
Link: https://readhacker.news/s/6RYwX
Comments: https://readhacker.news/c/6RYwX
Tobias Brunner aka tobru
An AI Vibe Coding Horror Story
A medical professional built a patient management app using AI, exposed all patient data unprotected to the internet, and sent voice recordings to AI services without consent. Likely violating Swiss nDSG and other laws.
😁1