Alex Martin

113 posts

Alex Martin banner
Alex Martin

Alex Martin

@alexmartindev

Katılım Ağustos 2009
356 Takip Edilen52 Takipçiler
Alex Martin
Alex Martin@alexmartindev·
@mitsuhiko We promise to ourselves we won’t do it again but we will do it again. PS: at BER now boarding a flight at 7am so had to wake up at 4am to get here on time 😅
English
0
0
1
115
Armin Ronacher ⇌
Armin Ronacher ⇌@mitsuhiko·
Why did I take a 6:50 morning flight to London. I'm already regretting it.
English
13
0
55
18.7K
Alex Martin
Alex Martin@alexmartindev·
@dieworkwear So cute! By the way, is there a derek guy for interior decoration... but for humans? Would love to follow them. Thanks!
English
0
0
6
545
derek guy
derek guy@dieworkwear·
i like these home details designed for pets IG meredithsterninteriors
derek guy tweet mediaderek guy tweet mediaderek guy tweet mediaderek guy tweet media
English
48
243
4.6K
141.1K
Alex Martin
Alex Martin@alexmartindev·
@mitsuhiko Your secret is safe! 😂 It also happens to us involuntarily in the last hours of the morning. Another sign of European civilizational decline I guess.
English
0
0
0
137
Armin Ronacher ⇌
Armin Ronacher ⇌@mitsuhiko·
We raised three babies without ChatGPT. AMA
English
8
2
62
6.7K
Mitchell Hashimoto
Mitchell Hashimoto@mitchellh·
Well, it has happened. Ghostty on macOS now has search. This is now in tip releases, I'm certain there's a bunch of polish and bugs to work through over the next months, but more than enough time for it to be rock solid for 1.3 next year. GTK to follow soon. Gobble, gobble. 🦃🦃
English
118
106
2.6K
221.3K
Alex Martin
Alex Martin@alexmartindev·
@mitchellh @CodexHere Sorry for the newbie question but how do you use fzf to search the terminal? Do you dump it somewhere?
English
1
0
0
414
Mitchell Hashimoto
Mitchell Hashimoto@mitchellh·
@CodexHere I think fzf is better nowadays than less, but yeah, I don't use this feature.
English
3
0
30
3.7K
Alex Martin
Alex Martin@alexmartindev·
@andrewcairns Sort of like a request id used for tracking across systems/apis
English
0
0
0
60
Andrew Cairns
Andrew Cairns@andrewcairns·
I'm an advocate for giving every event a Correlation ID copied from the command that caused it. OrderAccepted → OrderPaid → OrderShipped All share CorrelationId: "ABC123" Now you can... 👇
English
4
1
9
662
json
json@JsonBasedman·
Slack is becoming so ran thru. MS Teams is a non-starter. Discord is gamer slop. I just want channels, threads, and DMs. Like nothing else. Why does every product tend towards slop like this?
English
442
62
3.2K
260K
Alex Martin
Alex Martin@alexmartindev·
@GergelyOrosz More unmaintainable, error prone code with bad architecture? 🫣 At the same time, additional pressure from short-term thinking managers who don’t understand these things to pile more of this code on top
English
0
0
2
256
Gergely Orosz
Gergely Orosz@GergelyOrosz·
None of the above changes with AI tools generating code. So if AI tools can generate code faster (and more of it with less effort), ask yourself: what will happen?
English
17
9
272
12.9K
Gergely Orosz
Gergely Orosz@GergelyOrosz·
"Fundamental" truths about software: - Code is liability - The more code you have, the more bugs you tend to have - The more complex a system, the more important architecture becomes - Writing maintainable code is a lot more effort than just getting it to work
English
64
346
3K
133.6K
Sumit Kumar
Sumit Kumar@TweetsOfSumit·
Zum ersten Mal in meinem Leben brauche ich eine KFZ-Versicherung. 🚗💥 Welche ist unkompliziert, preiswert für Ersties und empfehlenswert?
Deutsch
26
0
14
13.4K
Tomas Votruba
Tomas Votruba@VotrubaT·
@alexmartindev @symfony Thanks 👍 Got a prototype running, already found 20~ duplicates. Next step: exclude the paths in ->excludes(...) 😊
English
1
0
1
45
Tomas Votruba
Tomas Votruba@VotrubaT·
This is something for @symfony geeks like me 😂 What if we had a #phpstan rule, that checks $services->load('App\\') namespaces Then checks explicit service registrations: $services->set('App\SomeService'); And then reports "App\SomeService" as a duplicate?
Tomas Votruba tweet media
English
1
1
2
1K
Alex Martin
Alex Martin@alexmartindev·
@dhh We are allowed to ban a candidate who explicitly and repeatedly said he is going to do things that are against our constitution. It's an extreme measure, and it should not be done very often, but it is legal and every country has certain safeguards like this.
English
0
0
0
2
DHH
DHH@dhh·
While the EU busies itself with a collective freak-out over the vague potential for interference presented by X and Elon, one of their actual member states just canceled an election where the wrong candidate won, then barred said candidate from running. Absolutely crazy.
Philippe Lemoine@phl43

