justinpombrio

4 ms·

1.
by justinpombrio 3mo ago
There's no such thing as an undecidable statement. A single statement can't be undecidable. Undecidability is a property of a class of statements. For example, you can ask whether a Java program, run with infinite memory, will e
2.
by justinpombrio 3mo ago
> That's average or mean. Median is the middle value. The median of an even number of values is typically defined to be the mean of the two middle-most values.
3.
by justinpombrio 4mo ago
> it might be a week before i get back to it, and the name of the branch is a clue as to what the heck I was doing. Ah, this is what the description (what git would call the commit message) is for. You can set the description even before
4.
by justinpombrio 5mo ago
Parsing is usually implemented in two steps: first there's lexing where the input is turned into a sequence of tokens, then there's proper parsing where the sequence of tokens is turned into an abstract syntax tree. This shunt
5.
by justinpombrio 5mo ago
Yeah, it's a parsing algorithm for parsing infix (etc.) expressions. If you've seen a parsing library refer to "precedence climbing" or "operator precedence parsing", it's doing this (or something very sim
6.
by justinpombrio 5mo ago
It treated that as 1 0 0 + 8 8 / 4 which is nonsensical, but it has no error detection so it rolled with it. Really `100` should be its own token, but there's no way to input that.
7.
by justinpombrio 6mo ago
Honestly I've had more technical problems installing Windows than Linux Mint recently, not to mention the multiple hours spent hunting down and disabling all of the telemetry and ads in Windows. Still can't believe they put ads in
8.
by justinpombrio 7mo ago
This is a terrible source of information: it's talking about a survey about vision problems, by an eye care company, and you can't see the survey. I'm completely sure that the way they worded the question the headline is abou
9.
by justinpombrio 1y ago
Could you name one that seems likely to fail?
10.
by justinpombrio 1y ago
I was going to say that that's not a CRDT because it requires a centralized server (the conflict resolution is "order in which the server received the messages", and clients aren't allowed to share updates with each ot
11.
by justinpombrio 1y ago
Rust's traits _do_ solve the expression problem. Each data type is a `struct`. Each operation is a trait. You `impl` each trait on each struct. This works even if you're using a library that has declared `struct A` and `struct B`
12.
by justinpombrio 2y ago
> (not an actual dictionary) Urban Dictionary <troll> The definition of dictionary is just "Words about words" (source: Urban Dictionary), so I'd say that Urban Dictionary qualifies. </troll>
13.
by justinpombrio 2y ago
> by assuming that a system that can be formally modeled can prove something that cannot be proven within a formal system Something that cannot be proven within which formal system? Every true statement can be proven by some formal s
14.
by justinpombrio 2y ago
Oof, I pattern matched OP to a different argument I've seen a lot. That's embarrassing. Yes, that's correct, it's provably impossible to construct an LLM that, if you ask it "Will this program halt? <program>&
15.
by justinpombrio 2y ago
Gödel's Incompleteness Theorem places a limit on what you can prove within a formal system . Neither humans nor LLMs are a formal system, so it says nothing about them. Someone's going to think that, since you can formally model
16.
by justinpombrio 2y ago
Can you give a reference to your teaching materials? The way this sort works is bizarre enough that I'm curious what you said about it. (Also to verify that this is actually the algorithm you taught, given how many other people thought
17.
by justinpombrio 2y ago
Yeah, 2410 vs. 2509 swaps not including the first iteration. You should try measuring these things yourself, I'm not sure if it's doing what you think it's doing.
18.
by justinpombrio 2y ago
> Why is there any difference? Does the entire difference come from the iteration where i = 1? Sometimes it's more swaps, and sometimes it's less. The vague pattern looks like Can't Believe Sort does slightly fewer swaps o
19.
by justinpombrio 2y ago
The number of swaps is nearly the same between Bubble Sort and Can't Believe Sort. For a random list with 100 elements, it's 2505 swaps vs. 2513 swaps. The number of comparisons is of course about twice as large, because Bubble So
20.
by justinpombrio 2y ago
I did search for "trivial sorting network", but the only networks that were called trivial were the ones for exactly two elements, while this algorithm sorts an arbitrary number of elements. Could you link to what you're talk
21.
by justinpombrio 2y ago
The paper: https://arxiv.org/abs/2410.20392
22.
by justinpombrio 2y ago
Yup, that's all correct. I drew `squash` and `backout` in terms of files in order to avoid needing notation for the opposite of an edit and the composition of two edits.
23.
by justinpombrio 2y ago
Yes, I think you understand perfectly. `abandon` was the diagram I struggled the most to draw. I like the idea of putting the edits on the arrows, but there are a couple senses in which the edit is associated with the change itself rather t
24.
by justinpombrio 2y ago
This might be what you're looking for: https://jj-vcs.github.io/jj/latest/git-comparison/
25.
by justinpombrio 2y ago
Thanks for the kind word! Unfortunately the arrows are kind of confusing regardless of which way they go. You're suggesting they point forward in time, from the old commit to the new commit. The way they're drawn is the direction
26.
JJ Cheat Sheet(justinpombrio.net)
186 points by justinpombrio 2y ago|116 comments
27.
by justinpombrio 2y ago
> Of course, I didn't, and decided to buy the product elsewhere Consider messaging the owner to tell them you were trying to buy a product on their site and the site wouldn't let you. There's a chance that they'll c
28.
by justinpombrio 2y ago
> the default (which I've never messed with personally) essentially considers commits in tracked branches from remotes to be "immutable", meaning that anything purely local is "mutable" The default for what'
29.
by justinpombrio 2y ago
Chiang writes science-fiction, Egan writes physics-fiction, and Borges wrote philosophy-fiction.
30.
by justinpombrio 2y ago
Thank you for the clarity. > But that thing you wrote is a static effect system. The thing I wrote is expressible in Java's type system as it is today. So you're saying that Java has a static effect system?

More ›