mkchr

1.3K posts

mkchr banner
mkchr

mkchr

@MfkChr

Building NexForge open-source safety compiler for CPS & Robotics. From YAML specs to verified contracts for hardware safety layers & real-time control.

Naples, Campania Katılım Aralık 2014
1.1K Takip Edilen161 Takipçiler
Sabitlenmiş Tweet
mkchr
mkchr@MfkChr·
How do we bridge the gap between flexible LLM reasoning and hard industrial safety constraints? ​This is the NexForge v6 pipeline architecture. We translate AI-generated contracts into formal logic, running them through Z3 SMT solver before they ever touch the runtime kernel.
English
3
0
6
1.3K
mkchr
mkchr@MfkChr·
@NewsNow4world1 هذه أوروبا التي يحلم بها الشاب العربي، في مخيلته سيجد سجاد أحمر و ناس تعطف عليه لكن هذا الواقع المرير،
العربية
3
0
8
4.4K
الأحداث العالمية
⚠️ مقطع فيديو يوثق لحظات حياته الأخيرة.. موجة غضب واسعة بسبب وفاة شاب مغربي كُتمت أنفاسه خلال عملية توقيفه من قبل الشرطة الإيطالية
العربية
86
96
765
163K
mkchr
mkchr@MfkChr·
@elonmusk ¡Viva la Roja🇪🇸 🇪🇸 🇪🇸
Español
0
0
0
62
Elon Musk
Elon Musk@elonmusk·
🇪🇸 🇪🇸 Congratulations Spain!! 🇪🇸 🇪🇸
English
8K
24.9K
302.7K
12.1M
Qwen
Qwen@Alibaba_Qwen·
Qwen3.8 is launching and going open-weight soon!🌐 With a massive 2.4T parameters, this model is continuously evolving. We believe it’s one of the most powerful model available today, compatible to leading frontier AI models , second only to Fable 5. You don't have to wait to test it. Just now, the Qwen3.8-Max-Preview made its debut on Alibaba’s Token Plan, Qoder, and QoderWork. Be among the very first to try it out. Can't wait to hear what you build. Stay tuned! 🚀  Token Plan international:qwencloud.com/pricing/token-… China:platform.qianwenai.com/pricing/token-…
Qwen tweet media
English
1.3K
3.4K
24.3K
8.2M
mkchr
mkchr@MfkChr·
@NewsNow4world1 أثنين عاجل على خبر يحدث يوميا، كثير من Show في هذه الصفحة
العربية
0
0
0
912
الأحداث العالمية
🚨🚨🚨عـــاجـــل عـــاجـــل الأحداث تحدث الآن: 🔺 هجوم أمريكي قرب مدينة سيريك الإيرانية 🔺هجوم بطائرة مسيرة على القنصلية الأمريكية في أربيل بالعراق 🔺هجوم على قاعدة حرير الجوية الأمريكية في العراق
العربية
15
28
459
132.4K
mkchr
mkchr@MfkChr·
@MarioNawfal Nothing drives demand higher than a government ban anthropic just got the ultimate free promo
English
0
0
0
18
Mario Nawfal
Mario Nawfal@MarioNawfal·
🇺🇸 The U.S. just deemed an AI model so dangerous that nobody on earth is allowed to use it, including the government itself. The Trump administration moved to block all foreign access to Anthropic's most advanced models, Mythos 5 and Fable 5, with Commerce Secretary Howard Lutnick notifying CEO Dario Amodei that they now fall under export controls. The trigger, per an administration official, was another company's claim that it had jailbroken Mythos, raising national security alarms. The administration had reportedly tried to get Anthropic to delay the release and failed. The result is a strange bind. Anthropic already sits on a Pentagon blacklist deeming the models too risky for the government's own use, and now a Commerce regime deems them too risky for foreign use. Rather than navigate the licensing maze, the company cut off access for every customer late Friday, calling it a "misunderstanding" it's working to resolve. The official said the lockdown stays until the government hardens its own security, possibly within weeks, stressing that Trump "does not want to hurt the industry." Source: Axios / Writer: Daniel
Mario Nawfal tweet media
English
140
220
953
116.9K
DogeDesigner
DogeDesigner@cb_doge·
𝕏 just added a dedicated SpaceX IPO section under the For You tab.
DogeDesigner tweet media
English
124
95
651
27.4K
mkchr
mkchr@MfkChr·
@VincentLogic Impressive for a concept but completely unfeasible for actual manufacturing real CAD is much more complex than just making shapes move it requires precise GD&T...
English
0
0
0
26
Vincent
Vincent@Vincent_AINotes·
Claude Fable 5 在 Fusion 360 里的操作,我人傻了。 就一句提示词:"build a V8 engine with crankshaft, cylinders" 然后... AI 直接在 CAD 软件里生成了一个完整的 V8 发动机。 看这细节: ✅ 曲轴、活塞、气缸全部到位 ✅ 装配关系正确 ✅ 还能做运动仿真(曲轴转动、活塞上下) ✅ 左侧浏览器里 19 个 Extrude 特征自动生成 这不是简单的 3D 建模,是带完整机械逻辑的工程设计。 以前做这种复杂装配体: - 学 Fusion 360/SolidWorks(几个月) - 画草图、拉伸、装配(几天) - 调配合关系、做运动仿真(又几天) 现在: 告诉 AI"我要个 V8 发动机" → 喝杯咖啡 → 完成 CAD 设计的门槛,直接被 AI 踏平了。 机械工程师们,你们还好吗?😂
Vincent@Vincent_AINotes

