xpe

21 ms·

211.
The Pain of Real Linear Types in Rust (2017)(faultlore.com)
1 points by xpe 9mo ago|1 comments
212.
by xpe 9mo ago
> I don’t see a world in which our tools (LLMs or otherwise) don’t learn this. I agree, but maybe for different reasons. Refactoring well is a form of intelligence, and I don't see any upper limit to machine intelligence other than
213.
by xpe 9mo ago
I'm sorry that other person spoke to you that way. The vast majority of us aren't like that. I appreciate your comments!
214.
by xpe 9mo ago
> These bugs have existed for so many years I've 100% given up on Nushell. First, at least some of the issues linked have been addressed. Second, they don't strike me as severe. So, all in all, the above take seems like an exag
215.
by xpe 9mo ago
Looks like https://github.com/nushell/nushell/pull/13515 fixes https://github.com/nushell/nushell/issues/8206 .
216.
by xpe 9mo ago
Please take this with a dose of humor (with which it is intended) ... I wonder if part of you prefers to not see Nushell for yourself? This is totally understandable; in the face of too much information, cutting off branches of investig
217.
by xpe 9mo ago
> Every prompt is a run of probability - It’s at the core of the technology to be unable to give reproducible responses and even after a while, Claude is just as likely to sneak-in crimes in every snippet it outputs. Some readers might i
218.
by xpe 9mo ago
> Neither LLM can reason about anything. > Reasoning is an human trait. Note: this is not directed at the commenter or any person in particular. It is directed at various patterns I've noticed. I often notice claims like the foll
219.
by xpe 9mo ago
The above does not prove that it is irrational for Anthropic to keep the Claude Code source code closed. There are many reasons I can see (and probably some I can’t) for why closed source is advantageous for A\. One such (mentioned in vario
220.
by xpe 9mo ago
Update: Ah, I see this part: "This credential is only authorized for use with Claude Code and cannot be used for other API requests." Old comment for posterity: How do we know this was a strategy/policy decision versus just a
221.
by xpe 9mo ago
> I fail to see how costs can drop while valuations for all major hardware vendors continue to go up. I don't think the markets would price companies in this way if the thought all major hardware vendors were going to see margins sh
222.
by xpe 9mo ago
That is how I felt with Zsh, even though Zsh scripting is a step up from Bash. But with Nushell there is a huge space of scripts I now prefer to write in it.
223.
by xpe 9mo ago
We all know the dueling aphorisms of "if it ain't broke, don't fix it" versus "no risk, no reward", so I'll just say this: there is a middle way. I keep a whole lotta Zsh and Bash scripts. But for work on
224.
by xpe 9mo ago
From an end-user point of view, there are some weirdnesses in Nushell, but they are rare in my experience. Here is one that gotcha'ed me: [1 2 3] | sum The above does not return the sum (1 + 2 + 3 = 6). Why? Because `sum` is
225.
by xpe 9mo ago
A nice coincidence to read this; I was just telling some friends the following (lightly edited): Nushell is amazing and a total pleasure to use. I cannot yet discern any limit to how much thought has been put into it. I’m stunned in a good
226.
Building Argsort with Nushell(gist.github.com)
2 points by xpe 9mo ago|0 comments
227.
by xpe 9mo ago
Do you mean a terminal-based editor, like emacs, vim, neovim, or helix? (I quite like the latter, after having used all the former to some degree.) Or do you mean line-editors? They have gotten impressively good. See rustyline (based on lin
228.
by xpe 9mo ago
I must admit I'm rather ignorant of the vertical tab workflow. I'm curious: when did it click for you? Was VS Code your gateway drug? A web browser?
229.
by xpe 9mo ago
This is high praise coming from an Emacs user :) I also formerly used Emacs with much joy, but I'm even happier with Zed now. Zed has a lot of issues in flight; maybe these are useful to you? Here are the issues that have been filed un
230.
by xpe 9mo ago
> The armchair analysis from some folks on this topic is really lacking. You guys are just wrong, and the hubris you bring with your “analysis” is really off putting. From https://news.ycombinator.com/newsguidelines.html
231.
by xpe 9mo ago
> Power is all that matters in the end. This can mean different things to different people, such as: (A) Power dynamics determine outcomes i.e. a claim about how the world works (B) Might makes right i.e. rejecting ethical notions of
232.
by xpe 9mo ago
Since I've put in a markedly higher level of effort here, I'm only going to respond further if you carefully and thoroughly respond to my comments above.
233.
by xpe 9mo ago
Corrections: please replace #3 above with these points: 1. It is too soon to assess the scope of international responses to Trump's invasion of Venezuela. A large part of ILN is what happens after a particular event. 2. "Farce&
234.
by xpe 9mo ago
>>> 80-90% of what users think are bugs are either misunderstandings, environmental problems, or configuration errors by the users themselves. For what's left, the majority are often feature requests (unimplemented features) a
235.
by xpe 9mo ago
Thanks. > but to emphasize that it is ultimately power that enables or constrains a nation's possible actions. If one interprets this as "perceived power" I think we'd be getting closer. But even that is not enough. I
236.
by xpe 9mo ago
Ok, I'm pretty sure I understand your claims. I'll divide up my response in sections with `---` addressing each of them. I'll use ILN for "international laws and norms". (My edits are finally done as of 10:33 am eas
237.
by xpe 9mo ago
I appreciate the discussion and thoughtful response. > But my read is that you over index on the notion of laws To be fair, nothing I said asserted the relative importance of international law in comparison to other influences (i.e. mili
238.
by xpe 9mo ago
>> International law is an important factor > I mean, if you ever needed smoking gun proof this is a lie, you got some today. You are misunderstanding me. I had hoped my claim was clear, but maybe not, so I'll try again: if yo
239.
by xpe 9mo ago
To the commenter above: it seems like you are responding to something other than what I wrote. Perhaps my meaning didn't come across? I'll try again: Start with model M which does not account for international law.* For any such m
240.
by xpe 9mo ago
> There is no international law. This is incredibly confused. A reasonable person can say international law is unevenly enforced. This does not mean it does not matter. Both positive (what exists) and normative (what is ethical) consider

More ›