skysight-inc/HackerNews huggingface dataset:
> There's no theoretical difference between phis and basic block parameters.

I question this claim. Don't basic block parameters allow you to do interesting stuff also at split points, not only at join points?

For example:

if (x == 0) {
y = 2 * x;
} else {
y = 3 * x;
}

In SSA form this is:

if (x == 0) jump B1 else jump B2
B1:
y1 = 2 * x
jump join
B2:
y2 = 3 * x
jump join
join:
y = phi(y1, y2)

You need conditional constant propagation to realize that y1 must be 0.

But with basic block arguments you could do this (improvising notation on the spot):

if (x == 0) jump B1(0) else jump B2(x)
B1(arg1):
y1 = 2 * arg1;
jump join(y1)
B2(arg2):
y2 = 3 * arg2;
jump join(y2)
join(y):
...

Basically, as soon as information becomes available (x is 0 along some path), that is explicit in the IR. Realizing that y1 is 0 only takes simple, non-conditional sparse constant propagation. You might not call that a "theoretical" difference (what theory are we talking about?), but it does give you a simple way to access information that is not explicit in SSA form.

In effect this latter representation is something like Static Single Information (SSI) form: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.9...
> Once your idea is public knowledge, there is no reason for it not to spread freely given how easy it is to transmit information now.

This treads into territory I feel is grey. I imagine the complex case where I sell some creative content (e.g. a pdf, audio file or video). You pay me for access to this content and download it. I grant that you ought to be able to retain a local copy of that content for so long as you wish.

