skysight-inc/HackerNews huggingface dataset:
The whole point of parametric polymorphism (as opposed to eg ad-hoc polymorphism) is that just from reading the type of a function you get a guarantee about the limits of its behaviour.

If you functions routinely violate those limits as a matter of course, those guarantees are useless.

I'm all for abusing notation and terminology a bit when it makes sense in practice, but loosening our definitions too much risks making them useless, too.

In practice in Haskell, I often only need a helper function for eg integers, but when the implementation allows, I will give the function the most parametric-polymorphic type that fits, because that makes the readers job easier:

Just like an invocation of `filter` is easier to read than a for-loop, because `filter` is strictly less powerful than the loop.

(In addition, the more general type serves to give the compiler a hint, so it can yell at me in case I accidentally do an operation on the integer that I didn't mean to.)
why isn't there more research into active noise canceling (where the source noise can be known micro or milliseconds in advance) so airplanes can lift off more silently and similar inside the cabin?

alternatively use WHISPER technology helicopters to transport passengers to and from the plane at height
I have the same setup on my desktop and laptop computers.

Desktop: quad core Intel i5, 16 GB RAM, SSD,integrated graphics.

Laptop: quad core Intel i7, 32 GB RAM, SSD, integrated graphics.
Are there any NLP techniques that are not neural net based?
Could just be me, but that seems mind-bogglingly complex vs regular vector instructions & could easily make some traditional programs even harder to vectorize.
Not OP, but I'll give it a shot. At a low level pretty much all standard integer math is mod arithmetic, typically mod 2^32 or 2^64 depending on if a computer is 32 or 64 bit. This means that when a number goes above this limit it "overflows" and only the part left after dividing by the mod size is left. Additionally, negative numbers are stored by essentially counting down from the maximum number that can be stored + 1, in scholarly terms this is the twos complement. For instance on a 32 bit system -7 as a signed integer would be stored identically to the unsigned integer (2^32)-7. For anyone new to programming, unsigned meaning an integer variable that can only be positive and signed being an integer variable that could be positive or negative.

Now all of this combines to make addition, subtraction, and even multiplication essentially identical for signed and unsigned numbers. On an 8 bit system (so integers can be between 0 to 255 inclusive) you could be trying to add the signed number 40 and the unsigned number 200. Naturally, this is 200+40 or 240. Now inside the computer, 240 is stored in the exact same way that -16 is so it is important that the software knows the correct way to handle the variable. This is equivalent to subtracting 56 from 40, and the signed integer -56 is represented in the exact same way as the unsigned integer 200.

Now this is where it starts to get crazy. What if you add the signed integer -5 (represented by 251 in the unsigned world) and the unsigned integer 100? Well it is equivalent to 251 + 100 = 351. However, now we encounter modular arithmetic, because this is an 8 bit system and the maximum value for an integer is 255 we calculate everythihg mod 256, so ar left with 351 % 256 = 95. You can mentally view this as the calculation occurring with 1s and 0s, where everytime a 1 is added to a 1, there is a single bit carried and the last bit is dropped, which is exactly how full and half adders work in a processor!

This also works for multiplication! If we multiply -5 by 5, we get -25 easily. But for computers we do 251 * 5 = 1255. The modulo math starts to get tricky for us puny humans but for a computer it is trivial, 1255 % 256 = 231. As a signed integer that is equal to -25, as it is equivalent to (255+1-25).

For division, everything is just crazy. 250/5 is way different than -5/5, no amount if mod arithmetic will save it. Unsigned 50 and signed -1 have completely different representations, and this is even an example without fractions and rounding.

I may have went long winded, but hopefully this helps someone!
There is nothing "underhanded" about it, and it's nowhere near being "experimental": almost every country in the developed world has universal healthcare and the overwhelming preponderance of evidence demonstrates its superiority in every criterion.

If you think that the debate over healthcare has anything to do with the substantive merits of one system over another, you're viewing it through the wrong lens. It is purely a power struggle between a class of potentates who have become obscenely wealthy from selling insurance, and the vast majority of the public in whose interest universal healthcare is.

Medicare for All being a success in one state would change little by just adding more evidence to the existing mountain because, again, it is not a struggle between differing points of view, but between monied interests and the masses. The colossal propaganda apparatus wielded by corporate interests would continue to wage relentless war against any expansion of such programs.
> we should be doing things like cooling houses to 60 degrees during the day so that the AC doesn't have to be run in the evening

I'm dubious that this is a good idea. Cooling your house to 60 degrees on a hot day burns a huge amount of power needlessly. The amount of energy loss in a typical house is so big, this is a massive waste. Your assumption seems to be that you can bank power, using air temperature to try and story energy when it's inside a big leaky box is futile.

Keeping the indoor temp at 78 all day and cooling it to 72 around an hour before you get home is going to be far more efficient. If you want to burn power during the day, run your dishwasher and run a timed dryer load. If you want to bank it, buy a battery.
Maybe it has to to with them age restricting videos so that original content doesn't get shown as much as that from established media players. Or any mechanism that facilitates this.

Without account I see the same channels from TV stations now. While virility isn't a good metric for quality, the current one is a complete joke. YouTube didn't seem to be ready for YouTube and instead degraded back to TV.
English is not native to me so I'm not sure it is me that misunderstanding you or the reverse. By "no clear line", I mean something like building the OS on top of some of the language modules. Just like what biscuit did, the runtime and some other packages were integrated as a part of the OS. Such an approach brings inevitable impact to the project, because there will be no longer any easy way to keep up with the new features/progress in the language.

On the other hand, you stated

> I think using a language with most features implemented outside of the core language implementation, but rather in libraries, helps a lot here.

I don't see how your experience contradicts with my previous statement. Would you clarify more?

Also, I don't know Forth before. Thanks for enlarging my view.
So does not investing. Or owning assets you do not directly use.

The one good thing in the article is that it shows the power of saving more as a burst. It actually limits many types of risk, but then you can only actually do that if you have a rich job...
(It does not address existential risks enough. There are a few important ones it should as they're related to investments and reasonable saving rates.)

The advice to save on latte presumes you can actually afford it in the first place. Otherwise you're not saving, you're just not overspending.

I liken it to the advice that you should buy stuff used to save money, when you need it. There are many caveats to that.
> I'm not saying this is necessarily a very bad thing, nor do I have strong opinions on the usefulness of strict parametricity (which AFAIK Haskell doesn't have either). But in discussions relevant to parametricity, it's useful to know the ways a given language can subvert it (and Rust will further encourage it to be subverted, once the specialization feature is developed).

In practice Haskell seems to have pretty strong views on enforcing parametric polymorphism, doesn't it?

Haskell gives you ad-hoc polymorphism via typeclasses and there are also existential types and GADTs etc, if you need those. But once you declare something to abide by parametric polymorphism, you are expected to keep your end of the bargain.

(Yes, you could violate the pact via some unsafePerformIO trickery, but that's considered bad form.)
Hey, it's that guy from the video I sourced!

And yes, but people tend to pay attention to only the maximal value. Just trying not to complicate things.
is it that sensitive on wifi ?
Yet try and make any reference to the Disney version in your own production and see how fast the C&D's show up.

On that note, check out the Popeye version of the Aladdin and the magic lamp story. If you've ever read the original, you may notice the Disney version doesn't resemble it much, what the Disney version does resemble though a fair bit is the 1930's Popeye version of the story...which is actually quite good.

Actually, just check out any of those original Max and Fleischer Popeye cartoons...they're all pretty great.
In what sense has Go outshined anything?
> They put their safe harbor position at risk if they do so.

Only if they don't comply with a DMCA takedown notice, which allows the supposed violator to claim responsibility. That is, whoever posted the video can say to Youtube "This video doesn't infringe on anyone's copyright, let them sue me if they disagree" and Youtube would be in the clear according to the DMCA.

From what we can see in this case, Youtube didn't receive a DMCA takedown notice, since they didn't make it available for the channel owner. Youtube has other internal processes (like Content ID[1]) to detect and remove copyright content, it looks like one of these processes is what triggered the copyright strikes.

[1] https://support.google.com/youtube/answer/6013276
Depends on who "we" is. Apple's OS is largely a microkernel design & that ships on billions of devices. Build services for that OS at Apple from a safety/security/performance/battery life perspective is a dream compared to other OSes. Granted outside of that it's a bit rarer.
I read that “Prolog is just glorified bruteforcing”, is this true? (2019)
Seems to be this article is about when your product is bleeding-edge tech, but people are commenting as if it were about building your product using bleeding-edge tech (in-house or otherwise).

Definitely only do one of these at a time, tho :)
I started doing this recently for fun about a year ago, and boy am I glad I started doing it. Will do it forever from now on. It's fun revisiting entries.
i still play WOW but i really dislike Blizzard kowtow to China.
I've helped small businesses and startups deal with this before. I think there's value in this because most of the time they use mailchimp and end up in the newsletters inbox or spam filter. The roundabout way is doing mail merge using google spreadsheets + google script, using another tool like yetanothermailmerge or some overkill crm add on that does mail merge. This seems a lot simpler. I would love to try it but I don't have anything to mass mail right now. Looks promising though.
> start from CO2

Why would that route even be taken though? Biofuel for jet engines is proven technology in limited use for many years now. Let plants deal with the CO2, since they're good at it, then process the resultant vegetable oils to produce a suitable diesel or jet fuel.

https://en.wikipedia.org/wiki/Aviation_biofuel
I could go through the awkward process of making a clip every time I miss something and want to rewind a few seconds, but once I do that now I've missed even more of the broadcast and there's no way to catch up. Twitch only works comfortably for completely live viewing, watching finished VODs, or watching ongoing VODS with half an hour delay minimum.

Clips are a neat feature but they're a sharing feature, not a "help me watch" feature.
EPA Rejects Its Own Findings That a Pesticide Harms Children’s Brains
In our organisation strategic communication is not an afterthought but at the core of every programming decision. From HR to Executive Management, all involved all are aligned every time you press a button in order to deliver and innovate. Choose which of the following our Engineering staff should put at the core of your solution and we will make it our one priority from Executive Management up to Marketing.

> customer experience
> revenue streams
> core competencies
> best practices
> stakeholder engagement
> key performance indicators
> return on investment
> assets
> When reading Go code, I typically find it easy to understand what the goal of the code is.

I have the opposite experience. At a micro-level you might be able to tell what a line of Go code is doing, like manipulating this variable into that state etc, but it's such a tedious language that drowns the reader in code that it can be very hard to see the forest for the trees.

As an example of a deliberately simple language that mostly easy to read, I would perhaps cite Erlang.

In any case, I agree wholeheartedly that Go would benefit from sum types. (Though given the weak type system otherwise, you couldn't even implement a useful `Maybe` in Go. You'd really want parametric polymorphism to make sum types shine.) A way to express immutability would also have been welcome, especially given that they pride themselves on concurrent programming.
Isn't this the point of the legislation?

If you want to be deemed a public square type of space that is fine but you don't then get to impose arbitrary rules about what is said, that would mean it is not a public place and is in fact a private space being editorialized by your private rulings on what speech should be allowed.

This is a very good move and clarifies everything for everyone.
Sure, but if you blame the plague maybe some C-suiters will keep their jobs.
Intel-Owned Mobileye to Operate Dubai Robotaxis (Middle East AI News)
What Gödel theorems don't say
Gödel theorems don't say that a theory that is "complex enough", if is consistent, is incomplete.

The system of real numbers is both consistent and complete. And I think it is at least as complex as the system of natural numbers is.
Telling people to buy a mask last February was dangerous misinformation that threatened to cause a panic.

Facebook expat groups in China were trying to get the word out, and were deleted with extreme prejudice.

Obviously, they were right, and Facebook was wrong. Stuff that was labeled as fake news bullshit was actually the truth.

After all of this, how can you ever trust these companies to decide for you what the truth is? How can you ever trust Facebook again?
It's not that it's a barrier, but it's unclear that you need an account before being able to use the site.

I clicked on the PostgreSQL and Elasticsearch buttons a few times, the page seemed to flash for a second and then... nothing.

But as [lifekaizen explained](https://news.ycombinator.com/item?id=24569307), no signup with then the option to save when signing in would be even better.
2.5MB doesn't seem like much for baseline overhead (assuming there's no tree shaking). After all, the incremental amounts for more complex apps might be small if most of the framework is already mostly contained in the 2.5MB (not sure if it is). Imagine being able to run CAD software or other apps with complex desktop UIs in the browser.

I just tried loading NYTimes.com and it was 7.48MB.

My Gmail page is 9.31MB.

A blank Google Doc is 16.92MB.

That said, the (very impressive) Pixilart web app is only 1.91MB.

https://www.pixilart.com/draw
> Most of the bullshit that is circulating on the internet at the moment, for example as it relates to the pandemic say is balls to the wall craziness along the lines of bill gates inserting microchips in your brain or 5G infecting you with a virus, or you suffocating from wearing a mask.

This is an irrelevant straw-man that they trot out whenever anyone criticizes their censorship.

I tried warning people about Coronavirus last December, and was banned for telling the truth. I know people who were in China and saw what was happening first hand. And there was a growing preponderance of video evidence, as well.

Would you have laughed at me when I tried warning you to get a mask last February? Would you have flagged my comment as fake news?

The truth is that corporations like Facebook and Google are not infallible, and we should not outsource truth to them.

Not just are they capable of being wrong by accident, but they also have an agenda, like everyone else.

Last January, the "truth" was that COVID 19 didn't exist. Last March, the "truth" was that it was totally not contagious and that anyone talking about it was racist.

We should be blaming the pandemic on social media companies that suppressed people trying to report on it.
Thanks bawolff.

I read this wikipedia article about KE.

https://en.wikipedia.org/wiki/Knowledge_Engine_(Wikimedia_Fo...

I infer from the article that KE was, in part, a defensive initiative to stop google leaching traffic away from wikipedia.

It sounds like JW was a key strategist, and that wikipedians were left out of the loop, which lead to management turmoil within the ranks.

It sounds like a difficult situation, to fight an external threat using internal broadcast democracy, when you know the information is going to go public right away.

Can you imagine Gates, Bezos, Jobs or Google consulting 50,000 employees every time a competitor looked like gaining traction?

I can imagine the internal transparency and consultation practiced at WMF could be beneficial for many aspects of the operations. But at a strategic level, particularly when threatened, that model could have liabilities for an organisation - particularly one which commands such a significant place in what is a lucrative commercial domain.

To complicate matters, the funding for KE was coming from an external grant source, which may have had its own agenda.

Difficult.
I haven't seen an ad on Youtube in ages - except for a brief window when they got through my ad blockers recently but that seems to have cleared uo.

As far as content goes, I use it logged in, and I have plenty of good content, but of course the default for a logged-out user is going to be generic, trending videos. Youtube like any other social media platform expect you to have an account and curate that account.

Maybe you deleted your cookies or switched IPs recently?
> There is nothing whatsoever we can do about it. Plain and simple.

[citation needed]

Humans could never fly. We could never destroy entire mountains. We could never drain an entire sea or make an island. We could never split an atom. We could never walk on the moon. We could never have an international network sending live video around the world at near light speed. We could never burn so much fuel that we heat up the earth in a measurable degree.

Yet people did all of these things.

Just because it seems impossible now doesn't mean it won't be possible someday.

> I challenge anyone to show how anything short of all of humanity leaving earth can produce a rate of change dramatically better than tens of thousands of years per 100 ppm

If a single person right here, right now, could do that in an economical fashion, they'd be a trillionaire before the decade is over. Nobody in 2001 was single handedly making pocket-sized GPSes that played games, streamed video, and had AI facial recognition in the sub-thousand dollar price range either, but that changed fast. Anybody who proposed using solar panels and windmills as a main power source for cities in 1910 would've been called a kook just as well. It's incremental change.
Yes, the successor to the 5000-foot Roman mile should have been 5040, but 5280 isn't bad for something that arose organically out of various unit systems' needs.
My vocabulary is very wide and I can decide, on the fly, to change one word for another, and that only as a response to avoid stuttering in certain words. As a result I am quite eloquent, and for this reason my colleagues often ask me to be the one to give lectures, talks, and that means that my work is better known in my area (I'm not the best contributor).

It's strange that because of my stuttering I'm now the master of ceremonies.
> And they can’t use dirty tricks against another corporation to force a sale, like they might against private land owners.

so in theory the airports could modify their schedules and air paths so as to game the private housing market? buy affected houses while under your paths, then sell after changing your paths, repeat?
> The fact that Google/Youtube has zero support infrastructure should be evidence that they are a monopoly and engaging in monopolistic activity.

I'm not sure one has anything to do with the other.
Participating and writing are a bit different things.
This story took place in Germany.
In addition to these, I also use the sidebar's random button when learning a new language. Instead of committing to reading a book or reading the news its nice to just flip through random articles and trying to power through them, sometimes with the aide of wiktionary.
You and scarmig are both looking at the extremes. We're all screwed eventually, as death spares no life.

But we never know when that day will come. So a more nuanced perspective would be to treat the now as your finale, and the future as your encore. That way, no matter when death knocks, you leave on a high note.

If you put everything into your eventual encore, it's going to be one helluva encore if you get one, but incredibly bitter set piece leading up to it gets cut short, that chance never comes, and you realize just how flat your set piece ended up being. But it'll likewise be bitter if you pour everything into your finale, but end on a low note when you realize it's time for your encore and you've got nothing left for it.

So avoid both extremes, and enjoy today while hedging for a potential tomorrow. As long as you keep that in mind, and consciously attempt to not invert it (i.e. maximize for a theoretical future by sacrificing your certain present), you'll generally be in a good place no matter when death knocks.
YT never mediates DMCA complaints. That's not their role or responsibility, nor something they can even do at all. DMCA requires the sites receiving them to immediately role over and comply. Which is the system that should be getting the ire and calls for changes.

And the video itself is identified. He does have that information.
Fwiw, I converted this random CA secured XFA form to an unlocked Acroform in a few seconds.

From https://www.canada.ca/en/revenue-agency/services/forms-publi... to

https://slack-files.com/T02FQ9S94-F01BA4CS9QA-a692aafd70

Only difference I can see is the "Clear Data" scripted js button no longer works.
Is anybody actually buying a latte for $3? Or are they buying a socially acceptable trip away from the office for 15 minutes to clear their head, now that smoking isn't really a thing?
TensorFlow Recommenders
The iterated prisoners' dilemma.
I think the difference is that some Googlers can write Go blogposts during their working hours?