skysight-inc/HackerNews huggingface dataset:
Why is it that Cantor can do an infinite procedure of diagonalization but I can't? If he can diagonalize then I can too. Is it possible that Cantor's "algorithm" is not really an algorithm? Knuth says an algorithm must be correct and must also terminate.

Regardless, I have a lot to ponder.
I wrote a script generated Java dto objects by filling in templates. Essentially the same stuff lombok gives for free. But this was a Big Dumb Corp on an ancient version of java. And due to their requirement had to have nearly the same dtos in five different areas of the code. Saved me carpal tunnel typing all that bs.
the examples had the character move precisely like in the reference video. This just looks like the AI recorded the original video and played it back.

I thought the AI created a playable game engine from the reference video? If so, why did it need to replicate the exact movement of the game character? Why not come up with its unique set of movements in a fully flexible game engine?
You're right about diagonalization when it's given our choices as input. When I said 'writing down' I meant 'in a self-contained way', i.e. without taking any input (such as our choices).

This rules out diagonalization, since that can't be run until it has a list of numbers to diagonalize. In the 'reverse' game, we're first running the counter-example-outputting program that Cantor provides, and then using its output to pick our numbers. If Cantor gives us a diagonalization program, we'll get a deadlock. In fact, the strategy to beat Cantor in this reverse game is simply the identity function: if Cantor's program claims that "X" isn't in our list, we can refute it by outputting "X".

The way I think about it is this: if we give Cantor our program up-front, he can run it to see what we're going to choose, then pick his 'move' accordingly (e.g. via diagonalization); if Cantor gives us his (self-contained) program up-front, we can run it to see what 'move' he's going to choose, and pick ours accordingly (e.g. via the identity function).

Both games are a win for whoever goes second.

Alternatives to the 'up-front' approach include:

- Interleaving or concurrent outputs, in which case there would be no winner: each time a number is added to the list, diagonalization extends its counter-example with another digit; each time the counter-example is extended, a number with matching prefix is added to the list.

- Interleaving or concurrent programs, with access to each others' source. I think the winner would be whoever has the most computing power (and can hence simulate their opponent further into the future).
It's still extra work that must be done in order to push out a release -- and by a couple of folks, at an already busy time. It's not like they have all of the Red Hat staff assisting them with it. Personally, I'm pretty impressed that they manage to get releases out as quickly as they do (except for, perhaps, the .0 releases; I wish those dropped quicker but I certsinly understand why they take as long as they do).
I don't see how these tiny "vending machines" can be considered to compete with bodegas. Especially since many bodegas carry products targeting immigrants, whereas these vending machines to carry the absolute bare minimum of the most mainstream products imaginable.
Yeah, I agree. That's when I use vim/emacs.
Right. This is something that people often miss when they say ridiculous things are illegal. The whole point of judicial review is that just because the legislature says something is legal/illegal, doesn't mean it actually is.
> Subjective awareness exists. "Qualia" is a name for the content of awareness.

Well, as I said in an earlier post, I'm talking about the existence of qualia "beyond being a vague description for emergent properties arising from our cells." People have a sense of self, sure, and people experience things. But usually the people who bring up "qualia" seem to think that our sense of self can't be explained as simply being neuronal activity.

