Benjometry

I design 3D printed objects using algorithms.

[Benjometry @benjometry]

Throwback

[Benjometry @benjometry]

@oyhsu @DenverRayburn @framework_auto @kaiarhodes @anatar @Zellerfella @TheZellerfelds @Zellerfella @TheZellerfelds rocks !

[vittorio @IterIntellectus]

this is actually insane

> be tech guy in australia
> adopt cancer riddled rescue dog, months to live
> not_going_to_give_you_up.mp4
> pay $3,000 to sequence her tumor DNA
> feed it to ChatGPT and AlphaFold
> zero background in biology
> identify mutated proteins, match them to drug targets
> design a custom mRNA cancer vaccine from scratch
> genomics professor is “gobsmacked” that some puppy lover did this on his own
> need ethics approval to administer it
> red tape takes longer than designing the vaccine
> 3 months, finally approved
> drive 10 hours to get rosie her first injection
> tumor halves
> coat gets glossy again
> dog is alive and happy
> professor: “if we can do this for a dog, why aren’t we rolling this out to humans?”

one man with a chatbot, and $3,000 just outperformed the entire pharmaceutical discovery pipeline.

we are going to cure so many diseases.
I dont think people realize how good things are going to get

[Benjometry @benjometry]

@himanshustwts All of this makes no sense when the job is in Delhi
Nobody who cares about their longevity would live there

[Benjometry @benjometry]

@Zellerfella Mason cooked

[Benjometry @benjometry]

@Zellerfella Wow

[Benjometry @benjometry]

@nalin_wadhwa @TarunSures41845 @debangshuban18 @ggn_dp_sngh

[Nalin Wadhwa @ ICLR 2026 @nalin_wadhwa]

🧵[2/n] How BEAVER Works ⚙️

BEAVER systematically explores the LLM's generation space:

✅ Tracks ALL possible outputs
✅ Prunes early violations
✅ Maintains certified probability bounds

BEAVER brings formal guarantees to LLMs while scaling to modern billion-parameter models.

[Nalin Wadhwa @ ICLR 2026 @nalin_wadhwa]

@TarunSures41845 @debangshuban18 🧵[1/n] The Verification Gap 📐

LLMs induce a distribution over all outputs.
As they're deployed in real-world systems, practitioners have only relied on sampling, benchmarking—methods which only give "vibes" for safety and security.

❌ No guarantees ❌

BEAVER changes this.

[Benjometry @benjometry]

Incredible work!!!

[Nalin Wadhwa @ ICLR 2026 @nalin_wadhwa]

🚨 Can we truly prove that LLMs won't leak your data or generate unsafe code?

Almost all LLM safety evals today only give estimates.
Sampling. Benchmarks. Leaderboards.
Zero guarantees ❌

We present BEAVER, the first system to provably bound LLM constraint satisfaction.

🧵👇

[Benjometry @benjometry]

@nalin_wadhwa @TarunSures41845 @debangshuban18 King

[Nalin Wadhwa @ ICLR 2026 @nalin_wadhwa]

🚨 Can we truly prove that LLMs won't leak your data or generate unsafe code?

Almost all LLM safety evals today only give estimates.
Sampling. Benchmarks. Leaderboards.
Zero guarantees ❌

We present BEAVER, the first system to provably bound LLM constraint satisfaction.

🧵👇

[Benjometry @benjometry]

@JyesthNarang6 @venkat_ins @srivishnumadd @amb_cinemas @DolbyIn Please LORD OF THE RINGS

[Benjometry @benjometry]

@JyesthNarang6 @venkat_ins @srivishnumadd @amb_cinemas @DolbyIn Please show Lord Of the Rings

[Benjometry @benjometry]

@cullankerner Tuff

[Cornelius Schmitt @Zellerfella]

Multicolor will change the game.
Excited for @TheZellerfelds

[Benjometry @benjometry]

@prakdadlani @ajinkya Can confirm the discord is a great resource. Happy to contribute to design if needed.

[Benjometry @benjometry]

@horrorvisuals You haven’t seen enough

[Vinayak Sahi @sahi_vinayak]

hello 👋🏼

the time has come for me to move out of my house, so looking for a replacement in a fully set-up 3BHK in Domlur, right opposite EGL.
just 10–15 mins from Indiranagar & Koramangala.

details:
•private room w/ attached bathroom
•fully furnished (no setup stress)
•covered parking for bike & car

preferably someone who:
•lives clean

💸 rent: ~26K / person + utilities
👩‍🍳👨‍🧹 cook + cleaning: 3,750 / person / month
🛋️ furniture via Furlenco (~2K pp/month, covered in one-time deposit)
🔐 one-time costs (security + appliances like WM, RO, fridge, TV): ~1L

Please contact - [phone]

📍 available from 17th Jan

[Benjometry @benjometry]

@HeightOptimized SIX SEVENNN

[Malur @aravindmalur]

The signal at the end of raj bhavan road towards racecourse is always on MNL after 8am. Why is this happening? There are many such cases across the city.