devknives

Soy Edu. Te enseño a usar tecnología moderna para programar mejor, automatizar más y construir proyectos reales.👾

[devknives @devknives]

@real_ita3 Where is the evidence?

[devknives @devknives]

Los creadores de Insforge acaban de sacar la funcion de pagos!!

Ahora podeis implementar pagos en vuestros SaaS / aplicaciones solamente pudiendoselo a su MCP

me parece brutal

[InsForge @insforge]

Introducing InsForge Payments.

Your coding agent can now set up Stripe payments for your app using InsForge.

Describe your pricing and watch it create products and prices in Stripe, add checkout, and set up billing portal sessions.

Test first. Go live when ready.

[devknives @devknives]

insforge to the moon

[InsForge @insforge]

Introducing InsForge Payments.

Your coding agent can now set up Stripe payments for your app using InsForge.

Describe your pricing and watch it create products and prices in Stripe, add checkout, and set up billing portal sessions.

Test first. Go live when ready.

[devknives @devknives]

Just upgraded my #InsForgeLaunchWeek 2 ticket!
Made it into the @insforge Hall of Fame 🏆 https://t.co/3gnCSCKvxD

[InsForge @insforge]

Introducing InsForge Payments.

Your coding agent can now set up Stripe payments for your app using InsForge.

Describe your pricing and watch it create products and prices in Stripe, add checkout, and set up billing portal sessions.

Test first. Go live when ready.

[Erick @ErickSky]

En coding, MiniMax M3 es igual a GPT-5.5

En uso del terminal, igual a Opus 4.7

Los que eran los paladines del Open Source dijeron que este día nunca iba a llegar.

Pues ese día ya llegó.

[devknives @devknives]

tocará probarlo!!

[MiniMax (official) @MiniMax_AI]

Introducing MiniMax M3: The First Open-Weights Model to Combine Three Frontier Capabilities

- Coding & Agentic Frontier: 59.0% SWE-Bench Pro, 66.0% Terminal Bench 2.1, 34.8% SWE-fficiency, 28.8% KernelBench Hard, 74.2% MCP Atlas
- MiniMax Sparse Attention scales context to 1M
- Natively Multimodal from Step Zero

API: https://t.co/fHRdSV7BwZ
Token Plan: https://t.co/BDCycxepZw
🚀New! MiniMax Code: https://t.co/GvB4YiB6Ul

Weights & Tech Report in ~10 Days

[devknives @devknives]

@Nekodificador estoy desarrollando algo similar en mis ratos libres😳😳

[devknives @devknives]

Ya está aqui!!!

[Claude @claudeai]

Introducing Claude Opus 4.8: it builds on Opus 4.7 with sharper judgment, more honesty about its own progress, and the ability to work independently for longer than its predecessors.

Available today at the same price.

[Claude @claudeai]

Introducing Claude Opus 4.8: it builds on Opus 4.7 with sharper judgment, more honesty about its own progress, and the ability to work independently for longer than its predecessors.

Available today at the same price.

[Xiaomi MiMo @XiaomiMiMo]

🚀 Better inference efficiency, lower costs, broader access.

MiMo-V2.5 Series API pricing is now permanently reduced — by up to 99% compared to previous pricing.
✨ Unified pricing across all context lengths.
MiMo Token Plans have also been upgraded:
• 5–8× more usable tokens at the same price
• Simpler and more transparent billing rules
🎁 As a thank-you to current users, all current Token Plan credits will be fully reset.
🎧 MiMo-V2.5-TTS remains free for a limited time.
⏰ Effective May 26 at 6:00 PM PDT.

These improvements are powered by continued inference optimization and serving efficiency upgrades across the MiMo stack.
🛠️ We’ll also publish a detailed technical blog on the inference optimizations later — stay tuned.

[@levelsio @levelsio]

I don't write code anymore

I haven't written code in I think 6 months?

I think everyone is like this no?

[DeepSeek @deepseek_ai]

We are making our discount permanent! 🎉

Enjoy building with DeepSeek-V4-Pro and bring your innovative ideas to life! 🚀

[devknives @devknives]

¿Creéis que tengo un problema?

[OpenAI @OpenAI]

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.

For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.

An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.

This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

[devknives @devknives]

@686f6c61 @patowc jajajajaj lo seee, y coincido con tu opinión

[devknives @devknives]

@miguelfunnels muchisima suertee!

[devknives @devknives]

@MartinPulitano haz tutoriaal

[devknives @devknives]

Acaban de crear un lenguaje de programación para que lo usen los agentes!!

[Chris Tate @ctatedev]

Introducing Zero

The programming language for agents.

I wanted a systems language that was faster, smaller, and easier for agents to use and repair.

Explicit capabilities. JSON diagnostics. Typed safe fixes.

Made for agents on day zero.