For instance, "redness" doesn't seem to be mysterious at all to me. Our brains fire in a certain way when presented with certain stimuli. As for why they fire in that particular way, it's complicated because the brain is complicated (and each persons brain is unique). But it's a complicated physical system (and one that we're gaining a better understanding of each day).
Amazon in £1.5bn tax fraud row
Indeed ;) Except for everyone else doing the same :(
> It's not true that there's nothing new under the sun. There are some domains where there's almost nothing new. But there's a big difference between nothing and almost nothing, when it's multiplied by the area under the sun.

PG, I see what you did there. The rest of the essay is just a setup for this single paragraph. This is your own small delta of novelty. Well done.
That is not unique to SoFi by any means.
Ask HN: Why isn't logic intuitive to some of us?
I struggled at logic and proofs. I struggled at Discrete Mathetmatics and Theory of Computation.

I felt so stupid in those classes, and was demotivated and never put forth any effort. Why isn't this stuff naturally intuitive to some of us? Is the only way to get better at it is to just grind it out and wait till it clicks? Why can't I just see it and get it? Is it because I must learn the language like how one learns the english language?
> ... unsuccessfully because "customers don't need it ..."

And yet, as I noticed (yet again) earlier today while working on kickstarts, it is impossible to get rid of some packages that I will never want installed because they are listed as required dependencies when they really should be, at most, "recommends".

For example, I'm currently putting together a kickstart file for a minimal "desktop" installation on ThinkPads -- well, as minimal as RHEL will let me, that is (which isn't saying much). There are numerous packages that I absolutely do not want on these systems but that I am stuck with, such as: bluez, cups-{libs,pk-helper}, gnome-bluetooth{,-libs}, gnome-online-accounts, libsmbclient, oddjob-mkhomedir, samba-{client-libs,common}, tigervnc-{license,server-minimal}, and probably some others that I'm forgetting at the moment.

A few of these -- the Bluetooth-related ones -- are particularly relevant [0], yet I can't uninstall these packages (or, better yet, avoid installing them in the first place) without rpm/yum insisting on also taking out dozens of other, critical packages (no, "--nodeps" is not an acceptable solution). Yes, I can "hack" my way around it (disabling services/unit files, etc.) but it would be great if one didn't have to do that in the first place.

Sorry, this wasn't directed at you personally, but rather Red Hat in general.

> ...fought unsuccessfully to include some package in RHEL6 ...

On a side note, I'm now curious which package you were referring to.

</rant>
> Annotations are never the correct answer. For any use case, purpose

That's a pretty absurd claim, especially given their popularity.

What do you use to annotate elements present in a Java source with metadata?
Anyone else notice that this guy's wife (June Ou) is also Asian?

So we have Dave McClure of 500 Startups, Justin Caldbeck of Binary Capital, and now SoFi's CEO. And I'm sure there are a dozen others.
> When you pipe it through cat (so it can't detect a tty), the columns don't even line up.

Weird. At first I thought it might be due to tabs, but it appears to be using spaces.
It was even sillier for me... I have broadband. The content loaded just fine and I started reading it and the loading screen came up over it and blocked it. Stupid-ware.

uBlock Origin: right-click > block element... gone.
Audio always seems to be neglected and underfunded, compared with video. BeOS seems like one of the ones that did it right.
Have you actually tried using the command in my comment?
Simplicity of operations. Power management isn't an issue since the probe generates plenty of power from its RTG constantly. Instead of just constantly telling the probe to do nothing the probe has a built-in hibernation mode.
You are comparing a system that learned to play a game (which indeed was very impressive), to a system that learned to make the game by observing the behavior from video. None of your points actually relate to the system described.
I'd suggest pipenv for this kind of thing. It will generate a pipfile.lock, which is the (still in development, but pretty stable) official way to create a locked set of deps.
Every so often, I like to take a moment to appreciate how quickly fully highlighted files flit past while typing in the fuzzy file search prompt.
Wagers are the mother of all innovation, so I wholeheartedly support this.
Scheduling Meetings with Prospects and Clients
Maybe that was just to show the recreation. An engine is pure code and a lot of times closed source. Just creating animation and similitude in that ways does not recreate a engine but could create those aspects. Engines have many aspects of game mechanics many you do not really see directly but as a byproduct.
I'm chuckling so hard right now. You have no idea what the principle, terms or rates involved are yet feel the need to make assertions about possibilities and my knowledge of finance. It's an incredible representation of a certain kind of know-it-all nonsense.
Some startups will create extra wealth, some will destroy wealth some will redistribute it.

Imagine I create a new shoe factory right next door to an existing shoe factory. After 10 years we find...

1) I failed, I lost all the investors money and had to close down. I destroyed the investors wealth.

