skysight-inc/HackerNews huggingface dataset:
> As an untrained but interested bystander/hobbyist, the scores engraved by Lilypond are orders of magnitude better than those produced by the mainstream WYSIWYG editors

tldr; Lilypond needs to compile a perfect engraving. If it does then you get a great looking score for the least effort. If it doesn't then you'll likely eat all your time tweaking. This makes it good for single instrument parts, not so good for more complex scores.

It's at least an order of magnitude more difficult to tweak anything in Lilypond than it is with a WYSIWYG editor.

Moreover, with WYSIWYG you can take a 30 minute class offered by an expert who will show you how to change the defaults to get a decent-looking score. Even moreover, that expert could literally sit in front of your laptop and drag an indication to a better spot to teach you something about whitespace/alignment/etc.

If you can figure out how to make a small tweak to a Lilypond score in less than 10 minutes you're doing well. And you'll probably have to recompile at least twice since you'll estimate the distance of the tweak wrong, especially if you're a new user. For each tweak.

Oh, and recompilation time scales with score length. Good luck changing the position of an indication in the last bar right before a deadline. I think I'd rather track down an XHTML error in a tax form than do that.
I think it means exactly that. If JS will get type hints that are not checked at runtime then we will never get runtime validation for these type hints since it will break a lot of existing code that has would have "wrong" type hints.
Some research indicates that obesity might be caused by water pollution, and the link between air pollution and lack of exercise should be clear enough.
My university actually had a bidding system. You would start the year with 10,000 points, and you could bid any number on electives. So you could spend a lot of points on one particular popular elective, and be guaranteed to get it, but then you would not be able to bid as high on other electives for the rest of the year.

The system was pretty smart, except for the part that you could bid negative amount of points on an elective that wasn't particularly popular and increase your total. That was a pretty major flaw.

