Arthur Petron

robotics - simulation - distributed systems design - hardware - ML - intuitionist - @mit_triune @apple @idealab @openai

[Arthur Petron @darthur]

@RohanArun Been working on a fully constructive Lean proof for a bit now: https://t.co/CHHBhVM406

[Arthur Petron @darthur]

@amypretzel 100%

[Arthur Petron @darthur]

Is this where the Italian sparkling mineral water from Costco comes from?

[Arthur Petron @darthur]

@eduardadotai Moving to SF?

[Arthur Petron @darthur]

@NoahChrein Okay, but like, what do we do in the meantime?

[Arthur Petron @darthur]

Solid read.

https://t.co/IVX7Age7qO

[∞-modal Noah @NoahChrein]

Carnot Ideation

[Arthur Petron @darthur]

Okay where do the humans that choose to think long term hang out?

[Arthur Petron @darthur]

@eduardadotai Welcome home.

[Arthur Petron @darthur]

@eduardadotai I thought this was already known through hypernetworks.

[Rikiya Takehi @rikiyatakehi]

5/6 Can an LLM improve another LLM?
We simply asked Astra to make Qwen3.5-0.8B better at math.

Astra saw Qwen get stuck in reasoning loops, which is a known issue that Qwen’s own model card warns about (see their official model card). With a budget of 50 forward passes on practice problems, it located the cause and edited it out. This used no gradients or training.

Fixing these loops by editing just 0.016% of weights boosted other capabilities beyond math too!

[Arthur Petron @darthur]

@njess For sure! Been saying this for years now.

[Arthur Petron @darthur]

@Aella_Girl Many. Indeed.

[Arthur Petron @darthur]

@nikitabier I am always being real.

[Arthur Petron @darthur]

@ashleyyjoelle Honey Pot alert! 🚨

lol

[Arthur Petron @darthur]

@Bcidesign @Vawlkus I’d try a few others first to get a sense. Catia, Solidworks, NX, Onshape, freeCAD, Rhino, Blender.

What do you think about CAD software that only lets one perform operations that the machine(s) producing the part can do?

[Arthur Petron @darthur]

Anything like a shoulder joint. Maybe also wheels?

[Mishin Machine @mishin_machine]

Any use case ideas for this jaw gear?

Printed on @formlabs.
Motor by @cubemars_motor.

#3DPrinting #Robotics

[Arthur Petron @darthur]

So then it can also inventory the store and make this inventory available for search, right? Right‽

[Poonam Soni @CodeByPoonam]

AI can now track exactly what you look at in a store.

[Arthur Petron @darthur]

@AnnieLiao_2000 Halloween party with a red carpet?

[Arthur Petron @darthur]

@eduardadotai good climbing down there