Text-to-CAD 这块,最近真的杀疯了。 Adam 刚融了 410 万美金,我盯这个方向盯了半年。 说个结论: 自然语言 → 参数化几何 → 可制造 BOM 这条链要是跑通,工业软件 40 年的交互逻辑会被彻底重写。 现在两条路线分得很清楚: 路线1:Mesh 生成 Meshy、Tripo3D 在搞,输出 STL/GLB 适合游戏资产、3D 打印手板 看着像,但改不了尺寸 路线2:参数化 CAD Adam、Zoo.dev、Onshape AI 在做 输出 STEP + 特征树 直接对接 CNC、BOM,每个特征都能调 核心差异就一句: 一个只能看,一个能直接下车间。 Adam 的技术路线叫 CAD-as-Code: Claude 生成 OpenSCAD → Three.js 预览 → 聊天式修改 不是生成一张图,是生成可改的模型。 我判断的三个发展阶段: 2025-2027: AI 打初稿,人工校验 效率提升 3-5 倍,责任还是人扛 2027-2029: CAD + CAE + 工艺知识库打通 说一句话,出可制造方案 + 报价 2030+: 设计变成「定义约束 + 审核 AI」 画图员这个角色会消失 但还有三个硬问题没解决: 1. 几何正确 ≠ 工程正确 强度、公差、装配关系,AI 还不懂 2. 修改历史不可追溯 工业场景的硬要求,现在做不到 3. 领域知识没有标准 IR 谁能定义「工程语言的 IR」,谁就是下一代工业软件的嗓子 你们觉得 Text-to-CAD 多久能真正落地?