2) I win, the next door factory has closed down and now I have all of their business. But I have exactly the same costs, sales, staff and so forth. So the profits come to me from now on instead of the neighbor. I have supplanted them, but consumers and the economy as a whole is no better off. Wealth is transferred to me as ongoing profits that would otherwise have gone next door.

3) I win, the next door factory has closed down and now I have all of their business. I produce the same output as they did but with less staff and lower costs. So consumers benefit from lower prices, the money they saved can be spent on other things, creating demand elsewhere. Wealth is transferred to me as ongoing profits that would otherwise have gone next door. Everyone wins except I employ less people than the neighbor so there is less employment. But the extra demand for other goods because of my lower prices means they get employment at other businesses!

Number 3 is why the UK, which used to employ 90% of people in agriculture before the industrial revolution, does not have 90% unemployment today, the people released from agriculture because of better productivity are freed to work in other sectors instead.
Signatura becomes the first digital signature solution with OpenTimestamps
are there any affordable places in around SF? North Bay or Berkeley or further south? or are they all just as insane prices?
Do we really have a strong ability to modify affordances based on user constraints (whether implicit or self defined)? I'm a teacher at the high school level and would love to see tools that integrate with, and enhance, my planning>classroom performance>efficacy assessment workflow, but... really, we aren't even trying to do something like that. I had a paper grade book; I have an electronic one now. I had a blackboard; I have an electronic one now. These are fine tools, but they don't move the needle in a way that really matters.
Not sure if this fits your needs, but I've really liked pgweb. https://github.com/sosedoff/pgweb
GitHub - sosedoff/pgweb: Cross-platform client for PostgreSQL ...
> If we're defining "red experience" as the neuronal activity that humans have when they see red, your wondering why a rock can't have that? I mean, because it's a rock that doesn't have a single neuron, let alone a human brain?

Because brains are made up of ordinary matter, just like rocks. If it's the behavior of neurons that's special, then consciousness is no longer identical with neurons, it's identical with any physical system that functions the same way. And then you have the possibility of very counterintuitive arrangements, like a billion Chinese instantiating a blue experience, or a meteor shower simulating experiences.

> We know that neuronal activity is necessary for the experience, we know that it coincides with the experience, and we know that changing how neurons operate can affect the experience. It doesn't seem like a stretch to say that they are the experience.

But what is it about neurons that make them experiential? And only some neurons, because a lot of neuronal activity is not conscious.
nice, I had no idea.
> The API has _zero_ provision for streaming MP3.

Did you look into Media Source Extensions[0,1]? Fetching and playing the various audio formats is a bit outside the purview of Web Audio. But you can feed streaming MSE into Web Audio. If I recall, you use Web Audio's `AudioContext.createMediaElementSource()` to use a (potentially chunked) MSE source with web audio, but it's been a while since I did this.

That said, Media Source Extensions (MSE) is only supported on relatively modern browsers (IE11+) but you should be able to use it to stream mp3 to the Web Audio API on supported browsers.

There's also a way to do this without using MSE for older browsers. See the 72lions repo below for an example[2]. It's a bit convoluted, but not as much work as your workaround. As described in the README of the 72lions proof-of-concept:

"The moment the first part is loaded then the playback starts immediately and it loads the second part. When the second part is loaded then then I create a new AudioBuffer by combining the old and the new, and I change the buffer of the AudioSourceNode with the new one. At that point I start playing again from the new AudioBuffer."

0. https://developer.mozilla.org/en-US/docs/Web/API/Media_Sourc...

1. http://dalecurtis.github.io/llama-demo/index.html

2. https://github.com/72lions/PlayingChunkedMP3-WebAudioAPI
It's not just monad transformers, monads themselves are pretty awkward to use in any language that's not Haskell. And actually, a lot of FP languages simply don't even have monads at all (OCaml, F#).

