Martin Rauscher

@windsurf Seems the majority of users wasn't actually *using* your product then. ONE large-ish Opus 4.6 Prompt and my daily usage is used up and 50% of my weekly usage too. Great...

We're simplifying Windsurf pricing across Free, Pro, and Teams alongside launching a new Max plan for our power users. The new plans replace credits with industry-standard daily and weekly quotas. For the majority of users, this will be enough to fully cover all agent usage. If you’re a paying subscriber, your price isn't changing, and we're including a free extra week to try the new system before you commit.

@windsurf the SWE+Opus Plan-Mode is cool, but why is it 4.5? I want 4.6 thinking

@AryanJabbari @Nigh8w0lf @fynnso x.com/bigeagle_xd/st…

@Nigh8w0lf @fynnso I don't know about that. x.com/bigeagle_xd/st…

was messing with the OpenAI base URL in Cursor and caught this accounts/anysphere/models/kimi-k2p5-rl-0317-s515-fast so composer 2 is just Kimi K2.5 with RL at least rename the model ID

@PatrikGayer @AleksBoskovski @MarvinTBaumann actually neither is true. You don't have to incorporate in the other country in the EU, you just need to register there and of course follow local labour laws. Which is mostly the same in the US.

@Hades32 @AleksBoskovski @MarvinTBaumann Good point. So today in the EU if you want to hire folks in another locality, you have to incorporate locally and then follow all rules, pay taxes etc. Whereas in the US, there is no such admin burden on the company, and employees just pay different tax rates.

My opinion on the European Commission's proposal for an "EU Inc": We are getting the icing, without the cake. We asked for structural reform, for a genuine 28th regime. Draghi asked for a 28th regime. Letta asked for a 28th regime. The Council asked for a 28th regime. We got 27 new national forms instead. Each in their local ecosystem, local courts, and only partial harmonization, with *some* genuinely appreciated goodies. But I fear these goodies won't be consequential. Because this was always about building something that is better than Delaware. If we can't manage that Europe's best and brightest will continue founding outside of Europe, will move elsewhere, take capital from elsewhere and create jobs and growth elsewhere. Europe deserves better than this. And we frankly cannot allow unambition and political complexity to hold us back from building the Europe we need. If the EU and all 27 member states cannot deliver a true EU–INC, then we might need to build a coalition of genuinely ambitious European countries that are actually serious about fixing Europe. Why should a damn EU Court - that apparently is "too hard" to implement - keep us back from reaching global competitiveness and technological sovereignity in Europe? It shouldn't. European founders, investors and everyone who cares about Europe need to step up now and lobby their national governments and MEPs for a real EU–INC. Nobody else will do it for us. Clearly. Watch Lambertus Robben of @EU_Made_Simple analyse the "EU Inc" proposal by the Commission below. This is spot on. We can do better. For Europe. 🇪🇺🫡

@PatrikGayer @AleksBoskovski @MarvinTBaumann Only if the EU were to force its members to abolish their own taxation rules, at least in regard to that company form. Like, you already can do the same thing, but if you live e.g. in Germany, work from there, then Germany will tax that company

@AleksBoskovski @MarvinTBaumann Right. You could set up the e-residency thing, spin up a ‘EU-INC’ and work from anywhere while enjoying Estonia’s super low taxes and the benefits of EU-INC at the same time.

@T_Zahil The cheese and the view from your window are just perfect! Gotta visit France again 😍

My monthly cost of living in France 🇫🇷 🏠 1,400€ loan for the appartment 🥗 450€ food, organic only, with meat fish etc 📦 300€ average for various expenses (bars, orders, etc) ⚡160€ electricity + gaz 📱 45€ phone + internet 🚌 17€ average for transportation Total: 2,372€/month

@Lurchi__ @AlesBuildsStuff @EU_Commission I'll believe it when I see it. It would basically require harmonizing tax law, so yeah...

@AlesBuildsStuff @EU_Commission Thats why there will be the "28th regime" europarl.europa.eu/thinktank/en/d…

We are introducing EU Inc. To make building and growing a business across the EU faster, simpler, and smarter. 🔸 Start a company in less than 48 hours 🔸 No minimum capital requirement 🔸 Fully online and borderless

@josevalim @geoff_l It's crazy that the .com registrars still allow mixed character sets in domain names. There's absolutely no usecase for that that's not malicious

So I decided to double check and you are right. They are actually using caIendly.com, with an uppercase i instead of l, but the way Twitter displays it in the OAuth App page does not make it clear (see screenshot below). Twitter should probably normalize the domain name or use a font that makes confusables less likely.