The document in which the Romanian Constitutional Court justifies its decision to bar Georgescu, who already won the first round of the presidential election in December and was running ahead of everyone else in recent polls by a wide margin, from running for president is one of the most insane things I have ever read. The text is very confused, the translation probably doesn't help, but the argument the Court seems to make is that, in deciding whether someone can run for president, it has to check whether that person would threaten the country's constitutional framework if he were elected and it claims that Georgescu will not defend democracy. The only argument it gives to justify that claim is that the very same Court previously annulled the first round of the presidential election that Georgescu had won, which means that he didn't respect the electoral procedure and in turn this ipso facto demonstrates that he violates the obligation to defend democracy 🙃 But the December ruling to which it refers, which annulled the first round of the election, mostly didn't talk about Georgescu's alleged violations of electoral legislation to justify the decision, but instead made ridiculous arguments based on what supposedly happened on social media during the campaign, such as the claim that "equality of opportunity" was not ensured on social media due to the "exploitation" of algorithm. (Of course, even putting aside that such a claim is so vague as to be meaningless, this argument is preposterous since, by the same logic, one could justify cancelling literally every election in history because "equality of opportunity" has never existed anywhere in the traditional media either. Do people think, for instance, that the traditional media treat every candidate equally well? There is no principled difference here.) The only accusation made specifically against Georgescu in the December ruling is that he violated the electoral legislation by failing to disclose payments his campaign had allegedly made on social media, but the only evidence the Court cited in support of that claim was a report declassified by the Minister of Internal Affairs after the first round of the election, which claimed that Georgescu had benefited from a social media campaign that wasn't properly marked as electoral advertisement. However, although the document in question did note that Georgescu had not declared any spending on electoral campaigning (which is obviously suspicious), at no point did it claim that his campaign had paid for those social media posts and in fact evidence has since then surfaced that the social media campaign in question was paid for by the liberal party! (Let's put aside, because that's not truly relevant, the fact that even if Georgescu's campaign had in fact been behind that social media campaign, the idea that a $1 million dollar campaign on TikTok can swing millions of votes is nothing short of ridiculous. If this were true, the guys behind Georgescu's online operation should quit their current job, whether it's in the Kremlin or somewhere else, to create their own political advertisement company because they're apparently the most effective people in the field anywhere in the world by a very wide margin.) So the Constitutional Court barred from running for president the candidate who, according to the polls, was bound to win in a landslide, by arguing that its own decision to annul the first round of the election last December, justified by insane arguments about the general context in which the election took place and an accusation against that candidate for which it produced no evidence, showed that he could not be counted on to defend democracy 🤯 I'm sorry but this is nothing short of a legal coup and a denial of democracy. Anyone who defends that decision while claiming to support democracy and the rule of law is a clown. This is the same kind of arguments that dictatorships around the world use to prevent "dangerous" candidates from running and the fact that so many people who constantly pose as defenders of democracy are currently applauding the Court's decision speaks volumes about how deep their commitment to democracy actually runs.

English
114
84
1.1K
124.7K
Gergely Orosz
Gergely Orosz@GergelyOrosz·
So it’s official: until something changes in the future, accounting-wise the US is the most hostile place to start a software startup/small business. The only country in the world where developers’ salary cannot be expensed the same year: but needs to be amortised over 5 years.
James Patrick Flanagan@PatrickFIanagan

The tax bill is dead. No retroactive 174 fix will happen. Keep lobbying so it whoever controls Congress after the election has it front of mind in the big tax rewrite of 2025.

English
42
167
1.6K
543.6K