Together with my bootcamp colleague we're launching our new service and extension AI for Math on the Product Hunt.

If you have an account there, please help us upvote our launch. Thanks a lot in advance! ❤️

https://www.producthunt.com/posts/ai-for-math

If you want to try it out:
https://aimathproblemsolver.com

It solves math problems instantly, whether it is a text prompt, screenshot, or picture. You can get the quick answer when you’re short on time, step-by-step solution when you want to learn or in-depth explanation when you’re feeling like Einstein.

We’d love your feedback and support! Let’s conquer math anxiety together 😈

A little bit of Portugal's beauty.

Testing the new OpenAI Codex, an autonomous coding agent for GitHub. I’d say it’s a promising tech.

Requires more investigation and testing. But it performed pretty well in both the Kotlin Android project and TypeScript monorepo with Astro while I was sleeping!

Finally, a solid motivation to invest more in a good testing infrastructure (Codex can build it itself in many cases!)

Something new is cooking by the way 😉

In case anyone is planning to purchase IDEA, here is a 20% discount for an IntelliJ IDEA Ultimate personal subscription. I don’t need it myself 🤷‍♂️

Code: 6EWA4-7UL79-YQU36-8RXXE-2J99V

Redeem coupon here before June 30, 2025. If you're not sure how to redeem subscription, please see this FAQ page.

P.S. I guess it's first come, first served, and probably only for one use, so be quick if you want it.

OpenAI ran a 10‑hour live Humans vs AI exhibition at the AtCoder World Tour Finals Heuristic. They pointed an OpenAI reasoning model at the same brutal problem the finalists tackled—no human help, same rules, same clock.

OpenAI achieved second place, completely autonomously.

This is probably the last time in human history that an AI is outperformed by a real human coder.

Details: https://x.com/andresnds/status/1945655797314154762

Omg, I started watching the GPT-5 presentation video and there, the first guy after Sam talks exactly like a ChatGPT itself in the very first seconds 😂😅

Over the past few years, OpenAI has spearheaded the reasoning paradigm. ...

So that's who the model learnt to talk badly from! Something about that really amused me.

Welcome to the post GPT-5 world, btw, folks.

GPT-5 released for API in three sizes for flexibility on cost and latency:
gpt-5, gpt-5-mini, and gpt-5-nano.

New features for more control over model outputs:
- GPT-5 supports a new verbosity parameter to help control whether answers are short and to the point, or long and comprehensive.
- The reasoning_effort parameter can now take a minimal value to get answers back faster, without extensive reasoning first.
- A new tool type added — custom tools — to let GPT-5 call tools with plaintext instead of JSON. Custom tools also can be constrained using context-free grammars for precise outputs.

Some guides and examples to get started:
- GPT-5 API docs
- Prompting guidance
- Prompt optimizer in Playground
- API Cookbook articles: GPT-5 New Params and Tools, Front-End Code with GPT-5
- Front-end UI library

#notes

Amazing Claude Code guide from my friend. If you're a programmer who hasn't tried Claude Code yet (why?!!), now's your chance to change your life forever. No joke.

The guide is in ru, but how many of you reading this speak only English anyway? 🤷🏻‍♂️

ПОЛНЫЙ ГАЙД по работе с Claude Code

Записал эксклюзивно для вас видос почти на час со ВСЕМ моим сетапом клод кода, базовыми инструкциями по промптингу, реальным примером закрытой задачи, настройка нового репозитория, MCP и собственными субагентами.

So, I've been using all sorts of coding agents lately and have some conclusions. Worth reading if you're into this

CLI Agents (the true way, apparently)

✳️ Claude Code - still your primary workhorse, the goat. Expensive, sometimes nerfed and buggy, but the best out there. Especially if you can use Opus. Best in following multiple priorities and reqs. Can integrate in IDEs, but I disabled it. Sub worth every buck

🤖 Codex - new player. Worst CLI UI/UX, worst functionality (no subagents, no custom cmds?). But the sanest model after claude - gpt5. Now does about 10-15% of the job for me. Highly inconvenient limits. Once reached and you locked out for many days! Couldn't commit properly (\n\n everywhere), fixed with prompt lmao

🐙 OpenCode - the rising OSS king. CAN use your Claude and/or GitHub Copilot subs! I repeat: just use Claude Code sub in it! Or gpt5 from Copilot sub! Supports ANY model! Compatible with Claude subagents and commands. BEST subagents functionality atm. I'm starting to use it more and more. However, current access control is either yolo or spam for every bash call. Couldn't set it up conveniently. What am I doing wrong? UX is questionable, but unique and sometimes really thoughtful. Plus it's OSS!

✨Gemini - your super fast crazy giant. Amazing speed, huge context window. But can nuke your codebase in a blink of an eye. Or could start to whinу and ask to kill it 😵‍💫 I use it for 2nd opinion for reviews, and never give it rights to modify anything lol. At least it's free (if u ok to give them ur data for training 😂)

🐲 Qwen - fork of Gemini CLI, but with qwen under the hood. Also, another rising workhorse for me. Solves simple to medium things reliably. Gives nice distinct view in reviews. Testing it in more complex scenarios. Has pretty generous free limits (same concern for data privacy as with google)