Then you create freecontent.com and publish it. You don't put ads on it, you don't sell it - you simply make it available for free at some URL without my express permission. In a world where that is legal, I feel it would materially harm my ability to earn from content I create. I have a hard time supporting that even though I am sympathetic to the idea that information ought to spread freely.
Or purposefully recorded at 432hz instead of 440hz... :(
Does your ad blocker not already remove the ads?
They can't fully un-ring that bell. The RIAA will always be able to argue infringement was the purpose since they used copyrighted examples.
Basically there is not need and motivation for humans to colonize anything outside the Earth. It's just too far, too expensive and too uncomfortable.

Humans evolved specifically to live on Earth, to live somewhere else, they need to be severely altered. Now you just seeded civilization of another species, that might turn out to be confrontational or outright hostile. Why would you do that?

Too see how well this works out on the local scale see colonization of Americas.
I‘d prefer if mozilla would have finished Firefox’ transition to Rust/Servo to make their core product dramatically better and start regaining browser share.

Seems that accumulating expensive C-suits, firing a chunk of their best engineers and building this instead was sexier.
From a product perspective, I do think this is an important one in the longer term. VR and AR are going to be big, and Facebook is making a play to own the social space and tie it to their hardware with Horizon.

There's literally no one competing with their Quest platform, so they'll be in a market position to turn Horizon into the dominant social environment for a whole lot of VR users.

Without cross-platform social systems like this, you end up in a world where your grandma has an Oculus headset and if you want to virtually visit them you need to be on a Quest as well.

BigScreen is another example that I'm glad still exists. Facebook would like to either own them or crush them: https://twitter.com/DShankar/status/1295825811748999173

> When I announced a beta version of @BigscreenVR
in 2015/2016, Facebook reached out. They told me to join them, because they were going to build the same thing and crush us.

> I have many stories like this. I can share a long list of VR devs who have been trampled by Facebook.
Precisely. I would hate Electron less, if it shipped as a runtime like Java. Though I still think shoehorning web tech onto the desktop is stupid.
I'm surprised that with the number of complaints about Google auth, FB and Twitter are what come to mind as viable alternatives.

I would consider using Apple for something like this. But limiting it to third-party auth is pretty unfriendly to users.
The RIAA and MPAA were suing users of Kazaa who were alleged to have redistributed copyrighted works. These lawsuits were not because someone possessed or redistributed free software source code.
This can be fun if it's a particular client request that causes a hard failure, and the client retries several times before giving up. Before you know it, all your instances are restarting and no traffic is being handled...

So fail early, but not too hard.
> you have to move mountains and requisitions to be able to accomplish the same thing

This is one of the (many) reasons it's good for techies to get out of their bubble. In many cases, knowing someone in another department makes it as easy as "hey, Susan, when you have time could you please..." and it's done tomorrow with zero paperwork.

I worked for a large corp for 17 years and I saw this a lot. After being there for a while I knew a lot of people. People would struggle to figure out how to get something done and my answer was usually something like, "come with me. I'll introduce you to Charlie in Technical Publications and he'll get it done for you."
This is what the internet is for.
Cryptocurrencies aren’t exempt from that, the 2018 Bitcoin boom and bust was likely caused by one whale account[0] manipulating Tether. By your argument, Bitcoin will become corrupted because we know it can be corrupted.

0: https://www.google.com/amp/s/www.technologyreview.com/2019/1...
> at least not if you're doing anything that smells of copyright issues

Or lets people communicate. Or broadcasts news. Or can filter messages or news. Or directly applies encryption to anything. Or is related to accounting. Or can be indirectly linked to health services. Or, well, you get the idea.
A few comments (if memory serves from my earlier reading of this thread) the faculty job market is a pyramid. With the number of people exiting the pyramid being very high due to the few positions at the top.

Is there another structure that would encourage a less severe forced exodus of people while maintaining their jobs?

As an aside this pyramid seems to me to function a lot like the government with the leader/president at the top. Only the president has limited tenure. Should professors with tenure have a term limit too?
Yes, this last fact is explicitly mentioned in the last two sentences of this section.

> Another issue is preserving the state of the program stack, as it is destroyed in the process of dumping the Lisp image, and it cannot be fully restored when the image is thawed. However, portability libraries such as Dissect[0] allow for saving the stack state as normal Lisp data that can then be inspected using the system inspector.

[0] https://shinmera.github.io/dissect/

Still, you can fully preserve the full stack information as Lisp data along with the whole heap, dump the image, and then inspect the dumped core as if you inspected any other Lisp image. This is already a big quality improvement over digging in dead crash dumps or - worse - textual, printed stacktraces with no other information available.

Therefore, I think that the statement "you can't use saved images to debug errors in SBCL" is somewhat far-fetched, really.
> On Linux I can issue a command from a general command interface (the CLI) to just play a video. If I only want audio, it's an option away. I can script things together...Windows, the popular workstation, is not that.

I use the same video player on Windows that you use on Linux, mpv. And I have a ton of scripts I use to navigate my video library. Windows doesn't put any burden on apps to not be interoperable. Plenty of apps interoperate just fine.
Ah, so now you're encoding out-of-band communication into your data? How is that not worse? This also completely breaks if your data is validated against a schema, or if your comment gets parsed as a data entry. For example, in Javascript projects you define your dependencies in package.json. I can't add a comment to explain why I had to add a strange dependency, because npm will interpret it as a dependency itself and then break.
No? Node.js 15 is "current" - as in it is essentially the "develop branch." If you take a look at the release cycle, 14 will start LTS in a few days, and 16 will start as LTS next year in April. While in LTS they only receive security updates as well as critical bug fixes.
One thing that's often overlooked when people talk about crypto's shady image and lack of real world use cases is the fact that a huge number of world governments and financial institutions are doing everything in their power to hinder its wider adoption and prevent people from using it, without jumping through a ridiculous amount of regulatory hoops which pretty much undermine crypto's USP in the first place.

Personally I think KYC is one of the most disgusting invasions of privacy that has ever been foisted upon us. As usual the "Terrorists, Paedos and Drug Dealers" [Ts, Ps & DDs] bogeymen have been trotted out to justify the state's self-proclaimed right to know exactly what money you have, where you keep it, who you give it to, what you spend it on and where and who you got it from in the first place [see also the increasing drive for us all to become cashless societies. A further erosion of the right to get and spend without 'The Man' knowing every detail].

The wider adoption of crypto promises to return financial privacy to the individual and this is why governments around the world are so aggressively opposed to it. Crypto allows the anonymity of cash but on a global scale. So, in order to discourage this, there's an increasingly impenetrable regulatory wall built around the entire crypto ecosystem. Government and big finance can't do much to prevent what happens inside the crypto bubble. But they're doing their damnedest to make sure that getting fiat into or out of that ecosystem is made as difficult as possible.

One slight aside: Many of you will remember when the Panama Papers [0] scandal broke, a few years back. There were supposedly amongst them documents that showed that the then UK Prime Minister David Cameron's family were involved in moving large amounts of money around undeclared offshore bank accounts.

David Cameron was asked about these allegations and, refusing to answer, he said "A family's finances are its own private affair".

I often bring that quote up when people counter any mention of cryptocurrencies with the tired argument about them being used by "Ts Ps & DDs". Why is it OK for the rich and the ruling classes to move their money around anonymously in offshore tax havens and numbered Swiss bank accounts, but the ordinary Joe Bloggs in the street is expected to conduct all his financial dealings under the scrutiny of the government? And, if he dares to believe that his finances are 'his own private affair', he is practically branded a supporter of "Ts, Ps & DDs".

[0] https://en.wikipedia.org/wiki/Panama_Papers
Another common trick with horizontal blanking is simulating water, such as this stage in Sonic the Hedgehog: https://www.youtube.com/watch?v=EV9PSaw2Q0c

At the specific horizontal line, change the color palette.
No joke -- if they could get the legislation signed into law they would be thrilled.

They could care less about side-effects and collateral consequences for adjacent technologies and use cases.
Unfortunately the law defines access control VERY broadly. If they take any steps at all to make it difficult to download the source video then that is a technological measure to control access. There is no requirement that it be effective.
CERN isn't an EU organisation - it is funded by its 23 member states, and collaborates very closely with its other observers.
That may be true, but this is not a claim on YouTube, (or the case of many frivolous claims made by these same RIAA folks on YouTube, that I know we're both thinking about.) There is no advertising sold on GitHub that I am aware of, and unless the youtube-dl authors are paying subscribers, I'm not sure how there could be any monetary damages to GitHub or Microsoft.
I've always hated the term contract in this context because it's overloaded. These are mathematical contracts, not legal contracts. The underlying math enforces the outcomes.

Anyway, I think the tech is agnostic. It can be used for good or evil, just like a knife. It's just a tool.
Metallic Editions I-Type Instant Film – Polaroid US
I'm not a lawyer, but I am playing devil's advocate here.

Did your customers own those video files or the rights to the video? If they are the authors and owners of the content surely they uploaded something to YouTube to begin with. Why is that not what they uploaded to your service? If they preferred to import YouTube libraries clearly YouTube was adding some value there.
Point taken. Maybe this was just one of many factors? I could also see that Google had products that were overlapping (Youtube and GPM), and they decided to merge them, and this is the way they did it?

I definitely had friends that used Youtube as a poor-mans spotify and would just keep the videos playing in the background on their desktop.
Happy Birthday!

SQA is the easiest entry level job to get if you are technical. Get one of those and program your way to the top. Replace yourself with a program. Just keep programming and getting better.

The competition is intense. I understand the feeling. Helping others will help you. Maybe offer to help out at the local high school teaching programming to the kids. A lot of parents wants their kid to code.
Alire: Ada LIbrary REpository
But the electors of the electoral college are still not aligned with equal representation because of the various state populations.

The National Popular Vote Interstate Compact would turn the mechanism of the electoral college into a result equivalent to a national popular vote.

https://en.wikipedia.org/wiki/National_Popular_Vote_Intersta...

The wikipedia article doesn't go into details about resolving issue around disenfranchised voters and vote counting, such as hanging chads or uncounted mail-in ballots. In other words, the compact states are binding themselves to a popular vote count that non-compact states have no incentive to get accurate.
I'm also NAL, but familiar with IP law.

My analysis is at https://news.ycombinator.com/item?id=24874277 and I'm broadly skeptical of the legal viability under US law.
See: https://support.google.com/youtube/answer/6308116?hl=en

> Play videos on your mobile device while using other apps or when your screen is off. Background play is available on YouTube, YouTube Music, and YouTube Kids mobile apps (if these apps are available in your location).

They only allowed background play on Youtube with a subscription.
That's because you are using a guitar, which is not perfectly in tune no matter how you tune it.

For an equal temperament instrument (like a midi keyboard), transcription would be seamless.

For a fretless instrument, transcription can be made seamless, if the player is good at intonation.

However, the timbre of the instrument can still be a little different for each key (e.g. open strings vs fingered notes), but that's a nuance on instrument rather than transcription per se.
I think the point of Q is to prevent conservative American boomers from organizing, by duping them into thinking that 'their guys' are already winning and they don't have to do anything.
https://www.wolframalpha.com/input/?i=0.00000343477%25+%3C+0...

Result: False
I read it back when it was published, and thought: "this logic is incontrovertible, but assumptions are way dark; what is the probability he's right?"

In less than a decade, I was convinced RMS had been right. This is why I look very warily at anything based in a third-party cloud, because later RMS warned about its downsides, too, way earlier than the general crowd started to realize them.

Before 23 years have passed, I'd like to remind about another gloom-and-doom warning, by Cory Doctorow in 2012: https://boingboing.net/2012/01/10/lockdown.html
> Combining Youtube Likes with the music thumbs up makes no sense - I now have lecture videos that randomly play while trying to shuffle my library

If there was a way to say "no, this isn't music", this would be easily solved. But Google's fascination with "AI-only" solutions won't let that happen. (You'd think someone would be happy to have an extra source of training data!)
Quite obviously, because the developers decided to host their code there.

If they hosted it somewhere else, there would be different laws restricting how people all over the world use it.
The "under penalty of perjury" part of DMCA has always been fascinating to me. Has there ever been a single case of this being enforced against inappropriate DMCA takedowns? What's next? DMCA against Intel for making a chip that can facilitate copyright infringement? Maybe a power company for providing power to the machine that could do it?
The IMF already doesn't have a say in this. The USA isn't going to have a say in it either if 30 year yields go down any further.

Also I'm not claiming that the BTC will take over the dollar, I'm saying dedollarization will occur in general. This isn't a particularly controversial opinion at this point in the finance world. The average CNBC guest is willing to admit this at this point.
Not a big believer in the concept that you need a lot of interactions with many different people for a good "socialization". But just watching e-learning videos everyday is definitely not the best idea. Trying to replicate the usual school curriculum at home via videos sounds like the worst of both worlds.
Yeah I'm sure the RIAA won't notice their name hidden in there and argue the tool is designed to obtain their content.
You can read what the person or people who write as Q post (http://qposts.online/), then you can read the is written about Qanon (https://www.google.com/search?q=Qanon). Warning, they live in different universes.
It can be done, the search keywords are "git rewrite history".
To misquote Richard E Grant: Let the forking begin!
Thanks to all that complexity in HTTP (particularly HTTP2), there is no need to pay that headers size cost in most cases, particularly ones where bandwidth tends to be a concern. Yes, naive and "simple" implementations totally waste a TON of space in headers, and even if you exploit all that complexity HTTP is still inefficient in terms of network bandwidth consumption, much as even compressed JSON is still inefficient with its use of bytes.

All I'm saying is that while JSON is horribly inefficient for some payloads, the reality is that most serialization formats tend to be efficient for specific kinds of payloads, but still have plenty of common cases they don't attempt to be efficient with. For example, machine readable formats like protobuf, thrift, avro, etc. employ some variation on varint encoding to keep small integers compactly represented, they encode strings relatively inefficiently; They encode field type & number, followed by a varint for length, followed by uncompressed UTF-8 encoded payload... and I've found that if anything it seems once you go through the compression ringer it often isn't much different in terms of space consumption vs. JSON... and sometimes it can be less efficient. Given how often fields end up being encoded as strings (even though they should be enums, ints, etc.), this has resulted in a lot of surprising cases for teams who have tried switching away from JSON to reduce payload sizes. If you cared about efficiency, you'd probably have a special encoding mechanism for short strings, and then a reasonably compact (but fast to parse) representation for longer strings, probably using something like SCSU encoding instead of UTF-8.
Nice! Many years ago I built something like that as my first JS project. Oh the days.
Well, I would say here on HN at least the general bar is higher.

And sure, anybody can be manipulated, but also, with different amount of effort.

Tricking my young family teenage members into buying something shiny they don't really need?

Not too hard, show a cool ad or pay some influencer to feature the product in a way.
Getting people of the HN crowd to buy somehing shiny they don't need?
Lets say, the new KI assistance?

I would say, that is a lot harder, as most people here understand how (political) marketing works. And once you understand, you don't fall for it so easily.
This is a really cool gimmick, but meanwhile... I've been using Firefox exclusively for 20 years but recently I had no choice but to switch to Chrome for work meetings because the microphone would get randomly disconnected in Firefox.

I really hope Mozilla wake up and switch their focus back to trying to make the best browser possible and not wasting time with spin-offs like this one or I'm afraid soon there will be nothing left but Chrome.
EDN has a few limitations regarding encoding custom types (tagged literals), and also performance in general. I understand both Transit and Fressian are possible evolutions addressing these points.
Building particle accelerators is the status quo. I first looked up a list of upcoming accelerator projects on Wikipedia more than a decade ago. A proposal to continue the status quo is rarely novel. An argument against the status quo brings up new ideas.
I'm NAL, but familiar with IP law.

My analysis is at https://news.ycombinator.com/item?id=24874277 and I'm broadly skeptical of the legal viability under US law.
Perfect pitch here too...

Curious if this happens to others - you’ll hear a noise (e.g a glass hitting something, an object falling to the ground etc) that makes a single tone, and a song immediately starts playing in your head because it starts with that same tone?

My stand up desk at an old job was the starting pitch to Beyoncé’s Crazy in Love
I use asdf-vm, which automatically sets up your binaries when you enter a directory that needs them (provided they're set / described on a .tool-versions file). It's really neat, especially because you can check the tool-versions file into version control.
WOW!!!

“These directories contain the "raw" form of the anthology, which is to say RTF, GIF and JPEG files, along with a few ASCII files. They are found in the online version, and in a special directory on the CD for people without MS-Windows or a Macintosh.” [read.me]

The format description for the .txt annotations is at: "hugo-nebula anthology 1993/hugo/novel/vinge/exnotes.txt"

To take a first quick look at the notes:

unzip hugo.zip
cd 'hugo-nebula anthology 1993/hugo/novel/vinge/'
rg '^\^ ' # or grep -rn '^\^ ' .
> "which should be illegal" - is exactly an example of the coastal attitudes that are disrupting a very well ordered, high trust society. Consider that this state basically solved the homeless problem by violating a sacred principle which, fully expressed in coastal cities, neither seems to actually help the homeless nor the residents around them. It's possible that the firewall between civic and religious institutions isn't a universal evil.

"Separation of Church and State" being a sacred principle is quite ironic.

I think one of the biggest political problems in the US right now is the fixation on dogma for its own sake. It's happening all over the political spectrum and predictably leads to the dysfunction of polarization (where factional dogmas conflict) or dysfunction of purity (where there's little dogmatic conflict, because the dogmas are always incomplete). We're probably overdue for an era of pragmatic compromise.
It's literally right there in the law that it needs to be effective.
Ah, so that's probably the reason behind the incredibly grating "Are you still watching?" modal interrupting the video.
At the same time, this is not public infrastructure. This is a gift to you.