Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gnulinux
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
31 ms
·
391.
▲
by
gnulinux
4y ago
Unfortunately lilypond doesn't support musicxml at all, which is a bummer. I do the opposite route. MuseScore -> musicxml -> my script -> lilypond/musicxml -> PDF/MuseScore. I need this because, sometimes I want a
392.
▲
by
gnulinux
4y ago
My previous workflow looked like this: - In MuseScore create way more parts than you need. This serves as a temporary work space. - Save tons of files. E.g. if I'm working on "Composition_00341" I save bunch of files like &qu
393.
▲
by
gnulinux
4y ago
> don't allow for partial application Unfortunately, partial application doesn't work in Python, the same way it works in Haskell. If a function has 3 args, calling `f(x)` is a guaranteed runtime `TypeError`. There is functools
394.
▲
by
gnulinux
4y ago
Because it says: > Plankalkül was more comprehensively published [vague] in 1972. The first compiler was implemented by Joachim Hohmann in his 1975 dissertation. Other independent implementations followed in 1998 and 2000 at the Free Uni
395.
▲
by
gnulinux
4y ago
Oof, as a composer and a software engineer this is painful -- but joyful at the same time -- to see. Nowadays, I'm so used to my new workflow of writing a script that checks my music, creates a LilyPond file (as well as a .musicxml to
396.
▲
by
gnulinux
4y ago
You're misunderstanding. Validation looks like validateEmail : String -> String -- post-condition: String contains valid email whereas parse looks like: parseEmail : String -> Either EmailError ValidEmail There is n
397.
▲
by
gnulinux
4y ago
I think by far the best working software I use today is Emacs, and yes it's full of bugs that frustrate me every day.
398.
▲
by
gnulinux
4y ago
My claim is not that "no software has any part that works", my claim is that "all software has some part that is buggy" which seems trivially demonstrably true in my life. I have unfortunately nothing to offer but anec
399.
▲
by
gnulinux
4y ago
That's your opinion, and it seems to be the opinion of some people, I respect that. However, I strongly disagree. I use software all day every day (like most of us here, if not all) and I can confidently say none of the complex systems
400.
▲
by
gnulinux
4y ago
User being too idiot to user the interface almost by definition means it's bad UX. If your userbase is not attentive/smart enough to use the interface, it's an interface problem, not a user problem.
401.
▲
by
gnulinux
4y ago
More like, this is the state of software in 2023. In software industry, there is an extremely vague sense of correctness while software is being developed, if there is any. Product managers have no idea what that is, and there is usually no
402.
▲
by
gnulinux
4y ago
> Pretty clear to me after meeting a number of very successful people in NYC/SF that some people "just have it". Meaning, they can identify opportunities that have a high probability of success and execute on those opportu
403.
▲
by
gnulinux
4y ago
No they're not. Just the self-admitted fact that they could afford to fail 5-7 times creating a business shows that they had more social and financial safety net than an average American. Most Americans can't just create a busin
404.
▲
by
gnulinux
4y ago
What a heartbreaking comment to read: > Any of us who have had at least two “successful” businesses will tell you that this quote is ridiculous. > I’ve also failed miserably and had 5-7 business go under or never even really get off t
405.
▲
by
gnulinux
4y ago
You got many answers, but I'll give another brutally honest answer: I do this because it's simply much much easier to implement. I would much rather have my AST generator's input be a token stream. It just simplifies everythi
406.
▲
by
gnulinux
4y ago
Patents stifle innovation too.
407.
▲
by
gnulinux
4y ago
Yes, all computation done at runtime can be done at compile time (within type system). This is a problem in some cases e.g. if you write an infinite loop, this would mean compilation will infinitely loop. Different languages deal with this
408.
▲
by
gnulinux
4y ago
To slightly elaborate: when this comment say "first class types" they're referring to dependent types. For programmers who are not aware: think about functions in functional programming languages. They're "first cla
409.
▲
by
gnulinux
4y ago
A simple Google search yields that she's likely an expert and her opinion can be used as a "citation" in one's comment: > Brief bio: I started out studying math (Princeton AB ‘10, Yale PhD ‘15, focusing on applied har
410.
▲
by
gnulinux
4y ago
> Seriously, I don't know why you think lacking faith in government is a good metric for guessing whether someone is a conservative, as if it even matters for such a comment. Do you assume someone is Black because they say they like
411.
▲
by
gnulinux
4y ago
This is the standard conservative playbook, it even has a name: https://en.wikipedia.org/wiki/Starve_the_beast
412.
▲
by
gnulinux
4y ago
These kind of comments are the strangest imho. Do we really need an official declaration to deduce someone who says something as clear as "[I don't have] faith in government that you have currently."? Even if they then claim
413.
▲
by
gnulinux
4y ago
Other commenters made other comments, but I also want to note that this article is terrible for another reason. For the first problem, they computed mathematically all the way up to calculating the recursive expression they got. After that
414.
▲
by
gnulinux
4y ago
The answers aren't right at all... Answer to question 4 is clearly bogus as another commenter (Dfiesl) pointed out. But question 5 is also wrong. It's not unclear, from the conversation we can deduce that Ana thought that Maria
415.
▲
by
gnulinux
4y ago
A lot of extremely uninformed advise in this thread. Just so you know H1B has a hard cap with no exceptions: 6 years after which you cannot work in the US, unless you have PERM approved, or live outside the US for 1 full calendar year and
416.
▲
by
gnulinux
4y ago
This question is irrelevant because we all know that if Ukraine secedes Donbas/Crimea today, next decade Russia will attack again for other lands. There is no end to this. You cannot appease dictators by letting them do exactly what th
417.
▲
by
gnulinux
4y ago
I suppose this is part of the "culture shock" I'm talking about. It is outside, it's literally the unwashed sidewalk we're talking about. What other "meaningful impact" does one need to be grossed out by t
418.
▲
by
gnulinux
4y ago
I live in Boston, MA, this still happens. People wear shoes at home. Not everyone, but seems like a lot of people, perhaps majority, or maybe close to it. Boston is not exactly in the frozen north parts, but it is very much in the north a
419.
▲
by
gnulinux
4y ago
Same, I moved to US about a decade ago and this is pretty much the most major cultural shock I still seem to experience. Like I simply cannot fathom how people just walk around their house with shoes, then jump onto their beds/couches,
420.
▲
by
gnulinux
4y ago
Interesting points, but I'm wondering if you're possibly missing the point here. It's not only that Intuit uses their "right" to lobby the government and politicians allow Intuit to exercise this "right" t
More ›