Myrmornis

7 ms·

91.
by Myrmornis 1y ago
I understand you'd like to believe that. But it looks like you're simply wrong. For example, here is the translation produced by Google Chrome of the Chinese version of the page on Bezout's Theorem. https://zh.wiki
92.
by Myrmornis 1y ago
You shouldn't respond lazily like that. The point is that the quality of a wikipedia page is positively correlated with the number of editors working on it.
93.
by Myrmornis 1y ago
Agreed. I'm the author of a fairly popular dev environment project. Every so often you get people turning up enraged because I chose a name that some other project once used. In the situation I'm talking about it makes even less s
94.
by Myrmornis 1y ago
I wonder whether it will have a flat namespace that everyone competes over or whether the top-level keys will be user/project identifiers of some sort. I hope the latter.
95.
by Myrmornis 1y ago
For some subjects, it's appropriate to host multiple versions of articles written natively in different languages. But for other subjects, for example science and mathematics, it does a huge disservice to non-English readers: it means
96.
by Myrmornis 1y ago
Remember that in Europe and the UK people don't have access to the type of dryers that Americans use that actually ... get clothes completely dry in a reasonable time period. In fact those sorts of vented dryers that make Americans thi
97.
by Myrmornis 1y ago
We need to pay teachers more if we're to effectively have this conversation.
98.
by Myrmornis 1y ago
Yes fair enough my wording wasn't great. And we can add cpython to your list... But the provided type stubs for those libraries make the resulting user experience the same as if they had types. Does Django ORM have a good typing experi
99.
by Myrmornis 1y ago
In the case of Claude Code the hook feature is ideal for this so I could imagine the designers deciding that it is more appropriate to put the user in control. That said I think I do agree with you that -- given Python's fairly unique
100.
by Myrmornis 1y ago
Python has static typing unless you don't add any types. The vast majority of reputable Python codebases nowadays use static typing rigorously. If you don't, you should. To enforce it when coding with an agent you can either tell
101.
by Myrmornis 1y ago
If I were to stop using tmux, the things I would need to replace are: 1. zoom-pane (temporarily make one pane be the only pane) (also can someone please add this to vscode!) 2. keybindings to navigate focus between panes according to their
102.
by Myrmornis 1y ago
This looks exactly like something that I've been saying to myself that I want! Installed, and already used to transcribe two meetings. At the moment I think that I'm going to carry on using this. Keep going, it looks great!
103.
by Myrmornis 1y ago
You can hide all sidebars in vscode and you don't have to use any AI chat features.
104.
by Myrmornis 1y ago
I think if you can't be bothered to configure a text editor then the genre isn't really for you.
105.
by Myrmornis 1y ago
A lot of people don't realize that you can completely change the vscode UI. All the side bars in particular - just get rid of them. You're left with a blank screen on which syntax-highlighted code appears with LSP and either the
106.
by Myrmornis 1y ago
I symlinked my vscode settings into the cursor config directory and the transition was strictly additive; everything worked exactly the same as before, with two exceptions so far: a .NET extension wasn't supported, and Cursor recently
107.
by Myrmornis 1y ago
If the post is to be taken at face value, they weren't "vibe coding", they were trying to implement an agent: > Instead, I jumped into building my Langchain backend agent first and completely messed up the code for tool ca
108.
by Myrmornis 1y ago
I appreciate that this topic has been permitted to stay on the HN front page. It has been utterly horrific watching the barbaric and inhuman behavior of Israel. I have no idea how we are supposed to ever respect or forgive our own states th
109.
by Myrmornis 1y ago
Lack of comments seems like a big one seeing as it's so widely used for "configuration". It's a big enough downside that VSCode and others have violated it via ad-hoc extensions of the format. The comma rules introduce d
110.
Show HN: Useful tool designed and written by Gemini 2.5(github.com)
3 points by Myrmornis 2y ago|0 comments
111.
by Myrmornis 2y ago
I'm interested in creating animated technical diagrams. I'm looking for something high level that would allow rapid progress on prototyping a diagram. Perhaps vaguely analogous to manim, but either native JS or producing lightwe
112.
by Myrmornis 2y ago
Nice looking project! The page in one place says it's opinionated and in another place says it's unopinionated. (I guess that means it's unopinionated :) ).
113.
by Myrmornis 2y ago
It's often both useful and appropriate in Dockerfiles.
114.
by Myrmornis 2y ago
My experience has generally been that a group of intelligent adults are capable of both planning and steering the course of their development efforts as well as carrying out those development efforts. It's not unprecedented, or a parti
115.
by Myrmornis 2y ago
I'm sorry you're saying people think agricultural fields are natural vegetation?
116.
by Myrmornis 2y ago
It's as the sibling post says: "alive vs not alive" and "same species vs different species" are just human concepts that we attempt to shoehorn biological reality into. There's nothing about biology itself that
117.
by Myrmornis 2y ago
I agree with your overall point, and your despair at software engineers who are still refusing to acknowledge the value of these tools during the process of writing code. However > A better auto-complete is almost useless. That's no
118.
by Myrmornis 2y ago
In my experience a lot of it is (d) defaulting to criticizing new things, especially things that are "trendy" or "hot" and (e) not liking to admit that one's own work can partially be done by such a trendy or hot th
119.
by Myrmornis 2y ago
It does seem like their mainstream products are as tastelessly managed as ever. But in the (small?) corner of developer products they've been pretty good: Typescript, VSCode, .NET/C#/F#, LSP, Lean are all great and very influ
120.
A new operation: Workflow Update(temporal.io)
8 points by Myrmornis 2y ago|0 comments

More ›