Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
MrManatee
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
1.
▲
by
MrManatee
2mo ago
If we make a distinction between CLI apps and TUI apps, my interpretation is that the article was specifically talking about the latter. By a CLI app (with the emphasis on command line ) I mean something like grep, sort, cp, git, ls, tar,
2.
▲
by
MrManatee
5mo ago
Prompts like this feel like it's using the wrong abstraction. The "obvious" thing to do with something like this would be to generate some code that generates the image and then run that code. Inspired by this, I tried someth
3.
▲
by
MrManatee
7mo ago
Exactly - it very likely was trained on it. I tried this with Opus 4.6. I turned off web searches and other tool calls, and asked it to list some filenames it remembers being in the 7-zip repo. It got dozens exactly right and only two incor
4.
▲
by
MrManatee
1y ago
With anything like this, I would love to look at the raw data to get an intuitive feel for the phenomenon. For example, the word "surpass" was used 1.47 times per million in the pre-2022 dataset and 3.53 times per million in the p
5.
▲
by
MrManatee
1y ago
Yeah. I can believe that this will improve in the future, and this is a technology preview and all. But my takeaway from the video is that it is still too vibey for me to trust it. If I was coaching a junior data analyst at my company, and
6.
▲
by
MrManatee
1y ago
I think there exists a separate skill for classifying problems by difficulty, apart from being able to solve them. This skill can be developed from both directions by learning which problems have been solved and which haven't been. If
7.
▲
by
MrManatee
3y ago
This is more of an interpreter than a compiler, but if you look at the "Arithmetic example with semantics" [1] linked on Ohm's GitHub page, you can see how Ohm can be simultaneously used for both (1) defining a language for a
8.
▲
by
MrManatee
3y ago
For "similar to tree-sitter but js-only", Lezer might be an even closer match: https://lezer.codemirror.net/ I have used both Ohm and Lezer - for different use cases - and have been happy with both. If you want a
9.
▲
by
MrManatee
3y ago
If the minimum wage is increased $4, the competing explanations seem to be: 1. Change in unemployment is normally distributed with mean 0% and standard deviation 0.606%. 2. Change in unemployment is uniformly distributed between 1% and 10%.
10.
▲
by
MrManatee
3y ago
> When most mathematicians say something like "X is true", what they mean is "X can be proved from the axioms of set theory". I'm just one mathematician, but I certainly don't mean that. Before we can prove
11.
▲
by
MrManatee
4y ago
I kind of agree that it's possible to slightly overstate the declarativeness argument. Functional-style JavaScript is not that declarative. Not in the way SQL is. But also, writing imperative code doesn't guarantee explicit perf
12.
▲
by
MrManatee
4y ago
Not all functional programming idioms work in all languages. On my computer, the article's imperative range(6000) took 0.05 ms and the "functional" range(6000) took 400 ms. The whole [...cur, cur.length+1] thing turns a linea
13.
▲
by
MrManatee
4y ago
The way I understood [1] is that even a trivial app (such as a clipboard URL logger) will take longer than 2 hours once you start adding the polish . I don't think that can be refuted by writing a 5-minute non-polished version of the
14.
▲
by
MrManatee
5y ago
This. I’ve been a Backblaze customer for years. I’m not a backup enthusiast. To me it’s a problem I want to solve and forget about. If I needed to save money on utilities, I’d probably have more to gain by switching my electricity provider,
15.
▲
by
MrManatee
5y ago
Yeah, I suppose this would be acceptable in this instance. But it still repeats x and y, and if x and y were complicated expressions instead of just simple variables, I wouldn't want to repeat them. For example, the proof of the Minkow
16.
▲
by
MrManatee
5y ago
How about relation chaining, such as with inequalities? Is there some nice S-expression notation for, say, "0 < x ≤ y < 1"? In many programming languages you would have to write "0 < x and x <= y and y < 1"
17.
▲
by
MrManatee
5y ago
There's a lot of information, data, and software out there that is available to download for free. Yes there are hosting costs, but there are also people and organizations that are willing to pay them because they believe that it'
18.
▲
by
MrManatee
5y ago
Indeed. The author's appreciation of Lisp is well known. If he really is convinced by this abstract argument, it would have been nice to know what other weird languages besides Lisp it has inspired him to learn. APL, Prolog, Smalltalk,
19.
▲
by
MrManatee
5y ago
This is making me wonder if the experience is intentionally so bleak. It reminds me of how nowadays when I do an incognito Google search on my phone, I need three taps just to accept the terms of service. Same with YouTube. Maybe this lev
20.
▲
by
MrManatee
5y ago
I wouldn't say it makes "little sense". Just like we can talk about the year 776 BC even though no one at the time called it that, we can extend the Gregorian calendar backwards to dates when it wasn't used anywhere. The
21.
▲
by
MrManatee
5y ago
Or: "If there is any evidence of a crime on my phone, it was probably planted there by a version of Cellebrite that got infected with a virus when you scanned someone else's phone with it."
22.
▲
by
MrManatee
5y ago
The article says that "it should be pretty straightforward for law enforcement to disprove an accusation about the Cellebrite machine", because they can perform the same extraction with another vendor's machine and compare th
23.
▲
by
MrManatee
5y ago
I might be misunderstanding you, but if you're referring to things such as ζ(2)=π²/6, then that doesn't strike me as a good example of "nothing to do with circles" and "in those places tau does not do better&qu
24.
▲
by
MrManatee
5y ago
I've always interpreted "under-promise and over-deliver" as being about keeping your promises despite future unknowns. The simplest example I can think of: If you think some task will probably take 2 days, you say you'll
25.
▲
by
MrManatee
6y ago
But it’s not enough to steal a blank YubiKey from the office storage room. You would have to steal some specific person’s activated YubiKey, and that person will notice it if they need the key regularly to do their job.
26.
▲
by
MrManatee
6y ago
I can also report a positive experience with Jamulus. There's probably people in this discussion who have only experienced the latency through Zoom or Skype, and assume it's about as good as you can get over the internet. It'
27.
▲
by
MrManatee
6y ago
Tree-sitter is the library that Atom uses to parse as you type. It's incremental: if you just add one character, you don't have to parse the entire file from scratch. And it's robust: it tries to provide useful results even i
28.
▲
by
MrManatee
6y ago
I don’t know how universal this is, but at least in my mind there is a clear semantic difference between 123 and "123". 123 is a number in the mathematical sense, maybe counting or measuring something. It probably makes sense to d
29.
▲
by
MrManatee
6y ago
I don't use as little soap as the article suggests, but I use less than many people do. I don't want to smell bad, and I know it's harder to judge your own smells. But there's one piece of trivia that gave me the confide
30.
▲
by
MrManatee
6y ago
In a way, they _do_ have a limited-time discount. Facebook's ad prices are set by an auction. If there are less advertisers competing during the boycott, the prices will be lower.
More ›