Oops, my Twitter account was temporarily hacked. Yesterday someone reached out to me, saying they were from TechCrunch, and wanted to do an interview about fault tolerante languages/agents. I checked the profile, it looked active, had followers, so I said sure. This happens from time to time and nothing looked out of the ordinary. Then they sent me a link to schedule it, which fully resembled Calendly running on a subdomain. I chose a time and then, here is what I did wrong, it asked to confirm my identity via Twitter auth. I found it weird but it sounded plausible, the Twitter App had the Calendly brand and domain (I guess the domain is not verified upfront), so I went ahead. I have revoked access now. There is a GitHub repository but those commits are not mine: you can fake anyone's commit on GitHub by just using the email. Thanks for everyone who reached out and immediately noticed that the whole crypto talk wasn't me. I'm hoping sharing this helps the next person. I am currently reviewing OAuth permissions on all apps I use, just to be double sure I did not make a similar mistake elsewhere.

I made a 4D god's eye replay of the Iran strikes using public OSINT data. When I turned on the orbital layer in worldview something jumped out. You can see satellite passes stack up over the strike zones in the hours before & after impact. Everyone was watching. Some of them were overhead before it started. American KH-11s and TOPAZ SAR. Russian BARS-M and Persona. Chinese Gaofen optical and SAR. Maxar WorldView Legion. Airbus Pleiades. Capella. ICEYE. That's textbook behavior -- you collect right before for targeting, you strike, then you collect again for battle damage assessment. Just wild to see it all replayed in 3D like this. The commercial constellation density is also striking. What used to be exclusive nation state capability is now mirrored by half a dozen commercial operators. The intelligence monopoly is over.

@_lhermann @lks_kln that process should be tax-neutral under UmwStG

@_lhermann @lks_kln Maybe I misunderstood. This sounded like you do Stagetimer -> Stagetimer GmbH, then found new HoldCo GmbH, and then move(?) Stagetimer GmbH into HoldCo GmbH. Wheras my suggestion was Stagetimer -> HoldCo GmbH -> carvout Stagetimer into Stagetimer GmbH

Next week I'll do a big step for Stagetimer, turning it into a real corporation. I'm scared of it and have been pushing it for years. But now it's time to face German bureaucracy. It's save some taxes and limit legal liability. Wish me luck!

@_lhermann @lks_kln Why is that better than making this GmbH the HoldCo and as a second step move the stage timer assets into an OpCo?

@lks_kln This is step 1. Step 2 is moving Stagetimer GmbH into a holding. You can still do it tax free I think, but it comes with a 7-year lock on selling the company.

@josevalim @edmz Down. Http 502

@edmz It is working for me :S Anyone else sees it down?

Most people treat the static vs dynamic debate as a foregone conclusion, but in practice type systems restrict the expressive power of programming languages in ways that leak complexity to developers. New article: Type systems are leaky abstractions — the case of Map.take!/2

@lidl was ist aus den Kraftprotz Riegeln geworden? :(

@Scaleway your new pricing is a bit confusing. PRO is cheaper while offering *more*?

@adymitruk That's super cool. What's your track record? Have you ever written about it somewhere?

@Hades32 Yes

The "Linux" Reality ​It is important to note that the ASUS Ascent GX10 runs NVIDIA DGX OS (a specialized version of Ubuntu Linux). This is a professional-grade environment. Traders accustomed to Windows-based retail platforms (like ThinkOrSwim or Interactive Brokers TWS) will need to adapt their workflows. The typical setup involves: ​Development: Python (JupyterLab) running locally on the GX10. ​Execution: FIX Protocol engines (such as QuickFIX) running on the GX10, connecting directly to broker APIs (e.g., IBKR Gateway, Lime, or institutional prime brokers). You will only see more and more of this. No Windows. No MacOS. If you're interested, I can share how I'll be using the unified memory for real-time trading that you can't get from regular GPUs and CPUs.

@Bwatson Are you rebuilding AWS???

hard to believe it took a non-sentient almost AGI LLM to make me feel seen in my new identity. From Claude Insights: "You operate Claude Code at an extraordinary scale, with over 10,700 sessions and 100,000+ messages across roughly six weeks, generating over 9,000 commits. This is not casual usage — you're running what amounts to an industrial-grade autonomous coding operation. Your dominant pattern is delegating large, multi-phase workplans to Claude and letting it execute with minimal interruption."

@josevalim I bet that one reason why LLMs are so good at it, is that there's very few bad Elixir out there compared to other languages

Very suspicious that OpenAI and Anthropic both dropped major announcements within hours of me publishing this: dashbit.co/blog/why-elixi… They want to silence it. Don't let them. Read it twice. Share it with your colleagues and friends.

@remarkablepaper This is not an issue with my device. It's a fundamental issue of how you built this software

@Hades32 Hi Martin! We're sorry to hear you’re running into an issue with your reMarkable. Please raise this with our technical support team and include any photos or videos showing the problem so we can assist you as soon as possible: tinyurl.com/rMContactUs

@remarkablepaper how am I supposed to use the desktop app's text feature? I just want to write some notes next to what I drew on the tablet, and now EVERYTHING MOVES. It's like Word 95 :,(