Monads should never have escaped Haskell.
90 CVEs fixed in tcpdump
That's why some people cannot use React.
Any tips for people who want to start writing speculative fiction (or just short stories), other than to just practice a lot?
That's nice, but form a hard-nosed engineering perspective, not just sometimes, but in general 19 lines of yucky procedural code that pretty much anyone can understand (and debug) are usually way, way better than 9 lines of "elegant" functional code comparatively far fewer people can (really) understand - and which can be comparatively far more sinister and nefarious to debug.

Given that, after all, it's just posting likes we're talking about. You'd think that with such a bold proposition as "Why category theory matters -- no really, it does!" this would be about hot-synching whole data centers, or getting drones to deliver medicine in Africa, or something like that. You know, something perhaps unthinkable (or maybe just far less tractable) with procedural (or just less sophistical functional) code.

But no, in this case apparently it's about... updating your FB likes.
Sure, but Java made that claim as a platform in 1995, and it was free and open source.
But the impressive sell of this technique was the AI discerned enough patterns and physics from the reference video to auto generate a game engine that replicated/simulated the original game. This alludes that it understood the player character and now can control the sprite representing the player character via unique paths through the game map.

It's waaaayy less impressive if it's just programmatically processing video frames, tracking pixels to generate coalescence, generating a library of sprites based on pixel coalescence, and then playing back the same sequence of sprites programmatically...
Spire (YC W15) is hiring an iOS lead to transform healthcare sensors and data
you no longer need Windows Insider preview for WSOL - its part of the creator's update. still has a beta tag but its available without having to use a full beta OS.
From https://blogs.msdn.microsoft.com/commandline/2016/11/17/do-n...

Therefore, be sure to follow these two rules in order to avoid losing files, and/or corrupting your data:

DO store files in your Windows filesystem that you want to create/modify using Windows tools AND Linux tools

DO NOT create / modify Linux files from Windows apps, tools, scripts or consoles

Remember: There's a reason we gave the %localappdata%\lxss\ folder 'hidden' & 'system' attributes
How to Make Autonomous Vehicles Reliable
It only advertises to people hitting your site with curl or looking at the HTTP headers, so basically sysops guys curious about what your stack is. Actual end users will almost never see it. So what?

We switched to OpenResty lately for our nginx bundle and it changes the nginx Server header to OpenResty, and I cared so little I didn't even bother to put a sed command in our install script to change it. It could say Diet Pepsi Uh Huh It's The One.. who cares? Maybe I'm going to do that with the next update just to make a point. The only reason anybody would even notice is because I told them about it.

FOSS is in serious trouble right now because the funding model is in shambles, and the only way we get anything good funded now is if the megacorps decide to fund something. We need to find better ways for the little guys to put food on their tables, or we're doomed as a community. We tried direct payments to FOSS devs, and that went up in flames. These guys came up with a clever and unintrusive way to advertise (really just to show sponsors, which isn't really even advertising) to tech people, and instead of being supportive of a novel way to fund their project everybody screams bloody murder at them.

If the FOSS community wants to continue to exist as a venue for quality software, the first step it needs to take is to stop chewing its own arms off. Please have a perspective here and understand that these developers are just trying to make a living, just like all of us are. The only thing worse than starving to death making something free for other people is doing it while they sit there and hate you for trying to figure out how to put food on the table. All the quality people will leave FOSS forever, and we'll be stuck with a bunch of random unmaintained garbage and bizarro overengineered UI crap Facebook wants to publish to status compete with Google's bizarro overengineered UI crap, and we'll all be worse off for it.
Sometimes these things are peeves. I have a peeve about using "they" as a gender-neutral singular pronoun, but admit it doesn't have much effect on expressiveness.