IDE Agents

💎 Cursor - top choice for the Q1. Not anymore, though - I cancelled sub. Still the best autocomplete out there, Cursor Tab is pure magic! But who writes code manually now? 😂 Bugbot from Cursor was the best reviewer for me, but pricing model is not suitable. Not fair, I know..

💡Junie and AI assistant in IDEA products - finally, they do their job (after 2 years of uselessness), but nothing really special. Gunie, AI Writing Companion browser extension is in the same subscription and does the best job in browser imo. It's the only real reason to use it (for me), lol

Magical prompting still does its job, but hacks changed a lot from last year, for reasoning models. You can still do triple more if prompting properly, use ADR/SOP, etc. Context management becomes more and more important

My next tries - Conductor, Claude in Zed, more subagentic workflows. What else should I try?

your feelings? wdyt?

@art_of_dev

Gave two talks on droidcon Lisbon a week ago. Both were on topics related to Android development. Nice conference, productive networking. Unfortunately, there are no records

Ping me if you're interested in the presentation. The material for the 2nd one turned out to be especially interesting and insightful

Maybe in Berlin next time? We'll see

One of real trouble why Ru-founders suck is they don’t believe in capitalism.

If I pay my friend startup $100, and he will pay $100 to my startup, we will both have revenue, and traction.

Repeat that with 10 friends and you got $1000 MRR

Repeat that with 100 friends and it is $10,000 MRR

How much can you raise if you have $10,000 MRR? some.

But the issue many folks want to get all for free, discounted, and don’t even pay respect if someone offers something for free just because you like them

Wanna try some new agentic browsing experience?

Got access to Comet — AI browser from Perplexity. It is invite-only, so I'm sharing with you.

Here is a first invitation:
https://perplexity.ai/browser/claim/PK37V8K37R

dm me if it's already taken and you need more (I have 5 invites total)

ngl, I'm still staying on abandoned Arc, but it's nice and insightful to play with Comet. If your main browser is a usual Chrome — it can be immediately better and more powerful!

@art_of_dev

So, if you haven't seen it yet, OpenAI has released Sora 2, its latest video generation model. It directly competes with Veo3 thanks to its sound generation capabilities and decent physics and world understanding. Overall, it's a very interesting model to experiment with.


My two cents:

• It's an incredibly powerful tool for indie hackers, builders, and founders of all kinds.

• Absolute wild powerhouse (similar to Veo3!) for testing ads, marketing, and any potentially viral ideas for reels, stories, or anything creative.

• If you are building smth, or looking to marketing — definitely experiment with it and see what others are doing.

• It's crazy, absolute AI slop garbage and mostly, mind-melting brain rot 😂

• But you can learn hell a lot. Focus on possibilities, not on melting your brain! Stay safe, bros and gals 💪😁

• Acrobatics and other complex motions are still the ultimate test. Every current video generation model is bad at this, including Sora2 and Veo3. But most people can't tell the difference already.

• There is NO official API for Sora2 yet! All integrations are unofficial hacks, at this moment, so be careful.

• Every generated video has animated visible + invisible Sora watermarks

• Sora has a TikTok-alike iOS social app — only accessible with an American or Canadian apple account.


✨INVITE to SORA 2✨

Official usage is INVITE ONLY!
It's becoming a nice tradition - I want to share with you.
There are 2 slots available with my code: => KN0W5B <=
If you use it, pls share your own invite code in the comments below to include more people!

How to use:
1. Turn on your American VPN
2. Go here: https://sora.chatgpt.com
3. Log in with your Free/Plus/Pro account
4. Enter working invite code
5. Generate anything! ✨

More invites:
You can find more invites on Telegram (ru!) where people share their invite codes.
Rules are simple:
1. take one code
2. get access
3. share your own invite code below in comments AND in the thread where you took it
4. PROFIT, everyone is happy 🕺

Invite sharing threads:
- https://t.me/seeallochnaya/2964
- https://t.me/voicestuff/1082
- https://t.me/mobile_ads_ai/1054

P.S. I'll post more generated examples in the comments.

@art_of_dev

Ok, Sora 2 is officially in the API ($0.1-$0.5/sec)

GPT-5-Pro is too, but it's too expensive to be used on average anyway ¯\_(ツ)_/¯

But what's really huge is the new OpenAI Apps SDK. Now you can embed your own web app in ChatGPT. It understands every piece of context and every user action, allowing for seamless, smart usage, whether textual or voice-controlled.

It's sort of a much more powerful version of custom GPTs. Chat will now automatically recommend the most relevant apps. This opens up ChatGPT as a real, full and powerful second-layer app market. It's already integrated with payments to some extent, so I think there'll be a revenue-sharing with OpenAI. But it's a new market and a new source of traffic for us all. A brand new platform has just been born.

Live was here
https://www.youtube.com/live/hS1YqcewH0c?si=zzkFyo5KzqPKb7pU&t=1237

@art_of_dev

Sometimes, you can feel so down, lost and powerless, with no energy or focus. But reviews like this always uplift me and help me to move forward, even if it's just one small step at a time ☺️

Building something and feeling that people really appreciate it is one of the most wonderful feelings I've ever experienced!

@art_of_dev