Idan 🚀

CTO @ SLED AI | Unlocking government revenue for B2B companies.

[Idan 🚀 @IdanP70]

Wow

[Omri Weinstein @WeinsteinOmri]

Even @OpenAI's recent Erdős breakthrough didn't convince me that LLMs can do general math research. This changed my mind..

Using a clever 'prover-verifier' LLM loop, this harness solved 9 substantial open problems in Theoretical CS, including one that kept me up at night for 2 years.

Incredible work by my former Columbia collaborator @binghuip, @runzhou_tao, Steven Wang & @HantaoYu_Theory.

The plan is to expand this to ALL fields of science. Stay tuned.

[Idan 🚀 @IdanP70]

@__boaz___ @mluggy @Spotify תרחיב

[Idan 🚀 @IdanP70]

Very nice

[Massi — oss/acc @0xMassi]

.@levelsio I code from my phone now because of your post. Wrapped the whole setup into one command.

pocketdev:
• Hetzner box running your AI CLI (Claude Code, Codex, Cursor, Gemini…) on your own subscription
• Tailscale-only, empty Hetzner firewall, nothing inbound
• code from your phone, keeps going all night
• `pocketdev publish` ships a live URL out through a Cloudflare tunnel

Free + OSS. Am I missing anything in the config?
https://t.co/9IbfUQPRHO

[SaharC @SaharCarml]

פעם בסדנאות שהייתי מעביר הייתי מנסה לשערך מה החברה עושה ביום יום מבלי להיכנס לה לדאטה או למחשבים ובונה איתם פיצר בלייב.

היום אני פשוט מבקש מהחברה מהביא לפטופ עם קלוד קוד וטיקט מהמערכת ניהול משימות שלהם ואנחנו פותרים את זה יחד. רק שבוע שעבר בנינו קומפיילר למעבדי arm לחברה שכבר שנתיים יושב לה טיקט פתוח על זה.

ועכשיו אין יותר בעיות של, זה עובד לו בגרין פילד אבל הקודבייס שלנו פרח מיוחד

[Idan 🚀 @IdanP70]

@netadror מגניב!

[Idan 🚀 @IdanP70]

@yairwein בנינו הארנס ייעודי לכל "עובד" שיצרנו, אחד סביב פיתוח עסקי, השני סביב outreach שסוגר לנו פגישות כמעט אוטונומית, שניהם נבנו על פאי, שניהם הוכיחו את עצמם, ממליץ בחום

[SaharC @SaharCarml]

Everyone’s missing the next app store opportunity: plugins.

I’ve spent the last 4 months building a plugin people are actually paying for. $19/month, 110 weekly active users, and 30% of them paying. Five things most founders are missing:

1.Building full platforms or end-to-end solutions puts the financial burden on you. Plugins let users bring their own usage, which is more profitable for both sides.

2.Power users don’t want to leave their terminal, or wherever they already love working.

3.Supercharging users with powerful tools is worth real money to them. We assume building is the only path, but we’ve entered a phase where power users want shelf software.

4.Product feedback is everything. Open source plugins are easy to install but hard to update, and give you little insight into what users actually do or how to improve.

5.Distribution and breadth of tooling is a pain to get right. Which is exactly why it’s a moat.

[Idan 🚀 @IdanP70]

@ketacode אהבתי מאוד

[Idan 🚀 @IdanP70]

@AmKeisar חחחחחח יפה

[Idan 🚀 @IdanP70]

Long story short 👇

[GREG ISENBERG @gregisenberg]

The most valuable skill sets on the planet right now:

1. people who can set up agents properly, manage them, and run local AI models
2. marketers who know how to build distribution
3. robotics engineers who can do all three: build the hardware, wire in the AI, and source manufacturing etc
4. curators who are good at yapping and can do short form video in their sleep
5. the builder-distributor. The one person who can both ship the product AND get it in front of people
6. IRL community builders

[Idan 🚀 @IdanP70]

@AmKeisar מגניב

[Guillermo Rauch @rauchg]

One of our most requested features, longer Vercel function runtime, is here.

What looks like an innocent tweak of a constant… is actually the conclusion a multi-year compute platform investment.

Builds, Sandbox, and now Functions run on our homegrown microVM-based Fluid compute infrastructure.

This investment has enabled innovations like function multi-concurrency, Active CPU pricing, and Secure Compute for private connectivity to existing cloud workloads… with lots more to come, in fact, in the coming days and weeks 😎

[Idan 🚀 @IdanP70]

Very cool

[Daniel Beauchamp @pushmatrix]

Everyone's talking about AI-generated HTML.

But have you tried giving your sites a zero-config API for saving data, file storage, AI, websockets, etc?

We did this at Shopify. Runs on a single VM that costs $200/month, and it's changed the way we work.

We call it Quick 👇🧵

[Idan 🚀 @IdanP70]

@esapir אם אתה הולך למסעדה תבקש שולחן מול המטבח, מופלא

[Idan 🚀 @IdanP70]

@esapir Glasswing מסעדת מישלן וואו
פארק שעשועים בוינה שנקרא פרטר או משהו כזה, כיפי ממש
יש סצנה מגניבה של מועדוני גאז אם מעניין אתכם
שוק איכרים כזה גם כיפי

[Idan 🚀 @IdanP70]

True

[antirez @antirez]

Opus 4.8 is a total disaster. The problem is not the model per-se, they have Mythos and can anyway train a better model. The problem is: what is it happening inside Anthropic, at the management level? Since this is a product failure. If there was a technological issue NOT delivering is better.

[Idan 🚀 @IdanP70]

@idoivri מדהים

[Idan 🚀 @IdanP70]

@shilomagen איזה מכונה אתה ואיזה מכונה בניתם, כבוד גדול

[Idan 🚀 @IdanP70]

Great video

[steijnpelle @steijnpelle]

Today, we're introducing Lassie and $47M in funding led by a16z.

We're building AI that runs small businesses, starting with doctors' offices.

Lassie is already trusted by 700+ practices across the country, working autonomously to provide them with 30 hours of labor per month.

To get here, we first had to leave Robinhood and Superhuman to work in offices ourselves.

Here's how that went.

[Idan 🚀 @IdanP70]

@mluggy @mixtiles מחכים לרכישה