[edit: I should say that I didn't use my extra points for anything. I wasn't particularly interested in the popular electives anyway. I did make sure to end the year with 10,001 points, hoping they would fix the bug, but I don't think they did.]
Show HN: Petlovequiz.com
Launched this mvp. What do you guys think? I need help with marketing, growth, conversions, etc. Anyone wants to learn more? email me: support@petlovequiz.com
> only the largest companies could compete

That is fundamentally untrue. In fact, regulations would even the playing field. Right now, anyone can get their Engineering degree, complete an apprenticeship, and open a firm. Regulations like Building and electrical codes protect the public, and certified civil and electrical engineers are certifiably competent enough to implement them. Once certified, everyone has the qualifications to bid for the same contracts.
Depending on how old you are you might just need to wait a few years and nature will do the rest.
>> Proponents of symbolic learning should start by just achieving results that are even remotely close go those achieved with deep learning.

The first system to win against a Grand Master in chess was Deep Blue, which, despite its name, was not a deep learning system, but a symbolic, hand-crafted, rule-based, system with alpha-beta minimax, using a hand-crafted evaluation function and an opening book of moves [1].

The first system to dominate human players in draughts (checkers) was Chinook, also a hand-crafted symbolic rule-based system [2].

The first system to outperform experts in medical diagnosis, in particular, diagnosis of infections, was MYCIN, an expert system [3].

The first system to win against a human in the question game Jeopardy was the much-maligned, but symbolic-based, and very successful in that one task, Watson [4].

SHRDLU was an NLP system used to direct a (virtual) robot hand, whose capabilities remain unsurpassed by modern systems [5].

The performance of symbolic systems remains unsurpassed in various tasks such as classical search, classical planning, SAT solving, automated theorem proving, program synthesis, etc.

I assume that by "symbolic learning" you meant symbolic AI in general, btw. If you're talking about symbolic machine learning in particular, it is worth noting that decision tree learners, like CART, ID3 and C4.5, which have been wildly successful in machine learning, data mining and data science for many years, are symbolic systems that learn a propositional logic "model" (a theory).

__________

[1] https://en.wikipedia.org/wiki/Deep_Blue_(chess_computer)

[2] https://en.wikipedia.org/wiki/Chinook_(computer_program)

[3] https://en.wikipedia.org/wiki/Mycin

[4] https://en.wikipedia.org/wiki/Watson_(computer)#Comparison_w...

[5] https://en.wikipedia.org/wiki/SHRDLU
Google CEO Sundar Pichai says he uses NSDR, or 'non-sleep deep rest,' to unwind
So kind of them to do our thinking for us. Might risk straining something coming to our own conclusions otherwise.

Even if I agree with the propaganda, the fact that it is propaganda is hard to discount. i still have a lingering dismay at the open glorification of it. our propaganda is fine but the other guy's propaganda is so evil...
“Fetal bovine serum (FBS) is a ubiquitously used essential supplement in cell culture media. However, there are serious scientific and ethical concerns about the use of FBS regarding its harvest and production.”

From an abstract of a research paper regarding FBS-free media.
$120 Kind of embarrassed, it might seems small to many HN users, but its a lot for me.
Interesting perspective, thank you for sharing!
I once ate a deep dish meatlovers pizza that was 6000. I wasn't even full later. Fat is the missing ingredient. The GOMAD diet will put on pounds unless you are lactose intolerant or allergic to milk protein. Eat exactly what you would otherwise, but also drink a gallon of whole milk over the course of the day. If that seems extreme, double or triple the olive oil on your salad. Drench your pasta in ghee or coconut oil. If your smoothie doesn't have some sort of fat or oil it isn't a weight gain smoothie.
Even malicious editing has been around a long time, but the ease and accessibility, coupled with social media proliferation, is on another level. I'm not sure to what extent this matters yet when mere text on a screen can fool certain demographics. Is doctored footage/images a moot point if the target viewers are going to believe it anyway?

What we need is better inoculation to psycho misinformation politics
This isn’t a reward. This is a state making reparations to people whose lives they destroyed over draconian laws that shouldn’t have existed in the first place.
Are you qualified to make this statement (genuinely asking) ?

I tend to drink a lot and have read several times that drinking too much can be bad and change your electrolise balance or something like this.
I do not think that is a goal of either project; I’m not even aware of a POC JavaScript to WASM compiler. AssemblyScript couldn’t work without strong typing semantics and doesn’t support many typescript features.
Russia says China refuses to supply Russian airlines with aircraft parts
Asking/forcing people to change their behavior doesn't have a great track record. Given that constraint, putting effort into tech like this makes sense, especially if it's in addition to making behavior changes less difficult, like you propose. It's not an either-or.
We definitely agree with you that the reactors currently used in biopharma were not really meant for the level of production required to scale cultivated meat. As for the growth, typically you'll find what's called a "seed train" for growing cultivated meat. This is basically a series of reactors starting from a small flask around 10 mL and ending in a reactor greater than 20000L! The train might have reactors along the way, 10mL, 200mL, 4L, 80L, etc. until the final reactor volume is reached. Some of these reactors, especially the larger reactors near the end of the process, are meant to handle the cells at a specific stage in the lifecycle, such as maturing, where the cells grow in volume.
Interesting. I’ve lived in the opposite (my entire adult life has been in the low inflation period following the 2008 recession) so I can’t personally relate
There is a preset for "close to the poles". I can't remember what it did exactly though, I haven't used it in a long time.
That works, but its pretty horrible for digestion, you need the acid to break stuff down.
You still need someone to - you know - act.

Saying deepfakes makes actors superfluous is like saying synthesizers makes musicians superfluous.
How can I triple my salary and work one day a week?
Congratulations on the launch, I genuinely think this ranks among the most positive high-impact work one could be doing right now. The scale of animal cruelty is tremendous. Disrupting the meat industry is so important. Do let us know if you need any software engineers!
Why big firms are rarely toppled by corporate scandals
Would you consider sharing which company you’re speaking of (“we are hiring for Ruby/Rails”)

My email is in my profile.
On presenting the case for AI risk
this doesn't address the talent behind the images, both cast and crew. Why would optimizing the production workflow make either of those cheaper? In more general software development payroll costs are higher than the rest of costs combined, seems the same scenario in more animation as well.
> our environment is much more conducive to obesity than it was in the past.

What specific aspects of our environment are you considering? To some extent one can change one's environment.
It’s 6pm. I’m WFH. I’m seeing 7451 steps on my iPhone. I wouldn’t say I’ve walked anywhere today, but I water my horses a few times a day (at bottom of garden).
Your #2 struck me and I completely agree; just some basic stuff can make tremendous improvements.
0% chance I'm giving out my email address sight unseen.
Check out toplab.org for all things music-livecoding related.
Tidalcycles which is haskellnased
is one of the favorites of the scene but there are many options.
Or one of the reccomendations in the thread here (esp. supercollider which is lisp based or c-sound for max renderingperformance stuff)
Not really. The library internally already uses a C ABI, because that's what both C++ and Rust can agree on, but that ABI is not for consumption from C. The point of this library is to preserve higher-level Rust/C++ features like destructors, generic containers, smart pointers, and other things that C can't express.
I think they're going for the minimal line count by in lining the docstrings. In some of my own scripts, I've lifted an idea that I saw in the wild where your Usage header and function docstrings are just prefixed with '#/', a more aesthetic and equally unlikely string (which also looks good in blocks, so it could even be restricted to newlines that just are comments, letting the line count breath a but and removing any worry of accidentally using that sequence in code). Our help function would then just 'grep w/e $BASH_SOURCE | cut w/e'.
Onion address is not unguessable, it's stored on a DHT shared by relays with the HSDir flag (which they earn after ~7 days IIRC).

I think this changed slightly with v3 addresses, so my comment might be out of date, but I think the general premise remains the same. (EDIT: Apparently with V3 addresses, there is still a DHT, but client uses key derivation so that the HSDir only stores a daily-rotated identifier known as a "blinded public key." [0])

Although your hidden service address is not hidden, you can require that any client connecting to it present a valid authorization key (I think this is also new in V3?).

Also, it obviously depends which service you're exposing — if you are exposing an SSH server that only allows key-based authentication, then it shouldn't matter if people can simply connect to it — assuming you trust the SSHD software, and your threat model doesn't depend on avoiding detection completely.

[0] https://blog.torproject.org/v3-onion-services-usage/
They’ve been trying to scare us with deepfakes for so long now. It’s such a yawn. They create such a narrow image type (face on blurry background) and say “look how real they look!”

Same with deepfake videos, which could always be faked with good FX and one of the reasons why videos with no chain of custody don’t become evidence in court already!
As a born vegetarian(Religious reasons), I wholeheartedly support this project. I am going to be secretly following your progress and cheering for you. Godspeed.
The Russians using emojis to evade censors
Oh yeah - that's generally a horrible investment compared to the market as a whole. In essence, you end up losing so much of your profit through taxes and you've managed to take on a business now that requires your time. Land lording is generally a terrible investment unless it's done at a scale and professionally. Not saying you don't make money on it - but that same money is probably better in an index fund for 30 years.
Lunar developer here. Thanks for mentioning it!

Just a note to avoid confusion: Lunar serves a completely different purpose than f.lux.

f.lux changes the colour temperature by altering the Gamma tables.

Lunar's main function is controlling the hardware brightness/contrast/volume/input/colors of external monitors using DDC and private macOS methods.

macOS also has a native approach to f.lux called Night Shift. I use it with Shifty (https://shifty.natethompson.io) to get the same featureset as f.lux.
The community of people making deepfakes even approaching this quality is astonishingly small (think 3-4 people), requires absurd hardware (either A100s or A6000s), and the Luke one is even more of a outlier as this deepfaker has the support of ILM, one of the best VFX studios in the industry. All this is to say I'm not especially scared — especially when these "best of the best" deepfakes still have obvious tells.
Same word, different contexts and meaning. In ML tensors are multidimensional arrays (and nothing more). Neither physicists nor ML researchers/developers are confused about what it means.
Apologies for my late answer by wanted to circle back to thank you, you answered most of what I was looking for.
When defining by which pairs can reproduce, or at least "connect corresponding mating organs", humans are also still limited to 2 sexes, pronoun discussion (in American English) acknowledges 2 sexes and decouples gender from that. A one to many relationship, instead of a one to one relationship.

(I've found in other English variants, consensus is evolving differently with non-binary genders equalling additional sexes, this can make things confusing online - like on Twitter - if you aren't noticing that maybe Commonwealth countries are forming this conversation differently)
Hi KronisLV, I am thinking of learning game programming and teaching some kids the same. I realize that publishing the game on consoles like PS4 or making it available on Mac, or Android, Iphone is the _end_ that we will like to see with this adventure.

Would Godot engine help me publish games in all the platforms? Or would Unity / Unreal are more suitable for that?

Thanks for this comparison, it helped with some perspective.
It is, and it has even been done. One large limitation is that it's not a great idea to have batteries inside the body. An LVAD is intrinsically liquid-cooled; batteries are not. Ruggedly encapsulating a battery means it is fairly well-insulated and can get warm. Batteries also fail pretty unpredictably- they're fundamentally dozens of square feet of very thin film, and it's very difficult to ensure that every battery is perfect. But again, it has been done.

Implanting a couple medium-size batteries and the circuitry+magnet for wireless charging is pretty robust to failure, but consider actually making that decision for yourself. You're already accepting huge restrictions, so is the wire that much of an extra burden?

Realistically, if the LVAD loses power, you're dead. It's not like suffocating; without bloodflow (even blood without oxygen!) your brain will die in about two minutes. Chest compressions probably won't even help. You got the LVAD because your heart couldn't pump, and chest compressions will not force blood through the LVAD. Even if this happens in the emergency room your odds are not good. Cutting open a chest to hand-crank a human is not easy. Pulling an ECMO machine and inserting the massive catheters is not easy. You might die while the machine is still rolling towards you.
Alternatively, perhaps advocates of static typing simply see a larger variety of errors as type errors. In JS, if I typo a key of an object (e.g. `foo.excute()` instead of `foo.execute()`), I would call that a type error... or at least an error that could be caught by a static type system.
There are a whole lot of spelling and grammar mistakes on your landing page guys.

For example: "But the your goal isn't just to do thing. If you have nothing want to accomplish"

I don't say it to be mean, just want you to improve :) but getting a copy editor would be worthwhile, or just taking a little more time checking it.

Another when I actually went in: it says "Choose Avator"
Here is a really good resource for a beginner:

https://grinfeld.org/books/An-Introduction-To-Tensor-Calculu...
As I said, these numbers are so insignificant that they don't matter. The cost of the employee and their productive is several magnitudes more.

I ran a visual effects company a decade ago. We bought the fastest machines we could because saving time for production was important. The power draw was never a factor; a few catered lunches alone would dwarf the power bill.
Eat less. No breakfast, eggs and something else small for lunch, normal meal for dinner.

No seconds, no desert. Alcohol and calories you can drink are probably the easiest way to gain weight.

People say exercise but it’s mostly diet. I worked out for years and was strong but never lost much fat until dieting.
So is port forwarding or running any other services, tor is special in absolutely no meaningful respect here.
Lifting has proven advantages. However, I am not sure how efficient it will be without a good diet. An anecdote from my life: I used to lift heavy heavy mass a couple of years back and it led to an improvement in my strength. However, it also made me hungry and I ended up eating more calories than required. No wonder, the training had no impact on the fat percentage. For the past few months, I am tracking calories and it clearly has an impact on weight. As for exercise I mostly walk and go for a long run (5-10 km) at least once a week.
Slightly amused. The time honored traditions of deracinated Indian-Americans still strong.

‘Yoga Nidra’ becomes “non-sleep deep rest”. Source: ‘podcast’

I also recently discovered that now ‘pranayama’ is ‘coherent cardiac breathing’.
I was watching a livestream recently, and the person turned to grab something out of frame, and for a split second when their face was near the border, the filter glitched out and gave flashes of the person's real face. I was truly shocked as I had been watching for about five minutes with zero inclination that the person was essentially wearing a digital mask.
The macOS equivalent is actually Night Shift, not True Tone. And f.lux was among the first apps to do this cross-platform.

Night Shift was developed much later.
> it’s sometimes nice to have the assurance that no code being executed can possibly panic.

I struggling to think of any language that can provide this guarantee. Even Python can segfault while executing C extensions. Maybe java?
I think "truly expert programmer" is hypothetical. I don't think I encounter many programmers that prefer to eschew typing unless it's a quick one-off script. Typing your code takes maybe 1-10% of the time it takes to right (if that). It provides far more value than tests. Just like Rust's ownership model in the type system provides much better results than C++'s implicit ownership model + tests.
> like a win to the kind of developer who makes a lot of type errors

Or just to the developer that likes to offload that cognitive load to their tools.

Why hold that in my head when the IDE can keep track of it for me? Why memorize every single attribute name when the IDE can autocomplete it for me? etc.
Out of curiosity, where do you stand on ES6 classes?
Adapting to how I naturally think and thus reducing the annoying friction and boilerplate present in so many other languages.

Feels soft, malleable, agreeable, and defines the minute-by-minute experience of using it.

Puts me in a state of flow and contributes to me looking forward to coding sessions.
Oh tomatoes? Well, tomatoes love to be grown in acidic soil, which increases the uptake of nickel and chromium. And they had better be organic, because common contaminants of fertilizer salts include arsenic and cadmium. But you don't want to eat organics if they're grown from waste biproducts of animal farming, such as commonly used bone meal, because those concentrate heavy metals.
You might get some gauging and people taking advantage of things, but I do believe that it will correct in relatively short order. The entire beauty of the free market system is that anyone making "too much" will have that margin taken away by someone willing to do it for less profit.

I just wish economists like Krugmen would revisit some of their previous articles about how printing trillions of dollars and passing it out won't cause inflation. Those articles were parroted by so many people and for the party that demands "accountability" they certainly know how to bury things and move on to another problem they have the best solution to.
Same, when I was a teenager breakfast actually gave me the runs if I ate too early. Yet my mom never let me skip even though I constantly tried too.

Breakfast food is hands down my favorite food, I just eat it for lunch or dinner now ;)
Legendary Shipwreck of Shackleton's Endurance Discovered in Antarctic Waters
I use the built-in darkmode settings in qutebrowser [1], which work surprisingly well for most websites, but certainly not perfect. My impression is that the implementation is mainly in Qt, or Qt Webengine, so the same functionality may be available in other browsers with the same engine. The documentation also mentions Chromium, so perhaps equivalent settings are available there. (That said, qutebrowser is great.)

Anyway, my vague understanding of what is does is that it inverts all colors on the wrong side of a user-configurable brightness threshold (e.g. backgrounds that are too bright are inverted, and text that is too dark is inverted). This can make website colorschemes quite different, but most of the websites I visit regularly are still still readable, and often still reasonably nice-looking, despite having inverted colors.

The relevant part of my config file looks like this:

# This requests the dark version of the website if it is available. Generally when this
# works, I guess brightness-based the color inversion doesn't happen.
c.colors.webpage.preferred_color_scheme = 'dark'
c.colors.webpage.darkmode.algorithm = 'lightness-cielab'
c.colors.webpage.darkmode.contrast = 0.0
c.colors.webpage.darkmode.enabled = True
c.colors.webpage.darkmode.grayscale.all = False
c.colors.webpage.darkmode.grayscale.images = 0.0
c.colors.webpage.darkmode.policy.images = 'smart'
c.colors.webpage.darkmode.policy.page = 'smart'
c.colors.webpage.darkmode.threshold.background = 128
c.colors.webpage.darkmode.threshold.text = 128

I haven't spent any time tweaking the threshold values, but maybe some tweaking would make it even better.

[1] https://qutebrowser.org/
I just requested access earlier this week; for work, I have to use a browser that uses the host's certificate store, and am not enthused to use Chrome or Edge. Safari is OK (not a fan of the UI), but no ad blocking is the worst.