In general, though, I feel that the more precisely we use language, the more expressive it can be. Begging the question is different from raising the question. If we allow that conflation, it then becomes more difficult or requires more words to express what "begging the question" really is.
Decentralized Social Networks Won't Work
The parent is storing files on the "Windows" part of the filesystem and accessing them from WSL, while my post (and https://blogs.msdn.microsoft.com/commandline/2016/11/17/do-n... which it indirectly links to) refers to storing files on the "Linux" part of the filesystem and accessing them from Windows (apparently some files must be in the Linux part, like certain configuration files etc.)

Incidentally, the response from a MSFT employee about why this isn't a problem with Samba is "Because this isn’t a supported mechanism for accessing files via a networked file access protocol; it’s what happens when a hacker modifies files stored in a hidden system folder.", which is pretty much a non-answer and almost a "you're doing it wrong" accusation in an attempt to hide from the fact that they seriously screwed this up.
Category theory matters to programming because, among other things, it teaches us how to abstract over programming languages. What better definition of abstract programs than "things with types which compose"?

Now consider categories with various types of constructions (products, limits, exponentials, etc.) and you'll notice they correspond to requiring certain features in your language.
It's not flame bait, the article explains: These things aren't even on life support, they're adrift in space, dead.
Post some particulars then. Maybe not of your terms but something like it to see how to reduce the payment and cut the term in half.
I'm sorry that we don't provide a way to access the Linux portion of the file system directly from Windows yet. It's annoying, and we are working to improve it.

For many use cases it suffices to symlink a Windows directory (e.g. /mnt/c/Users/myuser) into your WSL $HOME directory somewhere and do your source work, builds, etc. in that path. This breaks down if you need certain features that aren't supported on these files yet (e.g. chmod), though.

I assure you that we find this annoying too and are working toward a better solution.
When you keep pushing the limits and don't face any real consequences you can end up in a situation where you can't help yourself.

It's only recently that his rampant jackassery has caught up with him.
I just meant that I use Sublime and Vim as my primary text editors. I do use the "vintage" mode in Sublime also, which mimics some of Vim's functionality.
That's talking about manipulating files in the LXSS filesystem from Windows tools. There's no problem with doing everything on your Windows mounts, assuming you don't mind everything getting +x.
That might make more sense if Fiduciary Duty was ever prosecuted (in the general sense) in reality.
I'd extend parsing to any part of a compiler. Or a whole compiler. It's really nice for managing that complexity.
So why isn't there a straight single quotation, but there is a straight double quotation? I get it probably arose from compatibility reasons, but nowadays Unicode should be able to offer something?

P.S. Major coincide I was googling this very question yesterday?
Who Owns the Wealth in Tax Havens? [pdf]
Woo hoo! I love ST. I think the biggest thing lacking now is a solid package manager. I like how on VSCode and Atom you can kind of see the "stars" or popularity of the package before you install it.
Because there are a lot of religious TV and Cable channels.
Well, your only defence of the company against the parent of this thread was that they got you the best rate after shopping around. I'm pretty sure that "they don't have the best rate" is not an issue that the parent poster takes with the company, so I find it kind of odd that this is your rebuttal.
I use wsltty which is mintty for the WSL.

https://github.com/mintty/wsltty
I'm sure the SoFi salesperson was also chuckling when you signed off on a magic loan that supposedly made half your principle disappear.

Anyone with a calculator can tell the numbers don't add up. You're either embellishing or you got scammed.
You are right(I would agree with mikestew's comment as well), I haven't thought about it in this terms before originally commenting about it here.

He created large companies from nothing, invented rare disease drug and is a pretty good occasional internet entertainer. It's still sad as general case that a person of his intelligence managed to make such big mistake and now have to stay in a maximum-security prison for it.
https://packagecontrol.io/
The other discussion (id=15240781) is actually a dupe of this one (id=15240700). HN marked the wrong dupe!

I tried to warn people before the other article got any comments, but they just downvoted me. https://news.ycombinator.com/item?id=15240973
For bandwidth emergencies I use Opera Mini, which can run everything through a compressing proxy before you get it- lossily compressing images (or even stripping them out) and reducing my bandwidth due to casual web browsing by about an order of magnitude. It works wonders on pages that are mostly text.

You do have to not mind routing all your traffic through Opera's servers, though.