@Huxpro

Vibing @Lynxjs_org · ⚛️ Former @Reactjs, @ReactNative, @HermesEngine · 👨‍🔬 λ.TaPL/FP/@TC39/@W3C

 NYC · CA · China
github.com/huxpro
Joined September 2013
  • Tweets2.5K
  • Following1.7K
  • Followers17.3K
403Media
Xuan Huang · 黄玄 retweeted
Midscene@midscene_aiOct 16
Playing a round of tile matching game in Midscene with Jev 1.4’s new vision capabilities. Planning averages just 0.4s per call, and model fees are about $0.006 for the whole game. Midscene, an AI E2E automation framework built around vision.
1
1
1
498
Cheng again
Cheng Lou
@_chenglouOct 15
My dear friends, I’d like to show you my latest toy project Introducing Handwired: turn your regular JavaScript code into a neural net! - no training - exact outputs vs the JS program - fully differentiable All runnable in a browser, without GPU
2,328
🤯
Elon Musk
@elonmuskOct 16
Turns out the future does have flying cars
7
2,008
Not gonna lie we have @LynxJS_org + OpenUI surfaces running in production already. It's awesome!
Rabi Shanker Guha
@rabi_guhaOct 15
For 30 years, technology has moved in one direction: turning information into intuitive interfaces Somehow, the smartest software we’ve ever built took us back to a textbox We’ve spent the last 2 years at @openuidev trying to fix that. 6 months ago we open-sourced it: 10K+ GitHub stars, 6M+ downloads ChatGPT shipped Intelligent UI and showed everyone what it looks like Today we’re releasing OpenUI 1.0 bringing it to every other agent
1
2
9
1,510
Nope, it was just one night 😭
2
5
1,568
Yeah, AI is eating frontend. But isn't it eating backend too? Genuinely curious: What’s the real moat for backend engineers now? Which backend skills are still worth learning deeply?
47
1
3
117
36,425
Sorry, but Claude is still so much better than GPT. (Not just because Claude gave me another six months and Codex didn’t.)
3
1
50
5,739
Share a cute open-source music app built with Lynx
涵曦@ImHanxiOct 6
Replying to @ImHanxi @LynxJS_org
补充几个截图
1
1
14
2,839
Just gonna leave this graph here. It says something about all of us this year.
16
2,613
Xuan Huang · 黄玄 retweeted
Callstack Engineers
@callstackioOct 1
Announcing Apex: agentic coding model for mobile and web, specialized in React. We built Apex from a single idea: can an open-weight model deliver frontier-level performance at lower cost? Yes. Apex is SOTA in React Native and Next.js. Try it now: apex.callstack.com
33
47
26
235
50,626
Congrats to the launch! Gotta try that with Lynx as well
Oskar
@o_kwasniewskiOct 1
Introducing e2e The agentic testing framework for any app ~/ npx e2e init → Fully Open Source → Mix deterministic and agentic APIs → Supports web, mobile, and more → Bring your own agent and infrastructure → Run locally or in CI tester.army/e2e
2
16
2,573
Preact 11 is awesome. It adds modern React features such as use and forwarded ref, while preserving a lean and even performant foundation that we can build our own dual-threaded model upon at Lynx.
jovi 🐨
@JoviDeCSep 30
Preact 11 is out 🎉 We’ve been hard at work at making our diffing use modern features like moveBefore , leveraging ESM for tree-shaking Preact Compat and ensuring you have a great experience with resumed hydration.
1
2
76
8,300
Don't get us wrong there are no breaking changes 😛 We'll share more about this soon
Lynx
@LynxJS_orgSep 30
Lynx 4.0 is here! 🎉 📱 Foldables & CSS media queries
✨ Liquid Glass & Blur with <blur-view>
🌐 Open-source <webview>
🤖 OpenUI & Agent Skills
⚛️ ReactLynx improvements
1
30
6,890
Harness is dead
15
1
18
13,950
With @Tesla FSD and @Claudeai Code, you can just vibe all the way from SF to LA 😎
1
39
5,800
Xuan Huang · 黄玄 retweeted
hardfist@hardfist_1Sep 26
Looks like ChatGPT is on Rspack now too 👀 Two AI giants. One bundler.
Jiahan Chen
@jiahan_cJun 30
I asked Codex to help me find popular websites using Rspack. It came back with a bunch of results, and Anthropic’s website was among them 👀
8
18
6
158
67,764
Thanks @AnthropicAI
2
2
68
6,766
Is “vibe formal” a thing now? Not sure if I feel more or less valuable as someone who used to major in formal verification.
Boris Cherny
@bchernySep 22
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?
3
10
5,534
I should probably let AI finish my thesis: scholar.google.com/citations…

A mechanized formalization of the webassembly specification in coq

X Huang, RIT Computer Science, 2019 - Cited by 7

scholar.google.com
1
1
768
Load more