shaofun

64 posts

shaofun banner
shaofun

shaofun

@HKSHAO

A student.

Earth, Solar System Katılım Ağustos 2018
108 Takip Edilen30 Takipçiler
shaofun
shaofun@HKSHAO·
x*y长这样子。初等复合函数的eml力导向图。或许不对称的三维结构刚好说明乘法根本上是非对称的。 #math #visualisation
中文
0
0
0
21
shaofun
shaofun@HKSHAO·
I built an EML online playground together with the emlib library! It allows you to compute and visualize all elementary functions generated by the single operator eml(x,y)=exp(x)−ln(y), with a full TS library for parsing, simplifying, transforming and evaluating expressions.
shaofun tweet mediashaofun tweet media
English
1
0
2
167
Łukasz Olejnik
Łukasz Olejnik@prywatnik·
Polski naukowiec napisał ciekawą pracę - i nie bójmy się nazwać jej przełomową. Przez setki lat matematyka miała dziesiątki “podstawowych” funkcji jak sinus, cosinus, logarytm, pierwiastek, eksponenta. Znacie to ze szkoły. Wiadomo o co chodzi. Fizyk z Uniwersytetu Jagiellońskiego właśnie pokazał, że to wszystko jeden operator: E(x, y) = exp(x) - ln(y), oraz 1. Sin, cos, π - wszystko z tego pięknie wynika, wystarczy odpowiednio zagnieździć. Natura ukryła najprostszy możliwy zapis rzeczywistości. I znaleźliśmy go przez przypadek. Całość jest piękna i wspaniała, a słowo „przełomowe” nie stanowi tu marketingowego buzzworda. Przykładowo zamiast pisać π czy 3.14 można teraz elegancko E(E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(E(E(E(1,E(E(1,E(1,E(E(1,E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(E(1,E(E(1,1),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1)),1))),1)),1)),1)),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1),1),1))),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1)
Łukasz Olejnik tweet mediaŁukasz Olejnik tweet mediaŁukasz Olejnik tweet media
Polski
195
981
6.4K
711.5K
myles
myles@themylesfiles·
The NAND gate for continuous math. One binary operator plus the constant 1 generates every elementary function: eml(x, y) = eˣ − ln(y) • e = eml(1, 1) • eˣ = eml(x, 1) • ln x = eml(1, eml(eml(1, x), 1)) I built an interactive @marimo_io notebook to explore the concept: drag x, watch values propagate live through the nodes. molab.marimo.io/notebooks/nb_6… Paper by @AndrzOdrz: arxiv.org/abs/2603.21852
myles tweet media
English
24
167
1K
58.9K
Dylan Conway
Dylan Conway@dylanconway111·
Holiday experiment: seamless Python <-> JavaScript interop in Bun
Dylan Conway tweet media
English
15
9
207
35.1K
shaofun
shaofun@HKSHAO·
Proud I contributed a tiny bit of code to @bunjavascript 2yrs ago & used it nonstop since. Bun’s a solid alt to Node, could carve a niche in Python’s eco. I’m keen on full-stack, AI-friendly infra.
shaofun tweet media
English
0
0
2
105
Jarred Sumner
Jarred Sumner@jarredsumner·
In the next version of Bun `bun feedback <files or text>` makes it easier to send feedback about Bun to the Bun team
GIF
English
7
3
113
12K
Bun
Bun@bunjavascript·
Bun v1.2.21 - MySQL/MariaDB & SQLite adapters for Bun.SQL - Native YAML support - bundle, import, require .yaml - `Bun.secret`: secure secret storage for CLIs - 500x faster postMessage(string) - `compile` support in Bun. build API - Security scanner API bun.com/blog/bun-v1.2.…
English
28
39
877
75.7K
shaofun
shaofun@HKSHAO·
@cn_shuyang 6小时59分=6.59小时 佩服你对时间的理解
中文
3
0
46
9.8K
Sheeply
Sheeply@cn_shuyang·
佩服这位程序员对时间的理解
Sheeply tweet mediaSheeply tweet media
中文
100
18
1K
319.4K
shaofun
shaofun@HKSHAO·
@yuxiyou 我就是您现场唯一说,问的问题非常好的那位同学😳
中文
1
0
17
5.9K
尤雨溪
尤雨溪@yuxiyou·
今天来腾讯总部参观
尤雨溪 tweet media尤雨溪 tweet media尤雨溪 tweet media尤雨溪 tweet media
中文
57
31
1K
183.1K
shaofun
shaofun@HKSHAO·
如果 AI 开公司,那么就会有 AI HR 招 Agent。还要8小时工作制,8小时阅读现实世界的新闻,8小时什么都不干。
中文
0
0
1
292
shaofun
shaofun@HKSHAO·
gpt的生图突然变的很快,但是怎么都不给我生成透明背景。。。
shaofun tweet media
中文
0
0
1
364
shaofun
shaofun@HKSHAO·
@arktypeio what about Fermat's Last Theorem? I'm curious
English
1
0
0
321
shaofun
shaofun@HKSHAO·
@skywind3000 然而macos和linux的浏览器都不会出现,Windows系统则会,好像是系统API问题。说明不仅仅是webview问题
中文
0
0
0
1.4K
LIN WEI
LIN WEI@skywind3000·
没有对比就没有伤害,感受下 React Native 的流畅性,和 webview2 的拉跨,注意拖动改变窗口尺寸时,webview2 的程序 ChatWise / pywebview 都卡的要死,半天才反应得过来,滚动条那些东西都跟不上窗口改变,好像窗口里硬套了一大坨不属于这个窗口的东西一样,而同时 RN 程序却非常丝滑流畅:
LIN WEI@skywind3000

试用了一下 Windows 下面的 React Native for Windows,程序运行后响应真快,特别 resize 窗口的时候,布局调整和重绘都非常丝滑;对比 electron 和 tauri 的应用,用鼠标 resize 窗口的时候,总会感觉到明显的卡顿。

中文
19
7
95
47.2K
SaltyAom
SaltyAom@saltyAom·
TechEmpower benchmark r23 is out Elysia 1.2 (Bun) is placed at 26th Plaintext from 2.4m to 26m reqs/sec, thanks to Bun Next year we predict a significant improvement with 1. Bun native Postgres client 2. JSON Accelerator on Elysia 1.3 3. Bun native router
SaltyAom tweet media
English
10
10
207
22.8K
ArkType
ArkType@arktypeio·
want 100x faster validation but still not sold on type-safe strings? just don't use them.
ArkType tweet media
English
5
2
137
22K
shaofun
shaofun@HKSHAO·
@skywind3000 因为在strict mode组件会强制渲染两次,或者在SSR的时候前后端要保持渲染结果一致性。不包在use effect里的话,count.current两次值必然不同了,可能导致不一致的渲染结果
中文
1
0
0
217