中文
5
41
204
37.7K
mkchr
mkchr@MfkChr·
@HedgeFundFomo Investors aren't pricing in today's revenue high growth tech companies are always valued based on their long term dominance and future cash flows
English
0
0
0
30
Michael (Hedge Fund Manager)
Michael (Hedge Fund Manager)@HedgeFundFomo·
So SpaceX is supposed to be worth $2 trillion but doesn't even produce $1 trillion in revenue? Call me old school, but no way investors will bite on this
English
287
16
388
64.9K
Standard Bots
Standard Bots@standardbots·
Today, we’re thrilled to announce our $200M Series C funding round at a $1B valuation, led by @RoboStrategy and existing investors including @generalcatalyst. Standard Bots is now America’s largest manufacturer of AI-native industrial robots. Our customers include Sunoco, Lockheed Martin, NASA, and the US Army along with hundreds of other manufacturers across the country. We’re proud to say that we’re on track to deploy 10% of all U.S. industrial robots by next year. We are expanding our Glen Cove, New York facility to 70,000 square feet to scale our vertically integrated production process. We currently design almost all our own parts, including our own actuators, and we assemble every final product in-house. By 2027, we’ll manufacture everything — from metal in to robots out — right here in America. We believe AI-native robots are the essential power tool of the 21st century — the tool that will grow American manufacturing and help every American worker to be a force at work. You just show your robot how it’s done, and it learns through demonstration. No coding, no consultants, just unbox and deploy faster than anything else on the market. Right now it’s possible for the United States to revitalize our manufacturing base if we become the worldwide leader in this transformative technology. We must build American robots, and put them to work in American factories. It’s a national imperative, and it’s our central mission. This fundraise gets us one step closer to the goal. The future of American manufacturing is bright! Join Standard Bots, and show your robot how it’s done — we’re just getting started.
English
59
88
857
435.8K
mkchr
mkchr@MfkChr·
@TheAhmadOsman Anthropic's founders are OpenAI defectors remember OpenAI started with the utopian promise of giving AI to humanity for free before shifting to maximum commercial profit what do you expect from people raised in that exact same DNA
English
0
0
0
30
Ahmad
Ahmad@TheAhmadOsman·
To folks at Anthropic: History will judge us harshly, and deservedly so Ask yourself honestly, are you building an open and free world for your kids or just cashing a bigger check? Some decisions stick around a lot longer than the money does Do better
English
35
41
657
20.8K
mkchr
mkchr@MfkChr·
@aaronburnett Most analysts underestimate how quickly AI training might move to space once Starship hits cadence
English
1
0
3
68
Aaron Burnett
Aaron Burnett@aaronburnett·
There has been a lot of hand wringing on the appropriate valuation of SpaceX. Some large institutions believe SpaceX can only be valued at half what the market seems to be willing to pay for it. Others are claiming it has 15X appreciation ahead of it. Almost all of this difference of opinion comes down to how comfortable you are modeling beyond 2030 and what valuation method you use. 2030 valuation using a traditional Gordan DCF produces a very different result than a 2040 EV/EBITDA Multiple. Both have pros and cons. Most analysts don’t really discuss this and lead with a headline number. We are very comfortable modeling out to 2040, as large portions of what SpaceX is proposing is real world infrastructure, which provides modelable physics constraints to anchor against. The analysis we released today explores this in-depth, its open to the public all the way through IPO. I highly encourage you check it out prior to then. research.33fg.com/analysis/space… We’ve run 5,000 monte carlo runs across 500 variables (real number, even though it sounds fake) and three valuation methods. This video is of a 3D cloud chart showing every simulation outcome expected in valuation output across two of the most impactful variables to the model when using an EV/EBITDA multiple from 2026 to 2040. The horizontal axis is the steepness of the orbital data center demand S-curve. The vertical axis is the rate at which chip compute efficiency becomes cheaper. Each of the 5,000 dots is one simulated future; green dots are the ones where SpaceX's 2040 value clears the $1.77T IPO line, over time. Under EV/EBITDA valuation through 2040, 96% of our simulated futures clear the expected IPO price once the bell rings Friday. We aren’t publishing this publicly to tell investors what the stock is worth, we’re publishing this to help investors understand the world of outcomes, what the fundamentals suggest through 2040, and what frankly most analysis simply won’t share. SpaceX is a generational company working on long term infrastructure harnessing a domain no one has been able to tap in so far: space. It deserves doing the work as an investor. because this in not financial advice. The cleanest way to hold SpaceX is a bond stapled to a call option (AI-Compute); Starlink is the bond, the near term SatCom annuity that funds the next flywheel. Understand the world of outcomes and take your position accordingly. Comparables and P/E won't take you far enough.
English
426
911
3.3K
1.5M
mkchr
mkchr@MfkChr·
@juliarturc It’s impossible to find an objective benchmark amid the corporate cheerleading
English
0
0
0
89
Julia Turc
Julia Turc@juliarturc·
I wish there was a button to mute all Anthropic employees to filter for real opinions. Now I need to check every single profile to see where people work. Hash tag first world problems.
English
19
13
473
13.5K
Antioch
Antioch@antiochrobotics·
@MfkChr Sounds interesting!
English
1
0
1
172
Antioch
Antioch@antiochrobotics·
Introducing Antioch Agent. For the first time, simulate the full physical AI stack in a closed agentic loop, entirely from the browser. Onboard your robot, build high-fidelity simulation scenes, and test in hours what takes weeks in the field. Develop physical autonomy at the speed of software, with Antioch Agent.
English
105
71
453
933.4K
mkchr
mkchr@MfkChr·
@tapodhana_ Don't regret deleting those posts man as long as you're building new things you'll make better content I'am sure
English
0
0
0
13
tapodhana
tapodhana@tapodhana_·
@MfkChr Yeah that's the only way. Before my software posts, my entire feed was completely filled with only model posts. None of them got any traction. I deleted 90% of the posts(stupid me deleted many viral posts as well) thinking it'll help, and here I'm.
English
1
0
0
23
tapodhana
tapodhana@tapodhana_·
For all the people I met recently: my niche is DL modelling. I train pretty unconventional models from scratch on my 3060 6GB. Before building YapapaForms, almost all my posts were about DL models. When none of those posts got any traction, I got frustrated and deleted everything (thinking it would somehow help). In hindsight, that was pretty stupid. But in the last 10 days, I've met some lovely people, and I'm genuinely grateful for that! Thank you for being kind!
English
3
2
11
347
mkchr
mkchr@MfkChr·
@bcherny This explains exactly why Anthropic added secret safeguards to sandbag it
English
0
0
0
69
Boris Cherny
Boris Cherny@bcherny·
Fable 5 is the biggest step up I’ve felt in our models since Opus 4.5 back in November. After 4.5 came out I uninstalled my IDE when I realized that I’d been doing 100% of my coding in a terminal for a few weeks. With Fable, it’s felt like Claude has stepped up from being a coding agent to a thought and design partner in building the product. Fable has judgement, taste, and dimensionality in a way that previous models didn’t, leading me to trust it more with the most complex work. I think the first time I had this realization was when I asked Fable to debug something. It is the first model I have used that was so methodical and precise, taking measurements and adding logs then verifying that it truly fixed the issue before declaring victory. There’s nothing in claude code’s prompting telling the model to do that, it’s just part of its personality. It really has this “big model smell” that I haven’t felt before.
English
640
601
10.6K
914.1K
mkchr
mkchr@MfkChr·
@gregisenberg only if your company isn't too innovative Fable 5 will secretly nerf itself without even telling you
English
0
0
1
125
mkchr
mkchr@MfkChr·
@claudeai i’m already sweating thinking about the token burn rate on Fable 5 if it's doing 80% on SWE-bench it’s definitely going to chew through our $100 plans in hours.
English
0
0
0
49
Claude
Claude@claudeai·
Introducing Claude Fable 5: a Mythos-class model that we’ve made safe for general use. Its capabilities exceed those of any model we’ve ever made generally available.
English
5K
14.4K
104.5K
57.2M
mkchr
mkchr@MfkChr·
@animesh_garg this is how we finally build and deploy robots on a massive scale
English
0
0
0
31
Animesh Garg
Animesh Garg@animesh_garg·
"why humanoid" gets another case study? Expansion of capability envelope of humanoids and importantly in a very data and compute efficient manner. the recipe that worked for locomotion in increasingly working on loco-manipulation and perceptive locomotion. - data to generate reference ("what") - RL in sim to create experts ("how") - Distillation to add visual observations - Deployment on real env.
Siheng Zhao@SihengZhao

🪜 What if humanoids could climb ladders and work on them straight out of simulation? Meet LadderMan: a perceptive system for zero-shot sim-to-real ladder climbing and on-ladder manipulation. Watch the humanoid climb, stabilize, and manipulate—all in one system. 🤖👇

English
13
6
41
11.2K